Namespaces
Variants

std::ranges::crbegin

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

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

(до C++23)

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

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

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

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

Во всех остальных случаях вызов 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})>>
    );
}

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

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