std::ranges::approximately_sized_range

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

El concepto approximately_sized_range especifica los requisitos de un tipo range que puede estimar su tamaño en tiempo constante con la función reserve_hint.

Requisitos semánticos

Dado un lvalue t de tipo std:: remove_reference_t < T > , T modela approximately_sized_range solo si

• ranges :: reserve_hint ( t )

• tiene una complejidad de tiempo constante amortizada,
• no altera el valor de t de manera observable para expresiones que preservan la igualdad , y
• tiene un valor que no es negativo y es representable en ranges:: range_difference_t < T > , y

• si ranges:: iterator_t < T > modela forward_iterator , ranges :: reserve_hint ( t ) está bien definido independientemente de la evaluación de ranges:: begin ( t ) (en otras palabras, un rango de tamaño aproximado de paso único puede admitir una llamada a reserve_hint solo antes de la primera llamada a begin , pero un rango de avance debe admitir tamaño en todo momento).

Notas

Ejemplo

Véase también