Public Types¶

using difference_type
using iterator_category
using iterator_concept
typedef _Iterator iterator_type
typedef __traits_type::pointer pointer
using reference
using value_type

Public Member Functions¶

constexpr reverse_iterator () noexcept(/*conditional */)
constexpr reverse_iterator (const reverse_iterator &__x) noexcept(/*conditional */)
template<typename _Iter>
requires __convertible<_Iter>constexpr reverse_iterator (const reverse_iterator< _Iter > &__x) noexcept(/*conditional */)"
constexpr reverse_iterator (iterator_type __x) noexcept(/*conditional */)
constexpr iterator_type base () const noexcept(/*conditional */)
constexpr reference operator* () const
constexpr reverse_iterator operator+ (difference_type __n) const
constexpr reverse_iterator & operator++ ()
constexpr reverse_iterator operator++ (int)
constexpr reverse_iterator & operator+= (difference_type __n)
constexpr reverse_iterator operator- (difference_type __n) const
constexpr reverse_iterator & operator-- ()
constexpr reverse_iterator operator-- (int)
constexpr reverse_iterator & operator-= (difference_type __n)
constexpr pointer operator-> () const
reverse_iterator & operator= (const reverse_iterator &)=default
template<typename _Iter>
requires __convertible<_Iter> && assignable_from<_Iterator&, const _Iter&>constexpr reverse_iterator & operator= (const reverse_iterator< _Iter > &__x) noexcept(/*conditional */)"
constexpr reference operator[] (difference_type __n) const

Protected Types¶

typedef iterator_traits< _Iterator > __traits_type

Protected Attributes¶

_Iterator current

Friends¶

constexpr iter_rvalue_reference_t< _Iterator > iter_move (const reverse_iterator &__i) noexcept(is_nothrow_copy_constructible_v< _Iterator > &&noexcept(ranges::iter_move(--std::declval< _Iterator & >())))
template<indirectly_swappable< _Iterator > _Iter2> constexpr void iter_swap (const reverse_iterator &__x, const reverse_iterator< _Iter2 > &__y) noexcept(is_nothrow_copy_constructible_v< _Iterator > &&is_nothrow_copy_constructible_v< _Iter2 > &&noexcept(ranges::iter_swap(--std::declval< _Iterator & >(), --std::declval< _Iter2 & >())))

template<typename _Iterator>¶

class std::reverse_iterator< _Iterator >"Bidirectional and random access iterators have corresponding reverse iterator adaptors that iterate through the data structure in the opposite direction. They have the same signatures as the corresponding iterators. The fundamental relation between a reverse iterator and its corresponding iterator i is established by the identity:

&*(reverse_iterator(i)) == &*(i - 1)

This mapping is dictated by the fact that while there is always a pointer past the end of an array, there might not be a valid pointer before the beginning of an array. [24.4.1]/1,2

Reverse iterators can be tricky and surprising at first. Their semantics make sense, however, and the trickiness is a side effect of the requirement that the iterators must be safe.

template<typename _Iterator> std::reverse_iterator< _Iterator >::reverse_iterator () [inline], [constexpr], [noexcept]¶

The default constructor value-initializes member current. If it is a pointer, that means it is zero-initialized.

Referenced by std::reverse_iterator< iterator >::operator+(), and std::reverse_iterator< iterator >::operator-().

template<typename _Iterator> std::reverse_iterator< _Iterator >::reverse_iterator (iterator_type __x) [inline], [explicit], [constexpr], [noexcept]¶

This iterator will move in the opposite direction that x does.

template<typename _Iterator> std::reverse_iterator< _Iterator >::reverse_iterator (const reverse_iterator< _Iterator > & __x) [inline], [constexpr], [noexcept]¶

The copy constructor is normal.

template<typename _Iterator> template<typename _Iter> ¶

requires __convertible<_Iter>std::reverse_iterator< _Iterator >::reverse_iterator (const reverse_iterator< _Iter > & __x) [inline], [constexpr], [noexcept]" A reverse_iterator across other types can be copied if the underlying iterator can be converted to the type of current.

template<typename _Iterator> iterator_type std::reverse_iterator< _Iterator >::base () const [inline], [nodiscard], [constexpr], [noexcept]¶

Returns

Referenced by std::operator==().

template<typename _Iterator> reference std::reverse_iterator< _Iterator >::operator* () const [inline], [nodiscard], [constexpr]¶

Returns

This requires that --current is dereferenceable.

Warning

template<typename _Iterator> reverse_iterator std::reverse_iterator< _Iterator >::operator+ (difference_type __n) const [inline], [nodiscard], [constexpr]¶

Returns

The underlying iterator must be a Random Access Iterator.

template<typename _Iterator> reverse_iterator & std::reverse_iterator< _Iterator >::operator++ () [inline], [constexpr]¶

Returns

Decrements the underlying iterator.

template<typename _Iterator> reverse_iterator std::reverse_iterator< _Iterator >::operator++ (int ) [inline], [constexpr]¶

Returns

Decrements the underlying iterator.

template<typename _Iterator> reverse_iterator & std::reverse_iterator< _Iterator >::operator+= (difference_type __n) [inline], [constexpr]¶

Returns

Moves the underlying iterator backwards __n steps. The underlying iterator must be a Random Access Iterator.

template<typename _Iterator> reverse_iterator std::reverse_iterator< _Iterator >::operator- (difference_type __n) const [inline], [nodiscard], [constexpr]¶

Returns

The underlying iterator must be a Random Access Iterator.

template<typename _Iterator> reverse_iterator & std::reverse_iterator< _Iterator >::operator-- () [inline], [constexpr]¶

Returns

Increments the underlying iterator.

template<typename _Iterator> reverse_iterator std::reverse_iterator< _Iterator >::operator-- (int ) [inline], [constexpr]¶

Returns

Increments the underlying iterator.

template<typename _Iterator> reverse_iterator & std::reverse_iterator< _Iterator >::operator-= (difference_type __n) [inline], [constexpr]¶

Returns

Moves the underlying iterator forwards __n steps. The underlying iterator must be a Random Access Iterator.

template<typename _Iterator> pointer std::reverse_iterator< _Iterator >::operator-> () const [inline], [nodiscard], [constexpr]¶

Returns

This requires that --current is dereferenceable.

template<typename _Iterator> reference std::reverse_iterator< _Iterator >::operator[] (difference_type __n) const [inline], [nodiscard], [constexpr]¶

Returns

The underlying iterator must be a Random Access Iterator.