Namespaces
Variants

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

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

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

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

constexpr ranges:: view auto as_const ( R && r ) ;
(начиная с C++23)
1) Адаптер диапазона, представляющий представление базового view , которое также является constant_range . as_const_view всегда содержит элементы только для чтения (если не пуст).
2) RangeAdaptorObject . Пусть e будет подвыражением, пусть T будет decltype ( ( e ) ) , и пусть U будет std:: remove_cvref_t < T > . Тогда выражение views :: as_const ( e ) является эквивалентным по выражению :

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

Содержание

Члены данных

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

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

конструирует as_const_view
(публичная функция-член)
возвращает базовое представление V
(публичная функция-член)
возвращает начальный итератор as_const_view
(публичная функция-член)
возвращает конечный итератор as_const_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> )
получает адрес данных производного представления, предоставляется только если его тип итератора удовлетворяет contiguous_iterator
(публичная функция-член 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::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]++; // Ошибка компиляции, нельзя изменять элемент только для чтения
}

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

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