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 ( ) ;
(seit C++20)
( Nur zur Darstellung* )

Überspringt leere innere Bereiche und initialisiert den zugrundeliegenden Iterator inner_ .

Die Konstante /*ref-is-glvalue*/ sei std:: is_reference_v < ranges:: range_reference_t < Base >> .

Der Funktionsrumpf entspricht 

auto update_inner = [this](const ranges::iterator_t<Base>& x) -> auto&&
{
    if constexpr (/*ref-is-glvalue*/)     // *x ist eine Referenz
        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();

Parameter

(keine)

Rückgabewert

(keine)