10 Ranges library [ranges]

10.6 Range requirements [ranges.requirements]

10.6.5 Bounded ranges [ranges.bounded]

The BoundedRange concept specifies requirements of a Range type for which begin and end return objects of the same type. [ Note: The standard containers ( ISO/IEC 14882:2014 §[containers]) satisfy BoundedRange. — end note ]

template <class T>
concept bool BoundedRange =
  Range<T> && Same<iterator_t<T>, sentinel_t<T>>;