#
The name
ranges
::
crend
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 and
enable_
borrowed_
range
<
remove_
cv_
t
<
T
>
>
is
false
,
ranges
::
crend
(
E
)
is ill-formed
.
(1.2)
Otherwise, let
U
be
ranges
::
rend
(
possibly-const-range
(
t
)
)
.
ranges
::
crend
(
E
)
is expression-equivalent to
const_
sentinel
<
decltype
(
U
)
>
(
U
)
.
2
#
[
Note
1
:
Whenever
ranges
::
crend
(
E
)
is a valid expression, the types
S
and
I
of the expressions
ranges
::
crend
(
E
)
and
ranges
::
crbegin
(
E
)
model
sentinel_
for
<
S, I
>
.
If
S
models
input_
iterator
, then
S
also models
constant-iterator
.
—
end note
]