# std::reverse

< cpp‎ | algorithm

定义于头文件 `<algorithm>` |  |
| (1) |
template< class BidirIt > void reverse( BidirIt first, BidirIt last ); |  | (C++20 前)
template< class BidirIt > constexpr void reverse( BidirIt first, BidirIt last ); |  | (C++20 起)
template< class ExecutionPolicy, class BidirIt > void reverse( ExecutionPolicy&& policy, BidirIt first, BidirIt last ); | (2) | (C++17 起)

1) 反转 `[first, last)` 范围中的元素顺序
表现如同应用 std::iter_swap 到对于非负 `i < (last-first)/2` 的每对迭代器 `first+i, (last-i) - 1`
2) 同 (1) ，但按照 `policy` 执行。此重载仅若 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> (C++20 前)std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> (C++20 起) 为 true 才参与重载决议。

### 参数

first, last | - | 要反转的元素的范围
policy | - | 所用的执行策略。细节见执行策略。
类型要求
- `BidirIt` 必须满足值可交换 (ValueSwappable) 和 老式双向迭代器 (LegacyBidirectionalIterator) 的要求。

### 返回值

（无）

### 异常

拥有名为 `ExecutionPolicy` 的模板形参的重载按下列方式报告错误：

- 若作为算法一部分调用的函数的执行抛出异常，且 `ExecutionPolicy` 为标准策略之一，则调用 std::terminate 。对于任何其他 `ExecutionPolicy` ，行为是实现定义的。
- 若算法无法分配内存，则抛出 std::bad_alloc 。

### 复杂度

恰好交换 `(last - first)/2` 次。

### 注解

实现（例如 MSVC STL ）可能在迭代器类型满足老式连续迭代器 (LegacyContiguousIterator) ，并且交换其值类型不调用非平凡的特殊成员函数或 ADL 所找到的 `swap` 时启用向量化。

### 可能的实现

参阅 libstdc++ 、 libc++ 和 MSVC STL 中的实现。

    template<class BidirIt>
    constexpr // C++20 起
    void reverse(BidirIt first, BidirIt last)
    {
        using iter_cat = typename std::iterator_traits<BidirIt>::iterator_category;

        // 能在 C++14 和更早的模式中使用标签派发，
        // 例如调用 reverse_impl(first, last, iter_cat()) 。
        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);
            }
        }
    }

### 示例

    #include <vector>
    #include <iostream>
    #include <iterator>
    #include <algorithm>

    int main()
    {
        std::vector<int> v{1,2,3};
        std::reverse(std::begin(v), std::end(v));
        for(auto e : v) std::cout << e;
        std::cout << '\n';

        int a[] = {4, 5, 6, 7};
        std::reverse(std::begin(a), std::end(a));
        for(auto e : a) std::cout << e;
    }

输出：

    321
    7654

### 参阅

reverse_copy | 创建一个范围的逆向副本 (函数模板)
ranges::reverse (C++20) | 逆转范围中的元素顺序 (niebloid)