std::reverse

template< class BidirIt >
void reverse( BidirIt first, BidirIt last );

template< class ExecutionPolicy, class BidirIt >
void reverse( ExecutionPolicy&& policy, BidirIt first, BidirIt last );

如果 *first 不是 Swappable(直到 C++20)BidirIt 不是 ValueSwappable(自 C++20 起)，则行为未定义。

参数

复杂度

恰好进行 std:: distance ( first, last ) / 2 次交换。

异常

带有名为 ExecutionPolicy 模板参数的重载按以下方式报告错误：

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

可能的实现

另请参阅 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;
    // 标签分发（例如调用 reverse_impl(first, last, iter_cat())）
    // 可在 C++14 及更早模式中使用
    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++ 标准。

参阅