Spec-Zone.ru › C++

std::ranges::cend

Определено в заголовке <ranges>
Определено в заголовке <iterator>
inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ cend = /* unspecified */;
}
(с C++20)
(объект точки кастомизации)
Подпись вызова
template< class T >
    requires /* see below */
constexpr /* see below */ auto cend( T&& t );
(с C++20)

Возвращает страж для константного итератора(с C++23) указывающий на конец константного(до C++23) диапазона.

range-begin-end.svg

Пусть CT будет

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

Вызов ranges::cend эквивалентен выражению ranges::end(static_cast<CT&&>(t)).

(до C++23)

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

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

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

(с C++23)

Если ranges::cend(e) допустимо для выражения e, где decltype((e)) является T, то CT соответствует std::ranges::range, и(до C++23) std::sentinel_for<S, I> является true во всех случаях, где S является decltype(ranges::cend(e)), и I является decltype(ranges::cbegin(e)). Кроме того, S соответствует constant-iterator, если оно соответствует input_iterator.(с C++23)

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

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

Все экземпляры __cend_fn равны. Эффекты вызова различных экземпляров типа __cend_fn с одними и теми же аргументами эквивалентны, независимо от того, является ли выражение, обозначающее экземпляр, lvalue или rvalue, и квалифицировано ли оно как const или нет (хотя экземпляр с квалификатором volatile не обязан быть вызываемым). Таким образом, ranges::cend можно свободно копировать, и его копии можно использовать взаимозаменяемо.

Учитывая набор типов Args..., если std::declval<Args>()... соответствуют требованиям к аргументам для ranges::cend выше, __cend_fn соответствует

  • std::invocable<__cend_fn, Args...>,
  • std::invocable<const __cend_fn, Args...>,
  • std::invocable<__cend_fn&, Args...>, и
  • std::invocable<const __cend_fn&, Args...>.

В противном случае, оператор вызова функции __cend_fn не участвует в разрешении перегрузки.

Пример

#include <algorithm>
#include <cassert>
#include <ranges>
#include <vector>
 
int main()
{
    std::vector vec{3, 1, 4};
    int arr[]{5, 10, 15};
 
    assert(std::ranges::find(vec, 5) == std::ranges::cend(vec));
    assert(std::ranges::find(arr, 5) != std::ranges::cend(arr));
}

См. также

ranges::end
(C++20)
возвращает страж, указывающий на конец диапазона
(объект точки кастомизации)
endcend
(C++11)(C++14)
возвращает итератор на конец контейнера или массива
(шаблон функции)

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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API