std::ranges::approximately_sized_range

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

Le concept approximately_sized_range spécifie les exigences d'un type range qui peut estimer sa taille en temps constant avec la fonction reserve_hint.

Exigences sémantiques

Étant donné un lvalue t de type std:: remove_reference_t < T > , T modélise approximately_sized_range seulement si

• ranges :: reserve_hint ( t )

• a une complexité en temps amortie constante,
• ne modifie pas la valeur de t d'une manière observable par les expressions préservant l'égalité , et
• a une valeur qui n'est pas négative et est représentable dans ranges:: range_difference_t < T > , et

• si ranges:: iterator_t < T > modélise forward_iterator , ranges :: reserve_hint ( t ) est bien défini indépendamment de l'évaluation de ranges:: begin ( t ) (en d'autres termes, un range à passage unique de taille approximative peut supporter un appel à reserve_hint uniquement avant le premier appel à begin , mais un range forward doit supporter la taille à tout moment).

Notes

Exemple

Voir aussi