std::experimental::ranges:: Sentinel

Sentinel コンセプトは、 Iterator 型と、値が範囲を示す Semiregular 型との関係を指定します。

s と i がそれぞれ型 S と I の値であり、 [ i , s ) が範囲を表す場合、 Sentinel<S, I> は以下の条件を満たす場合にのみ成立します：

• i == s は well-defined です。
• bool ( i ! = s ) の場合、 i は dereferenceable であり、 [ ++ i , s ) は範囲を表します。

== の定義域は時間とともに変化することがあります。イテレータ i とセンチネル s が与えられ、 [ i , s ) が範囲を表し、 i ! = s であるとき、 i と等しい任意のイテレータをインクリメントした後も [ i , s ) が範囲を表し続けることは要求されません（したがって、そのようなインクリメント後は i == s がwell-definedであることも要求されません）。