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

本页描述的函数式实体是 算法函数对象（非正式称为 niebloids），也就是说：

• 调用它们时无法显式指定模板实参列表。
• 它们均对 参数依赖查找不可见。
• 当其中任何一个通过 普通非限定查找被找到为函数调用运算符左侧的名称时，参数依赖查找被抑制。

参数

返回值

ranges :: copy_n_result { first + n, result + n } 或更正式地说，一个类型为 ranges::in_out_result 的值，其中包含一个等于 ranges:: next ( first, n ) 的 input_iterator 迭代器，以及一个等于 ranges:: next ( result, n ) 的 weakly_incrementable 迭代器。

复杂度

恰好 n 个赋值操作。

注释

在实践中， std::ranges::copy_n 的实现可能会避免多次赋值操作，并在值类型满足 可平凡复制 且迭代器类型满足 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'

参见