std::ranges::move_backward, std::ranges::move_backward_result
来自cppreference.com
定义于头文件 <algorithm>
|
||
调用签名 |
||
template< std::bidirectional_iterator I1, std::sentinel_for<I1> S1, std::bidirectional_iterator I2 > |
(1) | (C++20 起) |
template< ranges::bidirectional_range R, std::bidirectional_iterator I > requires std::indirectly_movable<ranges::iterator_t<R>, I> |
(2) | (C++20 起) |
辅助类型 |
||
template< class I, class O > using move_backward_result = ranges::in_out_result<I, O>; |
(3) | (C++20 起) |
1) 从
[first, last)
所定义的范围移动元素到另一范围 [result - N, result)
,其中 N = ranges::distance(first, last) 。按逆序移动元素(首先移动末元素),但保持其相对顺序。若 result
在 (first, last]
内则行为未定义。此情况下可用 ranges::move 代替。2) 同 (1) ,但以
r
为源范围,如同以 ranges::begin(r) 为 first
并以 ranges::end(r) 为 last
。被移动的范围的元素将仍然含有适当类型的合法值,但不必为与移动前相同的值,如同对每个 0 ≤ n < N 中的整数 n
使用 *(result - n) = ranges::iter_move(last - n) 。
此页面上描述的仿函数实体是 niebloid ,即:
实际上,它们能以函数对象,或以某些特殊编译器扩展实现。
参数
first | - | 要移动的元素范围的起始 |
last | - | 要移动元素范围的末尾 |
r | - | 要移动的元素范围 |
result | - | 目标范围的末尾 |
返回值
{last, result - N} 。
复杂度
1) 准确移动赋值 N 次。
2) 准确移动赋值 ranges::distance(r) 次。
注解
移动重叠的范围时, ranges::move 适合向左移动(目标范围的起始在源范围外),而 ranges::move_backward
适合向右移动(目标范围的末尾在源范围外)。
可能的实现
struct move_backward_fn { template<std::bidirectional_iterator I1, std::sentinel_for<I1> S1, std::bidirectional_iterator I2> requires std::indirectly_movable<I1, I2> constexpr ranges::move_backward_result<I1, I2> operator()( I1 first, S1 last, I2 result ) const { auto i {last}; for (; i != first; *--result = ranges::iter_move(--i)); return {std::move(last), std::move(result)}; } template<ranges::bidirectional_range R, std::bidirectional_iterator I> requires std::indirectly_movable<ranges::iterator_t<R>, I> constexpr ranges::move_backward_result<ranges::borrowed_iterator_t<R>, I> operator()( R&& r, I result ) const { return (*this)(ranges::begin(r), ranges::end(r), std::move(result)); } }; inline constexpr move_backward_fn move_backward{}; |
示例
运行此代码
#include <algorithm> #include <iostream> #include <string> #include <string_view> #include <vector> using Vec = std::vector<std::string>; void print(std::string_view rem, Vec const& vec) { std::cout << rem << "[" << vec.size() << "]: "; for (const std::string& s : vec) std::cout << (s.size() ? s : std::string{"·"}) << ' '; std::cout << '\n'; } int main() { Vec a{"▁", "▂", "▃", "▄", "▅", "▆", "▇", "█"}; Vec b(a.size()); print("Before move:\n" "a", a); print("b", b); std::ranges::move_backward(a, b.end()); print("\n" "Move a >> b:\n" "a", a); print("b", b); std::ranges::move_backward(b.begin(), b.end(), a.end()); print("\n" "Move b >> a:\n" "a", a); print("b", b); std::ranges::move_backward(a.begin(), a.begin()+3, a.end()); print("\n" "Overlapping move a[0, 3) >> a[5, 8):\n" "a", a); }
可能的输出:
Before move: a[8]: ▁ ▂ ▃ ▄ ▅ ▆ ▇ █ b[8]: · · · · · · · · Move a >> b: a[8]: · · · · · · · · b[8]: ▁ ▂ ▃ ▄ ▅ ▆ ▇ █ Move b >> a: a[8]: ▁ ▂ ▃ ▄ ▅ ▆ ▇ █ b[8]: · · · · · · · · Overlapping move a[0, 3) >> a[5, 8): a[8]: · · · ▄ ▅ ▁ ▂ ▃
参阅
(C++20) |
将某一范围的元素移动到一个新的位置 (niebloid) |
(C++20)(C++20) |
将某一范围的元素复制到一个新的位置 (niebloid) |
(C++20) |
按从后往前的顺序复制一个范围内的元素 (niebloid) |
(C++11) |
将某一范围的元素移动到一个新的位置 (函数模板) |
(C++11) |
获得右值引用 (函数模板) |