#
reverse_
view
takes a bidirectional view and produces another view that iterates the same elements in reverse order
.
2
#
The name
views
::
reverse
denotes a range adaptor object (
[range.
adaptor.
object]
)
.
Given a subexpression
E
, the expression
views
::
reverse
(
E
)
is expression-equivalent to:
(2.1)
If the type of
E
is a (possibly cv-qualified) specialization of
reverse_
view
, then
E
.
base
(
)
.
(2.2)
Otherwise, if
E
is a specialization of
optional
and
E
models
view
, then
decay-copy
(
E
)
.
(2.3)
Otherwise, if the type of
E
is
cv
subrange
<
reverse_
iterator
<
I
>
, reverse_
iterator
<
I
>
, K
>
for some iterator type
I
and value
K
of type
subrange_
kind
,
(2.3.1)
if
K
is
subrange_
kind
::
sized
, then
subrange
<
I, I, K
>
(
E
.
end
(
)
.
base
(
)
, E
.
begin
(
)
.
base
(
)
, E
.
size
(
)
;
(2.3.2)
otherwise,
subrange
<
I, I, K
>
(
E
.
end
(
)
.
base
(
)
, E
.
begin
(
)
.
base
(
)
.
However, in either case
E
is evaluated only once
.
(2.4)
Otherwise,
reverse_
view
{
E
}
.
3
#
[
Example
1
:
vector
<
int
>
is
{
0
,
1
,
2
,
3
,
4
}
;
for
(
int
i
:
is
|
views
::
reverse
)
cout
<
<
i
<
<
' '
;
/ prints
4 3 2 1 0
—
end example
]