命名空间
变体
操作

std::reverse

来自 cppreference.com
< cpp‎ | algorithm
 
 
算法库
受约束算法和范围上的算法 (C++20)
受约束算法,例如 ranges::copyranges::sort,...
执行策略 (C++17)
排序和相关操作
分区操作
排序操作
二分搜索操作
(在分区范围内)
集合操作(在排序范围内)
合并操作(在排序范围内)
堆操作
最小/最大操作
(C++11)
(C++17)
字典序比较操作
排列操作
C 库
数值操作
未初始化内存操作
 
定义在头文件 <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) 反转范围 [firstlast) 中元素的顺序。
行为如同对每个迭代器对 first + i(last - i) - 1 应用 std::iter_swap,对于每个整数 i[0std::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
未应用

[编辑] 另请参阅

创建反转的范围副本
(函数模板) [编辑]
反转范围内元素的顺序
(niebloid)[编辑]