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();

パラメータ

(なし)

戻り値

(なし)