[range.reverse.overview]

reverse_view takes a bidirectional view and produces another view that iterates the same elements in reverse order.

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, equivalent to E.base().
(2.2)
Otherwise, if the type of E is cv-qualified
```
subrange<reverse_iterator<I>, reverse_iterator<I>, K>
```
for some iterator type I and value K of type subrange_kind,
- (2.2.1)
  if K is subrange_kind::sized, equivalent to:
```
subrange<I, I, K>(E.end().base(), E.begin().base(), E.size())
```
- (2.2.2)
  otherwise, equivalent to:
```
subrange<I, I, K>(E.end().base(), E.begin().base())
```
However, in either case E is evaluated only once.
(2.3)
Otherwise, equivalent to reverse_view{E}.

:

vector<int> is {0,1,2,3,4};
reverse_view rv {is};
for (int i : rv)
  cout << i << ' '; // prints: 4 3 2 1 0

— end example

]

24 Ranges library [ranges]