std::ranges::views::as_const, std::ranges::as_const_view

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

1) Адаптер диапазона, который представляет собой представление (view) базового view, которое также является constant_range. as_const_view всегда имеет элементы только для чтения (если не пуст).

2) RangeAdaptorObject. Пусть e является подвыражением, пусть T будет decltype((e)), и пусть U будет std::remove_cvref_t<T>. Тогда выражение views::as_const(e) является expression-equivalent :

views::all(e), если это корректное выражение и views::all_t<T> моделирует constant_range;
иначе, std::span<const X, Extent>(e) для некоторого типа X и некоторой размерности Extent если U обозначает std::span<X, Extent>;
иначе, ranges::ref_view(static_cast<const X&>(e.base())) если U обозначает ranges::ref_view<X> для некоторого типа X и const X моделирует constant_range;
иначе, ranges::ref_view(static_cast<const U&>(e)) если e является lvalue, const U моделирует constant_range, и U не моделирует view.
иначе, as_const_view{e}.

as_const_view всегда моделирует constant_range, и моделирует contiguous_range, random_access_range, bidirectional_range, forward_range, borrowed_range, common_range, и sized_range когда базовое представление V моделирует соответствующие концепции.

Члены данных

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

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

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

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

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




           base_

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

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




           base_

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

Параметры

base

-

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

std::ranges::as_const_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_const_view:: begin

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

Возвращает константный итератор представления. Эквивалентно return ranges:: cbegin ( base_ ) ; .

std::ranges::as_const_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)

Возвращает константный стражник представления. Эквивалентно return ranges:: cend ( base_ ) ; .

std::ranges::as_const_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_const_view ( R && ) - > as_const_view < views:: all_t < R >> ;		(начиная с C++23)

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

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

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

Примечания

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

Пример

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

#include <cassert>
#include <ranges>
int main()
{
    int x[]{1, 2, 3, 4, 5};
    auto v1 = x | std::views::drop(2);
    assert(v1.back() == 5);
    v1[0]++; // OK, можно изменять неконстантный элемент
    auto v2 = x | std::views::drop(2) | std::views::as_const;
    assert(v2.back() == 5);
    // v2[0]++; // Ошибка компиляции, нельзя изменять элемент только для чтения
}

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

ranges::as_rvalue_view views::as_rvalue (C++23)	представление последовательности, которое преобразует каждый элемент в rvalue (шаблон класса) (объект адаптера диапазона)
ranges::cbegin (C++20)	возвращает итератор на начало диапазона только для чтения (объект точки настройки)
ranges::cend (C++20)	возвращает страж, указывающий на конец диапазона только для чтения (объект точки настройки)
as_const (C++17)	получает ссылку на const для своего аргумента (шаблон функции)
basic_const_iterator (C++23)	адаптер итератора, который преобразует итератор в константный итератор (шаблон класса)

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

ru.cppreference.net

Namespaces

Variants