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, которое также является constant_range. У as_const_view всегда есть элементы только для чтения (если он не пуст).

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

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 моделирует соответствующие концепции.

Члены данных

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

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

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

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

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

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

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

std::ranges::as_const_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) Эквивалентно return ranges::cbegin(base_);

END_OF_DOCUMENT_MARKER

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)

Возвращает постоянный конечный маркер представления.

1,2) Эквивалентно 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)

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

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

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

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

(since C++23)

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

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

(since C++23)

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

Примечания

Макросы проверки наличия функций	Значение	Std	Функция
`__cpp_lib_ranges_as_const`	202207L	(C++23)	`std::ranges::as_const_view`, `std::const_iterator`

Пример

#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, can modify non-const element
 
    auto v2 = x | std::views::drop(2) | std::views::as_const;
    assert(v2.back() == 5);
    // v2[0]++; // Compile-time error, cannot modify read-only element
}

См. также

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

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