std::ranges::adjacent_view<V,N>::iterator<Const>::operator++,--,+=,-=

constexpr /iterator/& operator++();	(1)	(начиная с C++23)
constexpr /iterator/ operator++( int );	(2)	(начиная с C++23)
constexpr /iterator/& operator--() requires ranges::bidirectional_range<Base>;	(3)	(начиная с C++23)
constexpr /iterator/ operator--( int ) requires ranges::bidirectional_range<Base>;	(4)	(начиная с C++23)
constexpr /iterator/& operator+=( difference_type n ) requires ranges::random_access_range<Base>;	(5)	(начиная с C++23)
constexpr /iterator/& operator-=( difference_type n ) requires ranges::random_access_range<Base>;	(6)	(начиная с C++23)

Увеличивает или уменьшает итератор.

Пусть current_ будет базовым массивом итераторов.

1) Эквивалентно:

for (auto& i : current_)
    i = std::ranges::next(i);
return *this;

Поведение не определено, если до вызова current_.back() не допускает инкрементирования.

2) Эквивалентно:

auto tmp = *this;
++*this;
return tmp;

3) Эквивалентно:

for (auto& i : current_)
    i = std::ranges::prev(i);
return *this;

Поведение не определено, если до вызова current_.front() не допускает декрементирования.

4) Эквивалентно:

auto tmp = *this;
--*this;
return tmp;

5) Эквивалентно:

for (auto& i : current_)
    i = i + n;
return *this;

Поведение не определено, если до вызова current_.back() + n не имеет корректно определённого поведения.

6) Эквивалентно:

for (auto& i : current_)
    i = i - n;
return *this;

Поведение не определено, если до вызова current_.front() - n не имеет корректно определённого поведения.

Параметры

позиция относительно текущего положения

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

1,3,5,6) *this

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

Пример

#include <cassert>
#include <list>
#include <ranges>
#include <utility>
#include <vector>

int main()
{
    {
        auto v = std::vector{0, 1, 2, 3, 4, 5};
        auto i = (v | std::views::pairwise).begin();
        assert((*i == std::pair{0, 1}));
        ++i;                            // overload (1)
        assert((*i == std::pair{1, 2}));
        --i;                            // overload (3)
        assert((*i == std::pair{0, 1}));
        i += 2;                         // overload (5)
        assert((*i == std::pair{2, 3}));
        i -= 2;                         // overload (6)
        assert((*i == std::pair{0, 1}));
    }
    {
        auto v = std::list{0, 1, 2, 3, 4, 5};
        auto i = (v | std::views::pairwise).begin();
        assert((*i == std::pair{0, 1}));
        ++i;                            // overload (1)
        assert((*i == std::pair{1, 2}));
        --i;                            // overload (3)
        assert((*i == std::pair{0, 1}));
//      i += 2; // Error: v is not a random_access_range; overload (5)
//      i -= 2; // Error: v is not a random_access_range; overload (6)
    }
}

См. также

operator+operator-

(C++23)

выполняет арифметические операции с итератором
(открытая функция-член)

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