std::sentinel_for
| Definido en el archivo de encabezado <iterator>
|
||
| template<class S, class I> concept sentinel_for = |
(desde C++20) | |
El concepto sentinel_for especifica la relación entre un tipo input_or_output_iterator y un tipo semiregular cuyos valores denotan un rango. El concepto de solo exposición __WeaklyEqualityComparableWith se describe en equality_comparable.
[editar] Requerimientos semánticos
Dejemos que s y i sean valores de tipo S y I, respectivamente, tal que [i, s) denote un rango. Se modela a sentinel_for<S, I> solo si:
- i == s está bien definido.
- Si bool(i != s) entonces
ies desreferenciable y[++i, s)denota un rango. - std::assignable_from<I&, S> si se modela o no se satisface.
El dominio de == puede cambiar con el tiempo. Dado un iterador i y un centinela s tal que [i, s) denote un rango e i != s, no se requiere que [i, s) continúe denotando un rango después de incrementar cualquier iterador igual a i (y por lo tanto ya no se requiere que i == s esté bien definido después de tal incremento).
[editar] Notas
No se requiere que un tipo centinela y su iterador correspondiente modelen a equality_comparable_with, ya que el tipo centinela puede no ser comparable consigo mismo, y no se requiere que tengan un tipo referencia común.
Se ha permitido que se use un tipo centinela distinto del tipo iterador en el bucle for basado en rango desde C++17.
[editar] Informes de defectos
Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.
| ID | Aplicado a | Comportamiento según lo publicado | Comportamiento correcto |
|---|---|---|---|
| LWG 3453 | C++20 | Los requerimientos semánticos de sentinel_for eran demasiadovagos pararanges::advance.
|
Se fortalecieron. |
