命名空间
变体
操作

std::experimental::ranges::copy, std::experimental::ranges::copy_if

来自 cppreference.cn
< cpp‎ | experimental‎ | ranges
 
C++
 
实验性
技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行扩展 (parallelism TS)
并行扩展 2 (parallelism TS v2)
并发扩展 (concurrency TS)
并发扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非TS
模式匹配
线性代数
std::execution
契约
2D图形
 
范围
 
算法库
非修改序列操作
                              
修改序列操作
copycopy_if
                              
划分操作
排序操作
二分搜索操作
集合操作（在已排序范围上）
                              
堆操作
最小值/最大值操作
排列
 
template< InputIterator I, Sentinel<I> S, WeaklyIncrementable O >

    requires IndirectlyCopyable<I, O>
ranges::tagged_pair<tag::in(I), tag::out(O)>

    copy( I first, S last, O result );
 (1) (ranges TS)
template< InputRange R, WeaklyIncrementable O >

    requires IndirectlyCopyable<ranges::iterator_t<R>, O>
ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::out(O)>

    copy( R&& r, O result );
 (2) (ranges TS)
template< InputIterator I, Sentinel<I> S, WeaklyIncrementable O,

          class Proj = ranges::identity,
          IndirectUnaryPredicate<projected<I, Proj>> Pred >
    requires IndirectlyCopyable<I, O>
ranges::tagged_pair<tag::in(I), tag::out(O)>

    copy_if( I first, S last, O result, Pred pred, Proj proj = Proj{} );
 (3) (ranges TS)
template< InputRange R, WeaklyIncrementable O,

          class Proj = ranges::identity,
          IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred >
    requires IndirectlyCopyable<iterator_t<R>, O>
ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::out(O)>

    copy_if( R&& r, O result, Pred pred, Proj proj = Proj{} );
 (4) (ranges TS)

将源范围（[first, last) 或 r）中的元素复制到以 result 开始的目标范围中，从源范围中的第一个元素开始，并持续到最后一个元素。

1) 复制范围 [first, last) 中的所有元素。对于每个非负整数 n < (last - first)，执行 *(result + n) = *(first + n)。如果 result 在范围 [first, last) 内，则行为未定义。在这种情况下，可以改用 ranges::copy_backward。
2) 与 (1) 相同，但使用 r 作为源范围，如同通过 ranges::copy(ranges::begin(r), ranges::end(r), result); 一样，除了 result 可能不会被复制。
3) 仅复制谓词 pred 对投影 proj 投影的元素值返回 true 的元素。复制的元素的顺序被保留。如果源范围和目标范围重叠，则行为未定义。
4) 与 (3) 相同，但使用 r 作为源范围，如同通过 ranges::copy_if(ranges::begin(r), ranges::end(r), result, pred, proj); 一样，除了 result、pred 和 proj 可能不会被复制。

尽管上面描述了声明，但算法声明的模板参数的实际数量和顺序是未指定的。因此，如果在调用算法时使用显式模板参数，则程序可能不具有可移植性。

目录

[edit] 参数

first, last - 要复制的元素范围
r - 要复制的元素范围
result - 目标范围的起始位置
pred - 应用于投影元素的谓词
proj - 应用于元素的投影

[edit] 返回值

一个 tagged_pair 对象，包含以下两个成员

  • 第一个成员，带有标签 tag::in，是源范围的过尾迭代器（即，类型为 I 的迭代器，与哨兵 last 相等）。
  • 第二个成员，带有标签 tag::out，是结果范围的过尾迭代器。

[edit] 复杂度

1) 正好 ranges::distance(first, last) 次赋值。
2) 正好 ranges::distance(r) 次赋值。
3) 正好 ranges::distance(first, last) 次应用相应的投影和谓词。
4) 正好 ranges::distance(r) 次应用相应的投影和谓词。

[edit] 可能的实现

第一版本
template<InputIterator I, Sentinel<I> S, WeaklyIncrementable O>
    requires IndirectlyCopyable<I, O>()
ranges::tagged_pair<tag::in(I), tag::out(O)>
    copy(I first, S last, O result)
{
    for (; first != last; ++first, (void)++result)
        *result = *first;
    return {first, result};
}
第二版本
template<InputRange R, WeaklyIncrementable O>
    requires IndirectlyCopyable<ranges::iterator_t<R>, O>()
ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::out(O)>
    copy(R&& r, O result)
{
   return ranges::copy(ranges::begin(r), ranges::end(r), result);
}
第三版本
template<InputIterator I, Sentinel<I> S, WeaklyIncrementable O,
         class Proj = ranges::identity,
         IndirectUnaryPredicate<projected<I, Proj>> Pred>
    requires IndirectlyCopyable<I, O>()
ranges::tagged_pair<tag::in(I), tag::out(O)>
    copy_if(I first, S last, O result, Pred pred, Proj proj = Proj{})
{
    for (; first != last; ++first)
        if (ranges::invoke(pred, ranges::invoke(proj, *first)))
        {
            *result = *first;
            ++result;
        }
    return {first, result};
}
第四版本
template<InputRange R, WeaklyIncrementable O,
         class Proj = ranges::identity,
         IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred>
    requires IndirectlyCopyable<ranges::iterator_t<R>, O>()
ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::out(O)>
    copy_if(R&& r, O result, Pred pred, Proj proj = Proj{})
{
    return ranges::copy_if(ranges::begin(r), ranges::end(r), result, pred, proj);
}

[edit] 示例

以下代码使用 copy 来将一个向量的内容复制到另一个向量，并显示结果向量

运行此代码
#include <experimental/ranges/algorithm>
#include <experimental/ranges/iterator>
#include <iostream>
#include <numeric>
#include <vector>
 
int main()
{
    // see https://cppreference.cn/w/cpp/language/namespace_alias
    namespace ranges = std::experimental::ranges;
 
    std::vector<int> from_vector(10);
    std::iota(from_vector.begin(), from_vector.end(), 0);
 
    std::vector<int> to_vector;
    ranges::copy_if(from_vector.begin(), from_vector.end(),
                    ranges::back_inserter(to_vector),
                    [](const auto i)
                    {
                       return i % 3;
                    });
// or, alternatively,
//  std::vector<int> to_vector(from_vector.size());
//  std::copy(from_vector, to_vector.begin());
 
    std::cout << "to_vector contains: ";
 
    ranges::copy(to_vector, ranges::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
}

输出

to_vector contains: 1 2 4 5 7 8

[edit] 参见

(C++11)
 将元素范围复制到新位置
(函数模板) [编辑]
 以逆序复制元素范围
(函数模板) [编辑]
 创建反转范围的副本
(函数模板) [编辑]
 将一定数量的元素复制到新位置
(函数模板) [编辑]
 为元素范围赋值特定值
(函数模板) [编辑]
 复制元素范围，省略满足特定条件的元素
(函数模板) [编辑]
Retrieved from "https://cppreference.cn/mwiki/index.php?title=cpp/experimental/ranges/algorithm/copy&oldid=155239"