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) Адаптер диапазона, представляющий представление базового представления, элементы которого являются rvalue.

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

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

Члены данных

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

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

(constructor)	создает `as_rvalue_view` (публичная функция-член)
base	возвращает базовое представление `V` (публичная функция-член)
begin	возвращает начальный итератор `as_rvalue_view` (публичная функция-член)
end	возвращает конечный итератор `as_rvalue_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::as_rvalue_view:: as_rvalue_view

as_rvalue_view ( ) requires std:: default_initializable < V > = default ;	(1)	(since C++23)
constexpr explicit as_rvalue_view ( V base ) ;	(2)	(since 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)	(since C++23)
constexpr V base ( ) && ;	(2)	(since 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)

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

std::ranges::as_rvalue_view:: end

constexpr auto end ( ) requires ( ! /simple-view/ < V > ) ;	(1)	(since C++23)
constexpr auto end ( ) const requires ranges:: range < const V > ;	(2)	(since C++23)

Возвращает std:: move_iterator ( ranges:: end ( base_ ) ) если (1) V или (2) 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)	(since C++23)
constexpr auto size ( ) const requires ranges:: sized_range < const V > ;	(2)	(since C++23)

Возвращает размер представления, если представление ограничено. Эквивалентно 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 > as_rvalue_view ( R && ) - > as_rvalue_view < views:: all_t < R >> ;		(начиная с C++23)

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

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

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

Примечания

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

Пример

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

#include <algorithm>
#include <iostream>
#include <ranges>
#include <string>
#include <vector>
int main()
{
    std::vector<std::string> words =
        {"Quick", "red", "\N{FOX FACE}", "jumped", "over", "a", "pterodactyl"};
    std::vector<std::string> new_words;
    std::ranges::copy(
        words | std::views::as_rvalue,
        std::back_inserter(new_words)); // переместить строки из words в new_words
    auto quoted = std::views::transform([](auto&& s) { return "“" + s + "”"; });
    std::cout << "Старые слова: ";
    for (auto&& word : words | std::views::as_rvalue | quoted)
        std::cout << word << ' ';
    std::cout << "\nНовые слова: ";
    for (auto&& word : new_words | std::views::as_rvalue | quoted)
        std::cout << word << ' ';
}

Возможный вывод:

Старые слова: “” “” “” “” “” “” “” 
Новые слова: “Quick” “red” “🦊” “jumped” “over” “a” “pterodactyl”

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

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

DR	Applied to	Behavior as published	Correct behavior
LWG 4083	C++23	`views::as_rvalue` использовался для принятия невходных диапазонов	сделано отклоненным

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

iter_move (C++20)	преобразует результат разыменования объекта в связанный тип rvalue-ссылки (объект точки кастомизации)
move_iterator (C++11)	адаптер итератора, который разыменовывается в rvalue (шаблон класса)
move_sentinel (C++20)	адаптер стражника для std::move_iterator (шаблон класса)
ranges::as_const_view views::as_const (C++23)	преобразует `view` в `constant_range` (шаблон класса) (объект адаптера диапазона)

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

ru.cppreference.net

Namespaces

Variants