std::experimental::ranges::copy, std::experimental::ranges::copy_if
来自cppreference.com
< cpp | experimental | ranges
| template< InputIterator I, Sentinel<I> S, WeaklyIncrementable O > requires IndirectlyCopyable<I, O> |
(1) | (范围 TS) |
| template< InputRange R, WeaklyIncrementable O > requires IndirectlyCopyable<ranges::iterator_t<R>, O> |
(2) | (范围 TS) |
| template< InputIterator I, Sentinel<I> S, WeaklyIncrementable O, class Proj = ranges::identity, |
(3) | (范围 TS) |
| template< InputRange R, WeaklyIncrementable O, class Proj = ranges::identity, |
(4) | (范围 TS) |
复制源范围（[first, last) 或 r）中的元素到始于 result 的目标范围中，从源范围的首元素开始，后续到末元素。
1) 复制范围
[first, last) 中的所有元素。对每个非负整数 n < (last - first) 进行 *(result + n) = *(first + n)。若 result 在范围 [first, last) 内则行为未定义。此情况下可用 ranges::copy_backward 代替。3) 仅复制那些谓词 pred 在投影 proj 所投影的元素值返回 true 的元素。保持复制后的元素顺序。若源与目标范围重叠则行为未定义。
4) 同 (3)，但以 r 为源范围，如同用 ranges::copy_if(ranges::begin(rng), ranges::end(rng), result, pred, proj);，但不会复制 result、pred 和 proj。
尽管声明描述如上，算法声明的模板形参的实际数量和顺序是未指定的。从而若在调用算法时使用显式模板实参，则程序很可能不可移植。
参数
| first, last | - | 要复制的元素范围 |
| rng | - | 要复制的元素范围 |
| result | - | 目标范围的起始 |
| pred | - | 要应用到投影后元素的谓词 |
| proj | - | 要应用到元素的投影 |
返回值
含有以下两个成员的 tagged_pair 对象：
- 第一成员有标签
tag::in，为源范围的尾后迭代器（即比较等于哨位 last 的I类型迭代器）。 - 第二成员有标签
tag::out，为结果范围的尾后迭代器。
复杂度
1) 恰好赋值 ranges::distance(first, last) 次。
2) 恰好赋值 ranges::distance(rng) 次。
3) 恰好应用 ranges::distance(first, last) 次对应的投影和谓词。
3) 恰好应用 ranges::distance(rng) 次对应的投影和谓词。
可能的实现
| 版本一 |
|---|
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); } |
示例
下列代码用 copy 复制一个 vector 的内容给另一个，并显示结果 vector：
运行此代码
#include <experimental/ranges/algorithm> #include <experimental/ranges/iterator> #include <iostream> #include <numeric> #include <vector> int main() { // 参阅 http://zh.cppreference.com/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; }); // 或替用的 // std::vector<int> to_vector(from_vector.size()); // std::copy(from_vector, to_vector.begin()); std::cout << "to_vector 包含: "; ranges::copy(to_vector, ranges::ostream_iterator<int>(std::cout, " ")); std::cout << '\n'; }
输出：
to_vector 包含: 1 2 4 5 7 8
参阅
| (C++11) |
将某一范围的元素复制到一个新的位置 (函数模板) |
| 按从后往前的顺序复制一个范围内的元素 (函数模板) | |
| 创建一个范围的逆向副本 (函数模板) | |
| 将一定数目的元素复制到一个新的位置 (函数模板) | |
| 将一个特定值赋值给一个元素范围 (函数模板) | |
| 复制元素范围，忽略满足特定判别标准的元素 (函数模板) |