std::ranges::sized_range, std::ranges::disable_sized_range

Определён в заголовке <ranges>

Определён в заголовке `<ranges>`
template< class T > concept sized_range = ranges::range<T> && requires(T& t) { ranges::size(t); };	(1)	(начиная с C++20) (до C++26)
template< class T > concept sized_range = ranges::approximately_sized_range<T> && requires(T& t) { ranges::size(t); };		(начиная с C++26)
template< class > constexpr bool disable_sized_range = false;	(2)	(начиная с C++20)

template< class T >
concept sized_range = ranges::range<T> &&
    requires(T& t) {
        ranges::size(t);
    };

(1)

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

template< class T >
concept sized_range = ranges::approximately_sized_range<T> &&
    requires(T& t) {
        ranges::size(t);
    };

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

template< class >
constexpr bool disable_sized_range = false;

(2)

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

1) Концепция sized_range задаёт требования к типу range(до C++26)approximately_sized_range(начиная с C++26), который знает свой размер за постоянное время с помощью функции size.

2) disable_sized_range существует, чтобы разрешить использование типов диапазонов, предоставляющих функцию size (как функцию-член или как функцию, не являющуюся членом), но фактически не моделирующих sized_range. Пользователи могут специализировать disable_sized_range для типов, определённых в программе, без квалификаторов cv. Такие специализации должны быть пригодны для использования в константных выражениях и иметь тип constbool.

Семантические требования

1) Для lvalue t типа std::remove_reference_t<T> T моделирует sized_range только если

ranges::size(t)

имеет амортизированную сложность, ограниченную константой;
не изменяет значение t способом, наблюдаемым для выражений, сохраняющих равенство, и
равна ranges::distance(ranges::begin(t), ranges::end(t)), и

если ranges::iterator_t<T> моделирует forward_iterator, ranges::size(t) корректно определено независимо от вычисления ranges::begin(t) (иными словами, однопроходный диапазон с известным размером может поддерживать вызов size только до первого вызова begin, но прямой диапазон должен поддерживать size в любой момент).

Примечания

disable_sized_range нельзя использовать, чтобы исключить из концепции диапазон, итератор и sentinel которого удовлетворяют sized_sentinel_for; вместо этого необходимо использовать std::disable_sized_sentinel_for.

Для типов-массивов и ссылочных типов нельзя специализировать disable_sized_range.

Макрос проверки поддержки возможности	Значение	Стандарт	Возможность
`__cpp_lib_ranges_reserve_hint`	`202502L`	(C++26)	`ranges::approximately_sized_range` и `ranges::reserve_hint`

Пример

#include <forward_list>
#include <list>
#include <ranges>

static_assert
(
    std::ranges::sized_range<std::list<int>> and
    not std::ranges::sized_range<std::forward_list<int>>
);

int main() {}

См. также

ranges::random_access_range (C++20)	задаёт диапазон, тип итератора которого удовлетворяет `random_access_iterator` (концепция)
ranges::contiguous_range (C++20)	задаёт диапазон, тип итератора которого удовлетворяет `contiguous_iterator` (концепция)

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