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

跳过空的内部范围并初始化底层迭代器 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();

参数

(无)

返回值

(无)