std::ranges::approximately_sized_range

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

Концепт approximately_sized_range задаёт требования к типу range, который может оценить свой размер за постоянное время с помощью функции reserve_hint.

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

Пусть t — lvalue типа std::remove_reference_t<T>. T моделирует approximately_sized_range только если

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

Примечания

Пример

См. также