std::ranges::join_view<V>::iterator<Const>::operator++,--

constexpr /iterator/& operator++();	(1)	(since C++20)
constexpr void operator++( int );	(2)	(since C++20)
constexpr /iterator/ operator++( int ) requires /ref-is-glvalue/ && ranges::forward_range<Base> && ranges::forward_range<ranges::range_reference_t<Base>>;	(3)	(since C++20)
constexpr iterator& operator--() requires /ref-is-glvalue/ && ranges::bidirectional_range<Base> && ranges::bidirectional_range<ranges::range_reference_t<Base>> && ranges::common_range<ranges::range_reference_t<Base>>;	(4)	(since C++20)
constexpr /iterator/ operator--( int ) requires /ref-is-glvalue/ && ranges::bidirectional_range<Base> && ranges::bidirectional_range<ranges::range_reference_t<Base>> && ranges::common_range<ranges::range_reference_t<Base>>;	(5)	(since C++20)

Инкрементирует или декрементирует базовый итератор.

Пусть inner_ и outer_ — базовые итераторы, а parent_ — указатель на родительский ranges::join_view, и постоянная /*ref-is-glvalue*/ равна std::is_reference_v<ranges::range_reference_t<Base>>.

1) Пусть /*inner-range*/ будет:

*outer_, если /*ref-is-glvalue*/ == true;
*parent_->inner_ в противном случае.

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

auto&& inner_rng = /*inner-range*/;
if (++inner_ == ranges::end(inner_rng)) {
    ++outer_;
    satisfy();
}
return *this;

2) Эквивалентно: ++*this.

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

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

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

if (outer_ == ranges::end(parent_->base_))
    inner_ = ranges::end(*--outer_);
while (inner_ == ranges::begin(*outer_))
    inner_ = ranges::end(*--outer_);
--inner_;
return *this;

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

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

Параметры

(нет)

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

1,4) *this

2) (нет)

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

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