std::counted_iterator<I>::operator++,+,+=,--,-,-=

constexpr counted_iterator& operator++();	(1)	(since C++20)
constexpr decltype(auto) operator++( int );	(2)	(since C++20)
constexpr counted_iterator operator++( int ) requires std::forward_iterator<I>;	(3)	(since C++20)
constexpr counted_iterator& operator--() requires std::bidirectional_iterator<I>;	(4)	(since C++20)
constexpr counted_iterator operator--( int ) requires std::bidirectional_iterator<I>;	(5)	(since C++20)
constexpr counted_iterator operator+( std::iter_difference_t<I> n ) const requires std::random_access_iterator<I>;	(6)	(since C++20)
constexpr counted_iterator& operator+=( std::iter_difference_t<I> n ) requires std::random_access_iterator<I>;	(7)	(since C++20)
constexpr counted_iterator operator-( std::iter_difference_t<I> n ) const requires std::random_access_iterator<I>;	(8)	(since C++20)
constexpr counted_iterator& operator-=( std::iter_difference_t<I> n ) requires std::random_access_iterator<I>;	(9)	(since C++20)

Инкрементирует или декрементирует базовый итератор current и расстояние до конца length.

Поведение этих функций не определено, если length будет установлено в отрицательное значение.

1) Префиксная инкрементация на единицу. Эквивалентно ++current; --length; return *this;.

2) Постфиксная инкрементация на единицу. Эквивалентно --length; try { return current++; } catch(...) { ++length; throw; }.

3) Постфиксная инкрементация на единицу. Эквивалентно counted_iterator temp{*this}; ++*this; return temp;.

4) Префиксная декрементация на единицу. Эквивалентно --current; ++length; return *this;.

5) Постфиксная декрементация на единицу. Эквивалентно counted_iterator temp{*this}; --*this; return temp;.

6) Возвращает адаптер итератора, который продвинут на n. Эквивалентно return counted_iterator(current + n, length - n);.

7) Продвигает адаптер итератора на n. Эквивалентно current += n; length -= n; return *this;.

8) Возвращает адаптер итератора, который продвинут на -n. Эквивалентно return counted_iterator(current - n, length + n);.

9) Продвигает адаптер итератора на -n. Эквивалентно current -= n; length += n; return *this;.

Параметры

количество позиций для инкремента или декремента адаптера итератора

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

1) *this

2,3) Копия *this, сделанная до изменения.

4) *this

5) Копия *this, сделанная до изменения.

6) Адаптер итератора, продвинутый на n.

7) *this

8) Адаптер итератора, продвинутый на -n.

9) *this

Пример

#include <cassert>
#include <initializer_list>
#include <iterator>
 
int main()
{
    const auto v = {1, 2, 3, 4, 5, 6};
    std::counted_iterator<std::initializer_list<int>::iterator> it1{v.begin(), 5};
 
    ++it1;              assert(*it1 == 2 && it1.count() == 4); // (1)
    auto it2 = it1++;   assert(*it2 == 2 && *it1 == 3);        // (3)
    --it1;              assert(*it1 == 2 && it1.count() == 4); // (4)
    auto it3 = it1--;   assert(*it3 == 2 && *it1 == 1);        // (5)
    auto it4 = it1 + 3; assert(*it4 == 4 && it4.count() == 2); // (6)
    auto it5 = it4 - 3; assert(*it5 == 1 && it5.count() == 5); // (8)
    it1 += 3;           assert(*it1 == 4 && it1.count() == 2); // (7)
    it1 -= 3;           assert(*it1 == 1 && it1.count() == 5); // (9)
}

См. также

operator+ (C++20)	продвигает итератор (шаблон функции)
operator- (C++20)	вычисляет расстояние между двумя адаптерами итераторов (шаблон функции)

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