std::ranges::views::as_rvalue, std::ranges::as_rvalue_view

Определено в заголовочном файле `<ranges>`
template< ranges::view V > requires ranges::input_range<V> class as_rvalue_view : public ranges::view_interface<as_rvalue_view<V>>	(1)	(с C++23)
namespace views { inline constexpr /* unspecified / as_rvalue = / unspecified */; }	(2)	(с C++23)
Подпись вызова
template< ranges::viewable_range R > requires /* see below */ constexpr ranges::view auto as_rvalue( R&& r );		(с C++23)

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

2)RangeAdaptorObject. Пусть e — подвыражение, а T — decltype((e)). Тогда выражение views::as_rvalue(e) эквивалентно выражению:

views::all(e), если это допустимое выражение и std::same_as<ranges::range_rvalue_reference_t<T>, ranges::range_reference_t<T>> является true;
as_rvalue_view{e} в противном случае.

Члены данных

Объект-член	Определение
`base_` (private)	Базовое представление типа `V`. (экспозиционное-только член объекта*)

Члены-функции

(конструктор)	создаёт `as_rvalue_view` (публичная функция-член)
base	возвращает базовое представление `V` (публичная функция-член)
begin	возвращает итератор начала `as_rvalue_view` (публичная функция-член)
end	возвращает итератор конца `as_rvalue_view` (публичная функция-член)
size	возвращает размер представления, если оно ограничено (публичная функция-член)
Наследуется от `std::ranges::view_interface`
empty (C++20)	возвращает значение, показывающее, пусто ли производное представление. Представлено, если оно удовлетворяет `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 (C++20)	возвращает значение, указывающее, не пусто ли производное представление. Представлено, если для него применимо `ranges::empty`. (публичная функция-член `std::ranges::view_interface<D>`)
front (C++20)	возвращает первый элемент в производном представлении. Представлено, если оно удовлетворяет `forward_range`. (публичная функция-член `std::ranges::view_interface<D>`)
back (C++20)	возвращает последний элемент в производном представлении. Представлено, если оно удовлетворяет `bidirectional_range` и `common_range`. (публичная функция-член `std::ranges::view_interface<D>`)
operator[] (C++20)	возвращает n-ый элемент в производном представлении. Представлено, если оно удовлетворяет `random_access_range`. (публичная функция-член `std::ranges::view_interface<D>`)

std::ranges::as_rvalue_view::as_rvalue_view

as_rvalue_view() requires std::default_initializable<V> = default;	(1)	(с C++23)
constexpr explicit as_rvalue_view( V base );	(2)	(с C++23)

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

2) Инициализирует base_ значением std::move(base).

Параметры

base

представление

std::ranges::as_rvalue_view::base

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

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

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

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

std::ranges::as_rvalue_view::begin

constexpr auto begin() requires (!__simple_view<V>);	(1)	(с C++23)
constexpr auto begin() const requires ranges::range<const V>;	(2)	(с C++23)

1,2) Возвращает std::move_iterator(ranges::begin(base_)).

std::ranges::as_rvalue_view::end

constexpr auto end() requires (!__simple_view<V>);	(1)	(с C++23)
constexpr auto end() const requires ranges::range<const V>;	(2)	(с C++23)

1) Возвращает std::move_iterator(ranges::end(base_)) если V соответствует common_range, в противном случае std::move_sentinel(ranges::end(base_)).

2) Возвращает std::move_iterator(ranges::end(base_)) если const V соответствует common_range, в противном случае std::move_sentinel(ranges::end(base_)).

std::ranges::as_rvalue_view::size

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

Возвращает размер представления, если представление ограничено.

1,2) Эквивалентно return ranges::size(base_);

Правила вывода типов

template< class R >
as_rvalue_view( R&& ) -> as_rvalue_view<views::all_t<R>>;

(с C++23)

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

template< class T >
inline constexpr bool enable_borrowed_range<std::ranges::as_rvalue_view<T>> =
    std::ranges::enable_borrowed_range<T>;

(с C++23)

Это специализация std::ranges::enable_borrowed_range, которая делает as_rvalue_view удовлетворяющей borrowed_range, если базовое представление удовлетворяет ей.

Примечания

Макрокоманда проверки наличия функции	Значение	Стандарт	Функция
`__cpp_lib_ranges_as_rvalue`	202207L	(C++23)	`std::ranges::as_rvalue_view`

Пример

См. также

move_iterator (C++11)	адаптер итератора, дереференцирующий к ссылке на rvalue (шаблон класса)
move_sentinel (C++20)	адаптер ограничителя для использования с `std::move_iterator` (шаблон класса)
ranges::as_const_viewviews::as_const (C++23)	преобразует `view` в `constant_range` (шаблон класса) (объект адаптера диапазонов)

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