operator-(std::counted_iterator)

template< std::common_with<I> I2 >
    friend constexpr std::iter_difference_t<I2> 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) ссылаются на один и тот же элемент.

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

Параметры

Значение результата

y.count() - x.count()

Примечания

Поскольку длина отсчитывается вниз, а не вверх, порядок аргументов 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{it1 + 3},
        it3{v.begin(), 2};
 
    static_assert(it1 - it2 == -3);
    static_assert(it2 - it1 == +3);
//  static_assert(it1 - it3 == -3); // UB: operands of operator- do not refer to
                                    // elements of the same sequence
}

См. также