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

本页面描述的函数式实体是 算法函数对象 （非正式称为 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'

参见