Namespaces
Variants

std::ranges:: cbegin

From cppreference.net
C++
Ranges library
Range adaptors
Определено в заголовочном файле <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)

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

(until C++23)

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

(since C++23)

range-begin-end.svg

Пусть 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 является эквивалентным по выражению к:

Во всех остальных случаях вызов 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++20)
возвращает итератор на начало диапазона
(объект точки кастомизации)
(C++11) (C++14)
возвращает итератор на начало контейнера или массива
(шаблон функции)