std::ranges::move_backward, std::ranges::move_backward_result
来自cppreference.com
| 在标头 <algorithm> 定义
|
||
| 调用签名 |
||
| |
(1) | (C++20 起) |
| |
(2) | (C++20 起) |
| 辅助类型 |
||
| |
(3) | (C++20 起) |
1) 从
[first, last) 所定义的范围移动元素到另一范围 [d_last - N, result)，其中 N = ranges::distance(first, last)。按逆序移动元素（首先移动末元素），但保持其相对顺序。若 d_last 在 (first, last] 内则行为未定义。此情况下可用 ranges::move 代替。2) 同 (1)，但以
r 为源范围，如同以 ranges::begin(r) 为 first 并以 ranges::end(r) 为 last。被移动范围的元素将仍然含有适当类型的合法值，但不必为与移动前相同的值，如同对每个 0 ≤ n < N 中的整数 n 使用 *(d_last - n) = ranges::iter_move(last - n)。
此页面上描述的函数式实体是算法函数对象（非正式地称为 niebloid），即：
参数
| first, last | - | 要移动的元素范围的迭代器-哨位对 |
| r | - | 要移动的元素范围 |
| d_last | - | 目标范围的末尾 |
返回值
{last, d_last - 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 d_last) const
{
auto i {last};
for (; i != first; *--d_last = ranges::iter_move(--i))
{}
return {std::move(last), std::move(d_last)};
}
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 d_last) const
{
return (*this)(ranges::begin(r), ranges::end(r), std::move(d_last));
}
};
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]: · · · ▄ ▅ ▁ ▂ ▃