cppdraft_translate/cppdraft/range/access/crbegin.md

[range.access.crbegin]

25 Ranges library [ranges]

25.3 Range access [range.access]

25.3.8 ranges​::​crbegin [range.access.crbegin]

1

#

The name ranges​::​crbegin denotes a customization point object ([customization.point.object]).

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

Then:

• (1.1)

  If E is an rvalue andenable_borrowed_range<remove_cv_t> is false,ranges​::​crbegin(E) is ill-formed.

• (1.2)

  Otherwise, let U be ranges​::​rbegin(possibly-const-range(t)). ranges​::​crbegin(E) is expression-equivalent toconst_iterator<decltype(U)>(U).

2

#

[Note 1:

Whenever ranges​::​crbegin(E) is a valid expression, its type models input_or_output_iterator andconstant-iterator.

— end note]