Namespaces
Variants

std::ranges::cbegin

Из ru.cppreference.net
 
 
Библиотека диапазонов
Адаптеры диапазонов
 
Определён в заголовке <ranges>
Определён в заголовке <iterator>
inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ cbegin = /* unspecified */;
}
(начиная с C++20)
(объект точки настройки)
Сигнатура вызова
template< class T >
    requires /* see below */
constexpr /* see below */ auto cbegin( T&& t );
(начиная с C++20)

Возвращает итератор на первый элемент аргумента с квалификатором const.

(до C++23)

Возвращает константный итератор на первый элемент аргумента.

(начиная с C++23)

Пусть CT будет

  • const std::remove_reference_t<T>& если аргумент является lvalue (т.е. T является типом lvalue-ссылки),
  • const T иначе.

Вызов ranges::cbegin является эквивалентным выражению ranges::begin(static_cast<CT&&>(t)).

(до C++23)

Если аргумент является lvalue или ranges::enable_borrowed_range<std::remove_cv_t<T>> является true, то вызов ranges::cbegin является эквивалентным выражению:

  • std::const_iterator<decltype(U)>(U) для некоторого выражения U эквивалентного ranges::begin(possibly-const-range(t).

Во всех остальных случаях вызов ranges::cbegin является некорректным, что может привести к ошибке подстановки, когда вызов появляется в непосредственном контексте инстанцирования шаблона.

(начиная с C++23)

Тип возвращаемого значения моделирует std::input_or_output_iterator и constant-iterator(начиная с C++23) во всех случаях.

Объекты точек кастомизации

Имя ranges::cbegin обозначает объект точки кастомизации , который является константным функциональным объектом типа литерального semiregular класса. Для подробностей см. CustomizationPointObject .

Примечания

Для lvalue диапазона e типа T , ranges :: cbegin ( e ) эквивалентно

ranges:: begin ( std:: as_const ( e ) ) .

(до C++23)
(начиная с C++23)

Пример

#include <cassert>
#include <ranges>
#include <vector>
int main()
{
    std::vector v{3, 1, 4};
    auto vi = std::ranges::cbegin(v);
    assert(3 == *vi);
    ++vi; // OK, объект constant-iterator является изменяемым
    assert(1 == *vi);
    // *vi = 13; // Ошибка: constant-iterator указывает на неизменяемый элемент
    int a[]{3, 1, 4};
    auto ai = std::ranges::cbegin(a); // cbegin также работает с C-массивами
    assert(3 == *ai and *(ai + 1) == 1);
    // *ai = 13; // Ошибка: переменная только для чтения не может быть присвоена
}

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

возвращает итератор на начало диапазона
(объект точки кастомизации)
(C++11) (C++14)
возвращает итератор на начало контейнера или массива
(шаблон функции)