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

このページで説明されている関数ライクな実体は、 アルゴリズム関数オブジェクト （非公式には niebloids として知られる）です。つまり：

• 明示的なテンプレート引数リストは、いずれかを呼び出す際に指定することはできません。
• いずれも 実引数依存の名前探索 では可視になりません。
• いずれかが関数呼び出し演算子の左側の名前として 通常の非修飾名前探索 によって見つかった場合、 実引数依存の名前探索 は抑制されます。

パラメータ

戻り値

ranges :: copy_n_result { first + n, result + n } あるいはより形式的には、 ranges::in_out_result 型の値であり、これは input_iterator イテレータを ranges:: next ( first, n ) に等しい値と、 weakly_incrementable イテレータを ranges:: next ( result, n ) に等しい値として保持する。

計算量

正確に n 回の代入。

注記

実際には、 std::ranges::copy_n の実装では、値型が TriviallyCopyable であり、イテレータ型が contiguous_iterator を満たす場合、複数の代入を回避し、 std::memmove のような一括コピー関数を使用することがあります。あるいは、このようなコピーの高速化はコンパイラの最適化フェーズで注入されることもあります。

オーバーラップする範囲をコピーする場合、 std::ranges::copy_n は左方向へのコピー（コピー先範囲の先頭がコピー元範囲の外側にある場合）に適切であり、 std::ranges::copy_backward は右方向へのコピー（コピー先範囲の終端がコピー元範囲の外側にある場合）に適切です。

実装例

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{};

例

#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'

関連項目