std::experimental::ranges:: Sentinel

Концепт Sentinel определяет отношение между типом Iterator и Semiregular типом, чьи значения обозначают диапазон.

Пусть s и i будут значениями типов S и I соответственно, такие что [ i , s ) обозначает диапазон. Sentinel<S, I> удовлетворяется только если:

• i == s является корректно определенным.
• Если bool ( i ! = s ) , тогда i является разыменовываемым и [ ++ i , s ) обозначает диапазон.

Область определения == может изменяться со временем. Для итератора i и ограничителя s таких, что [ i , s ) обозначает диапазон и i ! = s , [ i , s ) не обязана продолжать обозначать диапазон после инкрементирования любого итератора, равного i (и поэтому i == s больше не обязано быть корректно определённым после такого инкрементирования).