Namespaces
Variants

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

From cppreference.net
C++
Ranges library
Range adaptors
Определено в заголовочном файле <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 /* неопределено */ reverse = /* неопределено */ ;

}
(2) (начиная с C++20)
Сигнатура вызова
template < ranges:: viewable_range R >

requires /* см. ниже */

constexpr ranges:: view auto reverse ( R && r ) ;
(начиная с C++20)
1) Адаптер диапазона, представляющий представление базового 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()
( объект-член только для демонстрации* )

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

создает reverse_view
(публичная функция-член)
возвращает базовое представление V
(публичная функция-член)
возвращает начальный итератор reverse_view
(публичная функция-член)
возвращает конечный итератор reverse_view
(публичная функция-член)
возвращает размер представления, если он ограничен
(публичная функция-член)
(C++26)
возвращает приблизительный размер базового approximately_sized_range
(публичная функция-член)
Наследуется от std::ranges::view_interface
возвращает, является ли производное представление пустым, предоставляется только если оно удовлетворяет sized_range или forward_range
(публичная функция-член std::ranges::view_interface<D> )
(C++23)
возвращает константный итератор на начало диапазона
(публичная функция-член std::ranges::view_interface<D> )
(C++23)
возвращает страж для константного итератора диапазона
(публичная функция-член std::ranges::view_interface<D> )
возвращает, является ли производное представление непустым, предоставляется только если ranges::empty применимо к нему
(публичная функция-член std::ranges::view_interface<D> )
возвращает первый элемент в производном представлении, предоставляется если оно удовлетворяет forward_range
(публичная функция-член std::ranges::view_interface<D> )
возвращает последний элемент в производном представлении, предоставляется только если оно удовлетворяет bidirectional_range и common_range
(публичная функция-член std::ranges::view_interface<D> )
возвращает 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)
(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

(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 если его базовое представление является таковым

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

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