operator==,!=,<,<=,>,>=,<=>(std::reverse_iterator)

Определён в заголовочном файле `<iterator>`
template< class Iter1, class Iter2 > bool operator==( const std::reverse_iterator<Iter1>& lhs, const std::reverse_iterator<Iter2>& rhs );	(1)	(constexpr с C++17)
template< class Iter1, class Iter2 > bool operator!=( const std::reverse_iterator<Iter1>& lhs, const std::reverse_iterator<Iter2>& rhs );	(2)	(constexpr с C++17)
template< class Iter1, class Iter2 > bool operator< ( const std::reverse_iterator<Iter1>& lhs, const std::reverse_iterator<Iter2>& rhs );	(3)	(constexpr с C++17)
template< class Iter1, class Iter2 > bool operator<=( const std::reverse_iterator<Iter1>& lhs, const std::reverse_iterator<Iter2>& rhs );	(4)	(constexpr с C++17)
template< class Iter1, class Iter2 > bool operator> ( const std::reverse_iterator<Iter1>& lhs, const std::reverse_iterator<Iter2>& rhs );	(5)	(constexpr с C++17)
template< class Iter1, class Iter2 > bool operator>=( const std::reverse_iterator<Iter1>& lhs, const std::reverse_iterator<Iter2>& rhs );	(6)	(constexpr с C++17)
template< class Iter1, std::three_way_comparable_with<Iter1> Iter2 > constexpr std::compare_three_way_result_t<Iter1, Iter2> operator<=>( const std::reverse_iterator<Iter1>& lhs, const std::reverse_iterator<Iter2>& rhs );	(7)	(начиная с C++20)

Сравнивает базовые итераторы lhs и rhs.

Результат сравнений на равенство сохраняется (т. е. равенство базовых итераторов подразумевает равенство обратных итераторов).
Результат реляционных сравнений меняется на противоположный (т. е. большему базовому итератору соответствует меньший обратный итератор).

1) Эта перегрузка участвует в разрешении перегрузки, только если lhs.base() == rhs.base() корректно и может быть преобразовано в bool. 2) Эта перегрузка участвует в разрешении перегрузки, только если lhs.base() != rhs.base() корректно и может быть преобразовано в bool. 3) Эта перегрузка участвует в разрешении перегрузки, только если lhs.base() > rhs.base() корректно и может быть преобразовано в bool. 4) Эта перегрузка участвует в разрешении перегрузки, только если lhs.base() >= rhs.base() корректно и может быть преобразовано в bool. 5) Эта перегрузка участвует в разрешении перегрузки, только если lhs.base() < rhs.base() корректно и может быть преобразовано в bool. 6) Эта перегрузка участвует в разрешении перегрузки, только если lhs.base() <= rhs.base() корректно и может быть преобразовано в bool. (начиная с C++20)

Параметры

lhs, rhs

адаптеры итераторов для сравнения

Возвращаемое значение

1) lhs.base() == rhs.base()

2) lhs.base() != rhs.base()

3) lhs.base() > rhs.base()

4) lhs.base() >= rhs.base()

5) lhs.base() < rhs.base()

6) lhs.base() <= rhs.base()

7) rhs.base() <=> lhs.base()

Примечания

operator<=> возвращает rhs.base() <=> lhs.base(), а не lhs.base() <=> rhs.base(), поскольку это обратный итератор.

Пример

#include <cassert>
#include <iterator>

int main()
{
    int a[]{0, 1, 2, 3};
    //            ↑  └───── x, y
    //            └──────── z
    // “x” and “y” are equal, but “x” is less than “z” (reversely)
    std::reverse_iterator<int*>
        x{std::rend(a) - std::size(a)},
        y{std::rend(a) - std::size(a)},
        z{std::rbegin(a) + 1};

    // two-way comparisons
    assert(  x == y );
    assert(!(x != y));
    assert(!(x <  y));
    assert(  x <= y );
    assert(!(x == z));
    assert(  x != z );
    assert(  x <  z );
    assert(  x <= z );

    // three-way comparisons
    assert(  x <=> y == 0 );
    assert(!(x <=> y <  0));
    assert(!(x <=> y >  0));
    assert(!(x <=> z == 0));
    assert(  x <=> z <  0 );
    assert(!(x <=> z >  0));
}

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

DR	Применяется к	Опубликованное поведение	Корректное поведение
LWG 280	C++98	гетерогенное присваивание не допускалось	допускается

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/iterator/reverse_iterator/operator_cmp