Namespaces
Variants

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

From cppreference.net
C++
Ranges library
Range adaptors
std::ranges::join_view
constexpr /*iterator*/ & operator ++ ( ) ;
(1) (начиная с C++20)
constexpr void operator ++ ( int ) ;
(2) (начиная с C++20)
constexpr /*iterator*/ operator ++ ( int )

requires /*ref-is-glvalue*/ && ranges:: forward_range < Base > &&

ranges:: forward_range < ranges:: range_reference_t < Base >> ;
(3) (начиная с 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) (начиная с 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) (начиная с 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 которая была создана до изменения.