[range.access.cend] (original) (raw)

25 Ranges library [ranges]

25.3.5 ranges​::​cend [range.access.cend]

Given a subexpression E with type T, let t be an lvalue that denotes the reified object for E.

Then:

• If E is an rvalue andenable_borrowed_range<remove_cv_t<T>> is false,ranges​::​cend(E) is ill-formed.
• Otherwise, let U be ranges​::​end(possibly-const-range(t)).
  ranges​::​cend(E) is expression-equivalent toconst_sentinel<decltype(U)>(U).

[Note 1:

Whenever ranges​::​cend(E) is a valid expression, the types S and I of the expressionsranges​::​cend(E) and ranges​::​cbegin(E)model sentinel_for<S, I>.

If S models input_iterator, then S also models constant-iterator.

— _end note_]