std::reverse
来自 cppreference.cn
| 定义于头文件 <algorithm> |
||
| template< class BidirIt > void reverse( BidirIt first, BidirIt last ); |
(1) | (C++20 起为 constexpr) |
| template< class ExecutionPolicy, class BidirIt > void reverse( ExecutionPolicy&& policy, BidirIt first, BidirIt last ); |
(2) | (C++17 起) |
1) 将范围
[first, last) 中的元素顺序反转。 其行为等同于对每个整数 i 在
[0, std::distance(first, last) / 2) 范围内，将迭代器对 first + i 和 (last - i) - 1 应用 std::iter_swap。2) 同 (1)，但根据 policy 执行。
仅当满足以下所有条件时，此重载才参与重载决议
|
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> 为 true。 |
(C++20 前) |
|
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> 为 true。 |
(C++20 起) |
如果 *first 不可交换 (Swappable)(C++20 前)BidirIt 不可值交换 (ValueSwappable)(C++20 起)，则行为未定义。
目录 |
[编辑] 参数
| first, last | - | 定义要反转的元素范围的迭代器对 |
| policy | - | 要使用的 执行策略 |
| 类型要求 | ||
-BidirIt 必须满足旧式双向迭代器 (LegacyBidirectionalIterator) 的要求。 | ||
[编辑] 复杂度
精确地 std::distance(first, last) / 2 次交换。
[编辑] 异常
带有名为 ExecutionPolicy 的模板参数的重载会按如下方式报告错误：
- 若作为算法一部分调用的函数抛出异常，且
ExecutionPolicy为标准策略之一，则调用 std::terminate。对于任何其他ExecutionPolicy，行为由实现定义。 - 如果算法未能分配内存，则抛出 std::bad_alloc。
[编辑] 可能的实现
另见 libstdc++、libc++ 和 MSVC STL 中的实现。
template<class BidirIt> constexpr // since C++20 void reverse(BidirIt first, BidirIt last) { using iter_cat = typename std::iterator_traits<BidirIt>::iterator_category; // Tag dispatch, e.g. calling reverse_impl(first, last, iter_cat()), // can be used in C++14 and earlier modes. if constexpr (std::is_base_of_v<std::random_access_iterator_tag, iter_cat>) { if (first == last) return; for (--last; first < last; (void)++first, --last) std::iter_swap(first, last); } else while (first != last && first != --last) std::iter_swap(first++, last); } |
[编辑] 注意
当迭代器类型满足旧式连续迭代器 (LegacyContiguousIterator) 且交换其值类型不调用非平凡特殊成员函数或 ADL 查找的 swap 时，实现（例如 MSVC STL）可能会启用向量化。
[编辑] 示例
运行此代码
#include <algorithm> #include <iostream> #include <iterator> #include <vector> void println(auto rem, auto const& v) { for (std::cout << rem; auto e : v) std::cout << e << ' '; std::cout << '\n'; } int main() { std::vector<int> v {1, 2, 3}; std::reverse(v.begin(), v.end()); println("after reverse, v = ", v); int a[] = {4, 5, 6, 7}; std::reverse(std::begin(a), std::end(a)); println("after reverse, a = ", a); }
输出
after reverse, v = 3 2 1 after reverse, a = 7 6 5 4
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
|---|---|---|---|
| LWG 223 | C++98 | std::swap 应用于每对迭代器 | 转为应用 std::iter_swap |
| LWG 2039 | C++98 | 当 i 等于 std::distance(first, last) / 2 时，也会应用 std::iter_swap 等于 std::distance(first, last) / 2 |
不应用 |
[编辑] 参阅
| 创建一个反转后的范围副本 (函数模板) | |
| (C++20) |
反转一个范围中元素的顺序 (算法函数对象) |
