std::ranges::reverse, std::ranges::reverse_view

Определён в заголовке `<ranges>`
template< ranges::view V > requires ranges::bidirectional_range<V> class reverse_view : public ranges::view_interface<reverse_view<V>>	(1)	(начиная с C++20)
namespace views { inline constexpr /* unspecified / reverse = / unspecified */; }	(2)	(начиная с C++20)
Сигнатура вызова
template< ranges::viewable_range R > requires /* see below */ constexpr ranges::view auto reverse( R&& r );		(начиная с C++20)

1) Адаптер диапазона, который представляет представление (view) базового view в обратном порядке.

2) RangeAdaptorObject. Выражение views::reverse(e) является эквивалентным выражению одному из следующих выражений, за исключением того, что e вычисляется только один раз:

e.base(), если тип e является (возможно cv-квалифицированной) специализацией reverse_view;
в противном случае, если тип e является (возможно cv-квалифицированным) ranges::subrange<std::reverse_iterator<I>, std::reverse_iterator<I>, K> для некоторого типа итератора I и значения K типа ranges::subrange_kind:

ranges::subrange<I, I, K>(e.end().base(), e.begin().base(), e.size()), если K является ranges::subrange_kind::sized;
в противном случае ranges::subrange<I, I, K>(e.end().base(), e.begin().base());

в противном случае ranges::reverse_view{e}.

Другими словами, views::reverse разворачивает обратные представления, если это возможно.

reverse_view всегда моделирует bidirectional_range и common_range, и он моделирует borrowed_range, sized_range или random_access_range, если базовый тип представления V моделирует соответствующий концепт.

Члены данных

Элемент	Описание
`V` `base_` (private)	базовое представление ( объект-член только для демонстрации* )
`non-propagating-cache` < ranges:: iterator_t < V >> `cached_end_` (private) (присутствует только если `V` не удовлетворяет `common_range` )	объект, кэширующий результат вызовов `begin()` ( объект-член только для демонстрации* )

Функции-члены

(constructor)	создает `reverse_view` (публичная функция-член)
base	возвращает базовое представление `V` (публичная функция-член)
begin	возвращает начальный итератор `reverse_view` (публичная функция-член)
end	возвращает конечный итератор `reverse_view` (публичная функция-член)
size	возвращает размер представления, если он ограничен (публичная функция-член)
reserve_hint (C++26)	возвращает приблизительный размер базового `approximately_sized_range` (публичная функция-член)
Унаследовано от ranges::view_interface
empty	возвращает, является ли производное представление пустым, предоставляется только если оно удовлетворяет `sized_range` или `forward_range` (открытая функция-элемент `std::ranges::view_interface<D>`)
cbegin (C++23)	возвращает константный итератор на начало диапазона (открытая функция-элемент `std::ranges::view_interface<D>`)
cend (C++23)	возвращает ограничитель для константного итератора диапазона (открытая функция-элемент `std::ranges::view_interface<D>`)
operator bool	возвращает, не является ли производное представление пустым, предоставляется только если к нему применим ranges::empty (открытая функция-элемент `std::ranges::view_interface<D>`)
front	возвращает первый элемент в производном представлении, предоставляется если оно удовлетворяет `forward_range` (открытая функция-элемент `std::ranges::view_interface<D>`)
back	возвращает последний элемент в производном представлении, предоставляется только если оно удовлетворяет `bidirectional_range` и `common_range` (открытая функция-элемент `std::ranges::view_interface<D>`)
operator[]	возвращает `n`^-й элемент в производном представлении, предоставляется только если оно удовлетворяет `random_access_range` (открытая функция-элемент `std::ranges::view_interface<D>`)

std::ranges::reverse_view:: reverse_view

reverse_view ( ) requires std:: default_initializable < V > = default ;	(1)	(since C++20)
constexpr reverse_view ( V r ) ;	(2)	(since C++20)

1) Инициализирует значением по умолчанию




           base_

через его инициализатор по умолчанию ( = V ( ) ).

2) Инициализирует




           base_

с помощью std :: move ( r ) .

Параметры

r

-

диапазон для обращения

std::ranges::reverse_view:: base

constexpr V base ( ) const & requires std:: copy_constructible < V > ;	(1)	(since C++20)
constexpr V base ( ) && ;	(2)	(since C++20)

Возвращает базовое представление.

1) Копирующе конструирует результат из базового представления. Эквивалентно return




            base_

; .

2) Перемещающе конструирует результат из базового представления. Эквивалентно return std :: move (




            base_

) ; .

std::ranges::reverse_view:: begin

constexpr std:: reverse_iterator < ranges:: iterator_t < V >> begin ( ) ;	(1)	(начиная с C++20)
constexpr std:: reverse_iterator < ranges:: iterator_t < V >> begin ( ) requires ranges:: common_range < V > ;	(2)	(начиная с C++20)
constexpr auto begin ( ) const requires ranges:: common_range < const V > ;	(3)	(начиная с C++20)

1) Возвращает std:: make_reverse_iterator ( ranges:: next ( ranges:: begin (




            base_

) ,

ranges:: end (




            base_

) ) ) .

Для обеспечения амортизированной постоянной временной сложности, требуемой концепцией


          range

, эта функция кэширует результат в объекте кэша для использования при последующих вызовах.

2,3) Эквивалентно return std:: make_reverse_iterator ( ranges:: end (




            base_

) ) ; .

std::ranges::reverse_view:: end

constexpr std:: reverse_iterator < ranges:: iterator_t < V >> end ( ) ;	(1)	(начиная с C++20)
constexpr auto end ( ) const requires ranges:: common_range < const V > ;	(2)	(начиная с C++20)

Эквивалентно return std:: make_reverse_iterator ( ranges:: begin ( base_ ) ) ; .

std::ranges::reverse_view:: size

constexpr auto size ( ) requires ranges:: sized_range < V > ;	(1)	(since C++20)
constexpr auto size ( ) const requires ranges:: sized_range < const V > ;	(2)	(since C++20)

Возвращает размер представления, если представление ограничено. Эквивалентно return ranges:: size ( base_ ) ; .

std::ranges::as_rvalue_view:: reserve_hint

constexpr auto reserve_hint ( ) requires ranges :: approximately_sized_range < V > ;	(1)	(since C++26)
constexpr auto reserve_hint ( ) const requires ranges :: approximately_sized_range < const V > ;	(2)	(since C++26)

Возвращает ranges :: reserve_hint ( base_ ) .

Руководства по выводу типа

template < class R > reverse_view ( R && ) - > reverse_view < views:: all_t < R >> ;		(начиная с C++20)

Вспомогательные шаблоны

template < class T > constexpr bool enable_borrowed_range < std :: ranges :: reverse_view < T >> = ranges:: enable_borrowed_range < T > ;		(начиная с C++20)

Эта специализация std::ranges::enable_borrowed_range позволяет reverse_view удовлетворять требованиям borrowed_range , когда базовое представление удовлетворяет им.

Примечания

Макрос тестирования возможностей	Значение	Стандарт	Функция
`__cpp_lib_ranges_reserve_hint`	`202502L`	(C++26)	ranges::approximately_sized_range и `reserve_hint`

Пример

Запустить этот код

#include <iostream>
#include <ranges>
int main()
{
    static constexpr auto il = {3, 1, 4, 1, 5, 9};
    std::ranges::reverse_view rv{il};
    for (int i : rv)
        std::cout << i << ' ';
    std::cout << '\n';
    for (int i : il | std::views::reverse)
        std::cout << i << ' ';
    std::cout << '\n';
    // operator[] is inherited from std::view_interface
    for (auto i{0U}; i != rv.size(); ++i)
        std::cout << rv[i] << ' ';
    std::cout << '\n';
}

Вывод:

9 5 1 4 1 3
9 5 1 4 1 3
9 5 1 4 1 3

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применяется к	Поведение в опубликованной версии	Корректное поведение
LWG 3494	C++20	`reverse_view` никогда не был `borrowed_range`	является `borrowed_range` если его базовое представление является таковым

Смотрите также

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

Поддержка компиляторов
Автономное и hosted окружение
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Именованные требования
Макросы проверки возможностей (C++20)
Библиотека поддержки языка
Библиотека концептов (C++20)
Библиотека диагностики
Библиотека управления памятью
Библиотека метапрограммирования (C++11)
Библиотека общих утилит
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека строк
Библиотека обработки текста
Библиотека численных методов
Библиотека даты и времени
Библиотека ввода/вывода
Библиотека файловой системы (C++17)
Библиотека поддержки конкурентности (C++11)
Библиотека управления выполнением (C++26)
Технические спецификации
Указатель символов
Внешние библиотеки

ru.cppreference.net

Namespaces

Variants