std::ranges::approximately_sized_range

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

Das approximately_sized_range Konzept legt die Anforderungen an einen range-Typ fest, der seine Größe in konstanter Zeit mit der reserve_hint-Funktion abschätzen kann.

Semantische Anforderungen

Gegeben einen Lvalue t vom Typ std:: remove_reference_t < T > , T modelliert approximately_sized_range nur wenn

• ranges :: reserve_hint ( t )

• hat amortisierte konstante Zeitkomplexität,
• verändert den Wert von t nicht in einer für gleichheitserhaltende Ausdrücke beobachtbaren Weise, und
• hat einen Wert, der nicht negativ ist und in ranges:: range_difference_t < T > darstellbar ist, und

• wenn ranges:: iterator_t < T > das Konzept forward_iterator modelliert, ist ranges :: reserve_hint ( t ) unabhängig von der Auswertung von ranges:: begin ( t ) wohldefiniert (mit anderen Worten: Ein Single-Pass-Approximately-Sized-Range könnte einen Aufruf von reserve_hint nur vor dem ersten Aufruf von begin unterstützen, aber ein Forward-Range muss die Größe zu jeder Zeit unterstützen).

Hinweise

Beispiel

Siehe auch