std::reverse

Определено в заголовочном файле `<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 к каждой паре итераторов first + i и (last - i) - 1 для каждого целого числа 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, last	-	диапазон элементов, которые нужно перевернуть
policy	-	используемая политика выполнения. Подробности см. в политике выполнения.
Требования к типу
-`BidirIt` должен удовлетворять требованиям ValueSwappable и LegacyBidirectionalIterator.

Возвращаемое значение

(ничего)

Сложность

Точно std::distance(first, last) / 2 обменов.

Исключения

Перегрузка с параметром шаблона под названием ExecutionPolicy сообщает об ошибках следующим образом:

Если во время выполнения функции, вызываемой в рамках алгоритма, возникает исключение, и ExecutionPolicy является одной из стандартных политик, вызывается std::terminate. Для любой другой ExecutionPolicy, поведение определяется реализацией.
Если алгоритм не может выделить память, выбрасывается std::bad_alloc.

Примечания

Реализации (например, MSVC STL) могут включить векторизацию, когда тип итератора удовлетворяет LegacyContiguousIterator, а обмен его типом значения не вызывает ни нетривиальной специальной функции-члена, ни ADL-найденной функции swap.

Возможная реализация

См. также реализации в 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);
}

Пример

#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`	не применяется

См. также

reverse_copy	создает копию диапазона, который перевернут (шаблон функции)
ranges::reverse (C++20)	меняет порядок элементов в диапазоне (niebloid)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/algorithm/reverse