Namespaces
Variants

std::ranges::join_view<V>:: iterator <Const>:: satisfy

From cppreference.net
C++
Ranges library
Range adaptors
std::ranges::join_view
constexpr void satisfy ( ) ;
(начиная с C++20)
( только для демонстрации* )

Пропускает пустые внутренние диапазоны и инициализирует базовый итератор inner_ .

Пусть константа /*ref-is-glvalue*/ будет равна std:: is_reference_v < ranges:: range_reference_t < Base >> .

Тело функции эквивалентно 

auto update_inner = [this](const ranges::iterator_t<Base>& x) -> auto&&
{
    if constexpr (/*ref-is-glvalue*/)     // *x является ссылкой
        return *x;
    else
        return parent_->inner_./*emplace-deref*/(x);
};
for (; outer_ != ranges::end(parent_->base_); ++outer_)
{
    auto&& inner = update_inner(outer_);
    inner_ = ranges::begin(inner);
    if (inner_ != ranges::end(inner))
        return;
}
if constexpr (/*ref-is-glvalue*/)
    inner_ = InnerIter();

Параметры

(нет)

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

(нет)