std::reverse_iterator<Iter>:: reverse_iterator
| Iterator concepts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Iterator primitives | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Algorithm concepts and utilities | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Indirect callable concepts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Common algorithm requirements | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Utilities | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Iterator adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Member functions | ||||
|
reverse_iterator::reverse_iterator
|
||||
| Non-member functions | ||||
|
(C++20)
|
||||
|
(C++20)
|
||||
|
(C++14)
|
|
reverse_iterator
(
)
;
|
(1) | (constexpr since C++17) |
|
explicit
reverse_iterator
(
iterator_type x
)
;
|
(2) | (constexpr since C++17) |
|
template
<
class
U
>
reverse_iterator ( const reverse_iterator < U > & other ) ; |
(3) | (constexpr since C++17) |
Constructs a new
reverse_iterator
.
| Overload |
current
|
|---|---|
| (1) | value-initialized |
| (2) | initialized with x |
| (3) |
initialized with
other.
current
|
|
This overload participates in overload resolution only if std:: is_same_v < U, Iter > is false and std:: convertible_to < const U & , Iter > is modeled. |
(since C++20) |
Parameters
| x | - | iterator to adapt |
| other | - | iterator adaptor to copy |
Example
#include <cassert> #include <concepts> #include <iterator> #include <vector> int main() { std::vector v{0, 1, 2, 3, 4}; using ReverseIt = std::reverse_iterator<std::vector<int>::const_iterator>; ReverseIt i1; // overload (1) i1 = v.crbegin(); assert(*i1 == 4); ReverseIt i2(i1); // overload (2) assert(i2[0] == 4); int x[]{1, 2, 3}; auto i3 = std::reverse_iterator<int*>(x + std::size(x)); // overload (1) i3[0] = -3; assert(x[2] == -3); std::reverse_iterator<int const*> i4(i3); // overload (3): int => const int static_assert(std::convertible_to<decltype(i3)::value_type, decltype(i4)::value_type>); // i4[0] = 5; // Error: assignment of read-only location }
Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 235 | C++98 | the effect of overload ( 1 ) was not specified | specified |
| LWG 1012 | C++98 |
overload
(
1
)
default-initialized
current
|
it is value-initialized |
| LWG 3435 | C++20 | overload ( 3 ) was not constrained | constrained |
See also
|
assigns another iterator adaptor
(public member function) |
|
|
(C++14)
|
creates a
std::reverse_iterator
of type inferred from the argument
(function template) |