std::ranges::copy_n, std::ranges::copy_n_result

template< std::input_iterator I, std::weakly_incrementable O >
requires std::indirectly_copyable<I, O>
constexpr copy_n_result<I, O>
    copy_n( I first, std::iter_difference_t<I> n, O result );

template< class I, class O >
using copy_n_result = ranges::in_out_result<I, O>;

Die auf dieser Seite beschriebenen funktionsähnlichen Entitäten sind Algorithmus-Funktionsobjekte (informell als Niebloids bekannt), das heißt:

• Explizite Template-Argumentlisten können beim Aufruf keiner von ihnen angegeben werden.
• Keine von ihnen sind für argumentabhängige Suche sichtbar.
• Wenn eine von ihnen durch normale unqualifizierte Suche als Name links vom Funktionsaufrufoperator gefunden wird, wird die argumentabhängige Suche unterdrückt.

Parameter

Rückgabewert

ranges::copy_n_result{first + n, result + n} oder formaler ausgedrückt, ein Wert vom Typ ranges::in_out_result, der einen input_iterator enthält, der gleich ranges::next(first, n) ist, und einen weakly_incrementable Iterator, der gleich ranges::next(result, n) ist.

Komplexität

Genau n Zuweisungen.

Anmerkungen

In der Praxis können Implementierungen von std::ranges::copy_n mehrere Zuweisungen vermeiden und Bulk-Kopierfunktionen wie std::memmove verwenden, wenn der Werttyp TriviallyCopyable ist und die Iteratortypen contiguous_iterator erfüllen. Alternativ kann eine solche Kopierbeschleunigung während einer Optimierungsphase eines Compilers eingefügt werden.

Beim Kopieren überlappender Bereiche ist std::ranges::copy_n geeignet, wenn nach links kopiert wird (Anfang des Zielbereichs liegt außerhalb des Quellbereichs), während std::ranges::copy_backward geeignet ist, wenn nach rechts kopiert wird (Ende des Zielbereichs liegt außerhalb des Quellbereichs).

Mögliche Implementierung

struct copy_n_fn
{
    template<std::input_iterator I, std::weakly_incrementable O>
    requires std::indirectly_copyable<I, O>
    constexpr ranges::copy_n_result<I, O>
        operator()(I first, std::iter_difference_t<I> n, O result) const
    {
        for (; n-- > 0; (void)++first, (void)++result)
            *result = *first;

        return {std::move(first), std::move(result)};
    }
};

inline constexpr copy_n_fn copy_n{};

Beispiel

#include <algorithm>
#include <iomanip>
#include <iostream>
#include <iterator>
#include <string>
#include <string_view>

int main()
{
    const std::string_view in{"ABCDEFGH"};
    std::string out;

    std::ranges::copy_n(in.begin(), 4, std::back_inserter(out));
    std::cout << std::quoted(out) << '\n';

    out = "abcdefgh";
    const auto res{std::ranges::copy_n(in.begin(), 5, out.begin())};
    const auto i{std::distance(std::begin(in), res.in)};
    const auto j{std::distance(std::begin(out), res.out)};
    std::cout << "in[" << i << "] = '" << in[i] << "'\n"
              << "out[" << j << "] = '" << out[j] << "'\n";
}

"ABCD"
in[5] = 'F'
out[5] = 'f'

Siehe auch