Namespaces
Variants

std::ranges:: crbegin

From cppreference.net
C++
Ranges library
Range adaptors
Определено в заголовке <ranges>
Определено в заголовке <iterator>
inline namespace /* unspecified */ {

inline constexpr /* unspecified */ crbegin = /* unspecified */ ;

}
(since C++20)
(объект точки кастомизации)
Сигнатура вызова
template < class T >

requires /* see below */

constexpr /* see below */ auto crbegin ( T && t ) ;
(since C++20)

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

(until C++23)

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

(since C++23)

range-rbegin-rend.svg

Пусть CT будет

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

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

(до C++23)

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

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

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

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

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

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

Пример

Запустить этот код 
#include <cassert>
#include <iterator>
#include <span>
#include <vector>
int main()
{
    std::vector<int> v{3, 1, 4};
    auto vi = std::ranges::crbegin(v);
    assert(*vi == 4);
    ++vi; // OK, объект итератора является изменяемым
    assert(*vi == 1);
    // *vi = 13; // Ошибка: базовый элемент доступен только для чтения
    int a[]{-5, 10, 15};
    auto ai = std::ranges::crbegin(a);
    assert(*ai == 15);
    // auto x_x = std::ranges::crbegin(std::vector<int>{6, 6, 6});
    // некорректно: аргумент является rvalue (см. Примечания ↑)
    auto si = std::ranges::crbegin(std::span{a}); // OK
    assert(*si == 15);
    static_assert
    (
        std::ranges::enable_borrowed_range<std::remove_cv_t<decltype(std::span{a})>>
    );
}

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

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