< cpp‎ | experimental‎ | ranges
Technical Specification
Filesystem library (filesystem TS)
Library fundamentals (library fundamentals TS)
Library fundamentals 2 (library fundamentals TS v2)
Library fundamentals 3 (library fundamentals TS v3)
Extensions for parallelism (parallelism TS)
Extensions for parallelism 2 (parallelism TS v2)
Extensions for concurrency (concurrency TS)
Extensions for concurrency 2 (concurrency TS v2)
Concepts (concepts TS)
Ranges (ranges TS)
Reflection (reflection TS)
Mathematical special functions (special functions TR)
Experimental Non-TS
Pattern Matching
Linear Algebra
2D Graphics
Iterators library
Iterator concepts
Indirect callable concepts
Common algorithm requirements
Concept utilities
Iterator utilities and operations
Iterator traits
Iterator adaptors
Stream iterators
template< class S, class I >

concept bool Sentinel =
    Semiregular<S> && Iterator<I> &&

    WeaklyEqualityComparableWith<S, I>;
(ranges TS)

The Sentinel concept specifies the relationship between an Iterator type and a Semiregular type whose values denote a range.

Let s and i be values of type S and I, respectively, such that [is) denotes a range. Sentinel<S, I> is satisfied only if:

  • i == s is well-defined.
  • If bool(i != s) then i is dereferenceable and [++is) denotes a range.

The domain of == can change over time. Given an iterator i and sentinel s such that [is) denotes a range and i != s, [is) is not required to continue to denote a range after incrementing any iterator equal to i (and so i == s is no longer required to be well-defined after such an increment).