std::ranges::reverse

Определено в заголовке <algorithm>

Подпись вызова

Определено в заголовке `<algorithm>`
Подпись вызова
template< std::bidirectional_iterator I, std::sentinel_for<I> S > requires std::permutable<I> constexpr I reverse( I first, S last );	(1)	(с C++20)
template< ranges::bidirectional_range R > requires std::permutable<ranges::iterator_t<R>> constexpr ranges::borrowed_iterator_t<R> reverse( R&& r );	(2)	(с C++20)

template< std::bidirectional_iterator I, std::sentinel_for<I> S >
requires std::permutable<I>
constexpr I
    reverse( I first, S last );

(1)

(с C++20)

template< ranges::bidirectional_range R >
requires std::permutable<ranges::iterator_t<R>>
constexpr ranges::borrowed_iterator_t<R>
    reverse( R&& r );

(2)

(с C++20)

1) Изменяет порядок элементов в диапазоне [first, last).

Ведёт себя так, как если бы применялось ranges::iter_swap к каждой паре итераторов first + i, last - i - 1 для каждого целого числа i, где 0 ≤ i < (last - first) / 2.

2) То же, что (1), но использует r в качестве диапазона, как если бы ranges::begin(r) использовалось в качестве first и ranges::end(r) в качестве last.

Функциональные сущности, описанные на этой странице, являются niebloids, то есть:

Явные списки аргументов шаблонов не могут быть указаны при вызове любого из них.
Ни один из них не виден для поиска аргументов, зависящих от контекста.
Когда любой из них обнаруживается обычным поиском без указания квалификатора в качестве имени слева от оператора вызова функции, поиск аргументов, зависящих от контекста заблокирован.

На практике они могут быть реализованы как объекты функций или с использованием специальных расширений компилятора.

Параметры

first, last	-	диапазон элементов для перестановки
r	-	диапазон элементов для перестановки

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

Итератор, равный last.

Сложность

Ровно (last - first) / 2 обменов.

Примечания

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

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

См. также реализации в libstdc++ и MSVC STL.

struct reverse_fn
{
    template<std::bidirectional_iterator I, std::sentinel_for<I> S>
    requires std::permutable<I>
    constexpr I operator()(I first, S last) const
    {
        auto last2 {ranges::next(first, last)};
        for (auto tail {last2}; !(first == tail or first == --tail); ++first)
            ranges::iter_swap(first, tail);
        return last2;
    }
 
    template<ranges::bidirectional_range R>
    requires std::permutable<ranges::iterator_t<R>>
    constexpr ranges::borrowed_iterator_t<R>
        operator()(R&& r) const
    {
        return (*this)(ranges::begin(r), ranges::end(r));
    }
};
 
inline constexpr reverse_fn reverse {};

Пример

#include <algorithm>
#include <array>
#include <iostream>
#include <string>
 
int main()
{
    std::string s {"ABCDEF"};
    std::cout << s << " → ";
    std::ranges::reverse(s.begin(), s.end());
    std::cout << s << " → ";
    std::ranges::reverse(s);
    std::cout << s << " │ ";
 
    std::array a {1, 2, 3, 4, 5};
    for (auto e : a)
        std::cout << e << ' ';
    std::cout << "→ ";
    std::ranges::reverse(a);
    for (auto e : a)
        std::cout << e << ' ';
    std::cout << '\n';
}

Вывод:

ABCDEF → FEDCBA → ABCDEF │ 1 2 3 4 5 → 5 4 3 2 1

См. также

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

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