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

定义于头文件 `<algorithm>`
调用签名
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 );	(1)	(自 C++20 起)
辅助类型
template< class I, class O > using copy_n_result = ranges::in_out_result<I, O>;	(2)	(自 C++20 起)

1) 从起始于 first 的范围复制正好 n 个值到起始于 result 的范围，通过对 [0, n) 中的每个整数 i 执行 *(result + i) = *(first + i)。如果 result 在范围 [first, first + n) 内，则行为未定义（在这种情况下，可以改用 ranges::copy_backward）。

此页面上描述的类似函数的实体是算法函数对象（非正式地称为 niebloids），即

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

[编辑] 参数

first	-	要复制的元素范围的起始
n	-	要复制的元素数量
result	-	目标范围的起始

[编辑] 返回值

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 次赋值。

[编辑] 注意

在实践中，如果值类型是 TriviallyCopyable 并且迭代器类型满足 contiguous_iterator，则 std::ranges::copy_n 的实现可能会避免多次赋值，并使用批量复制函数，例如 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'

[编辑] 参见

ranges::copyranges::copy_if (C++20)(C++20)	将元素范围复制到新位置 (算法函数对象)[编辑]
ranges::copy_backward (C++20)	以向后顺序复制元素范围 (算法函数对象)[编辑]
ranges::remove_copyranges::remove_copy_if (C++20)(C++20)	复制元素范围，省略满足特定标准的元素 (算法函数对象)[编辑]
ranges::replace_copyranges::replace_copy_if (C++20)(C++20)	复制范围，将满足特定标准的元素替换为另一个值 (算法函数对象)[编辑]
ranges::reverse_copy (C++20)	创建反转范围的副本 (算法函数对象)[编辑]
ranges::rotate_copy (C++20)	复制和旋转元素范围 (算法函数对象)[编辑]
ranges::unique_copy (C++20)	创建某个元素范围的副本，其中不包含连续重复项 (算法函数对象)[编辑]
ranges::move (C++20)	将元素范围移动到新位置 (算法函数对象)[编辑]
ranges::move_backward (C++20)	以向后顺序将元素范围移动到新位置 (算法函数对象)[编辑]
copy_n (C++11)	将一些元素复制到新位置 (函数模板) [编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作