std::ranges::move, std::ranges::move_result
来自cppreference.com
<tbody>
</tbody>
| 在标头 <algorithm> 定义
|
||
| 调用签名 |
||
template< std::input_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O > requires std::indirectly_movable<I, O> constexpr move_result<I, O> move( I first, S last, O result ); |
(1) | (C++20 起) |
template< ranges::input_range R, std::weakly_incrementable O > requires std::indirectly_movable<ranges::iterator_t<R>, O> constexpr move_result<ranges::borrowed_iterator_t<R>, O> move( R&& r, O result ); |
(2) | (C++20 起) |
| 辅助类型 |
||
template< class I, class O > using move_result = ranges::in_out_result<I, O>; |
(3) | (C++20 起) |
1) 将由
[first, last) 定义的范围中的各元素赋值到始于 result 的另一范围。
若 result 在范围 [first, last) 内则行为未定义。此情况下可能可以用 ranges::move_backward 代替。2) 同 (1)，但以
r 为源范围，如同以 ranges::begin(r) 为 first 并以 ranges::end(r) 为 last。被移动范围中的元素将仍然含有适当类型的合法值，但不必为与移动前相同的值。
此页面上描述的函数式实体是算法函数对象（非正式地称为 niebloid），即：
参数
| first, last | - | 要移动的元素范围的迭代器-哨位对 |
| r | - | 要移动的元素范围 |
| result | - | 目标范围的起始 |
返回值
{last, result + N}，其中
1)
N = ranges::distance(first, last)；2)
N = ranges::distance(r)。复杂度
准确 N 次赋值。
注解
移动重叠的范围时，ranges::move 适合向左移动（目标范围的起始在源范围外），而 ranges::move_backward 适合向右移动（目标范围的末尾在源范围外）。
可能的实现
struct move_fn
{
template<std::input_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O>
requires std::indirectly_movable<I, O>
constexpr ranges::move_result<I, O>
operator()(I first, S last, O result) const
{
for (; first != last; ++first, ++result)
*result = ranges::iter_move(first);
return {std::move(first), std::move(result)};
}
template<ranges::input_range R, std::weakly_incrementable O>
requires std::indirectly_movable<ranges::iterator_t<R>, O>
constexpr ranges::move_result<ranges::borrowed_iterator_t<R>, O>
operator()(R&& r, O result) const
{
return (*this)(ranges::begin(r), ranges::end(r), std::move(result));
}
};
inline constexpr move_fn move {};
|
示例
以下代码从一个容器移动线程对象（它们自身不可复制）到另一容器。
运行此代码
#include <algorithm>
#include <chrono>
#include <iostream>
#include <iterator>
#include <list>
#include <thread>
#include <vector>
using namespace std::literals::chrono_literals;
void f(std::chrono::milliseconds n)
{
std::this_thread::sleep_for(n);
std::cout << "thread with n=" << n.count() << "ms ended" << std::endl;
}
int main()
{
std::vector<std::jthread> v;
v.emplace_back(f, 400ms);
v.emplace_back(f, 600ms);
v.emplace_back(f, 800ms);
std::list<std::jthread> l;
// std::ranges::copy() 不能编译，因为 std::jthread 不可复制
std::ranges::move(v, std::back_inserter(l));
}
输出：
thread with n=400ms ended
thread with n=600ms ended
thread with n=800ms ended
参阅
(C++20) |
从后往前将范围中元素移到新位置 (算法函数对象) |
(C++20)(C++20) |
复制范围中元素到新位置 (算法函数对象) |
(C++20) |
从后往前复制范围中元素 (算法函数对象) |
(C++11) |
将范围中元素移到新位置 (函数模板) |
(C++11) |
转换实参为亡值 (函数模板) |