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

25 Ranges library [ranges]

25.3.9 ranges​::​crend [range.access.crend]

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​::​crend(E) is ill-formed.
• Otherwise, let U be ranges​::​rend(possibly-const-range(t)).
  ranges​::​crend(E) is expression-equivalent toconst_sentinel<decltype(U)>(U).

[Note 1:

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

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

— _end note_]