std::reverse
来自 cppreference.com
定义在头文件 <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)
中元素的顺序。 行为如同对每个迭代器对 first + i 和 (last - i) - 1 应用 std::iter_swap,对于每个整数 i 在
[
0,
std::distance(first, last) / 2)
中。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); } |
[编辑] 注释
实现(例如 MSVC STL)可能在迭代器类型满足 LegacyContiguousIterator 且交换其值类型既不调用非平凡的特殊成员函数,也不调用 ADL 找到的 swap
时启用向量化。
[编辑] 示例
运行此代码
#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++ 标准。
DR | 应用于 | 已发布的行为 | 正确行为 |
---|---|---|---|
LWG 223 | C++98 | std::swap 应用于每对迭代器 | 应用 std::iter_swap |
LWG 2039 | C++98 | std::iter_swap 也应用于 i 等于 std::distance(first, last) / 2 |
未应用 |
[编辑] 另请参阅
创建反转的范围副本 (函数模板) | |
(C++20) |
反转范围内元素的顺序 (niebloid) |