operator==,<=>(std::counted_iterator)

template< std::common_with<I> I2 >
    friend constexpr bool operator==(
        const counted_iterator& x, const counted_iterator<I2>& y );

template< std::common_with<I> I2 >
    friend constexpr strong_ordering operator<=>(
        const counted_iterator& x, const counted_iterator<I2>& y );

Сравнивает базовые длины (т. е. расстояния до конца).

Поведение не определено, если x и y не указывают на элементы одной и той же последовательности. То есть должен существовать такой n, что std::next(x.base(), x.count() + n) и std::next(y.base(), y.count() + n) указывают на один и тот же элемент.

Операторы <, <=, >, >= и != синтезируются соответственно из operator<=> и operator==.

Этот шаблон функции не виден при обычном поиске неквалифицированного имени или поиске квалифицированного имени; его можно найти только с помощью поиска с учетом аргументов, если std::counted_iterator<I> является ассоциированным классом аргументов.

Параметры

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

Примечания

Поскольку длина отсчитывается в обратном направлении, а не увеличивается, порядок аргументов operator<=> в базовом выражении сравнения меняется на обратный, то есть y — это lhs, а x — rhs.

Пример

#include <initializer_list>
#include <iterator>

int main()
{
    static constexpr auto v = {1, 2, 3, 4, 5, 6};
    constexpr std::counted_iterator<std::initializer_list<int>::iterator>
        it1{v.begin(), 5},
        it2{v.begin(), 5},
        it3{v.begin() + 1, 4},
        it4{v.begin(), 0};
    static_assert(it1 == it2);
    static_assert(it2 != it3);
    static_assert(it2 <  it3);
    static_assert(it1 <= it2);
    static_assert(it3 != std::default_sentinel);
    static_assert(it4 == std::default_sentinel);

//  it2 == std::counted_iterator{v.begin(), 4}; // UB: operands do not refer to
                                                // elements of the same sequence
}

См. также