std::ranges::join_with_view<V,Pattern>::iterator<Const>::iterator

来自cppreference.com
 
 
范围库
范围适配器
 
 
/*iterator*/() = default;
(1) (C++23 起)
constexpr /*iterator*/( /*iterator*/<!Const> i )

    requires Const &&
        std::convertible_to<ranges::iterator_t<V>, /*OuterIter*/> &&
        std::convertible_to<ranges::iterator_t</*InnerRng*/>,
                            /*InnerIter*/> &&

        std::convertible_to<ranges::iterator_t<Pattern>, /*PatternIter*/>;
(2) (C++23 起)
constexpr /*iterator*/( /*Parent*/& parent, /*OuterIter*/ outer )
    requires std::forward_range</*Base*/>;
(3) (C++23 起)
(仅用于阐述*)
constexpr explicit /*iterator*/( /*Parent*/ parent )
    requires (!std::forward_range</*Base*/>);
(4) (C++23 起)
(仅用于阐述*)

构造迭代器。ranges::join_with_viewbegin()end() 会调用重载 (3,4)

 重载  数据成员
parent_ outer_it_  inner_it_ 
(1) nullptr 初始化 值初始化
(仅当 Base 实现 forward_range
默认初始化
(2) i.parent_ 初始化  以 std::move(i.outer_it_ 初始化 
(仅当 Base 实现 forward_range
(3)  以 std::addressof(parent) 初始化  std::move(outer) 初始化
(4) 不适用
2) 在初始化数据成员后,等价于

if (i.inner_it_ .index() == 0)
    inner_it_ .template emplace<0>(std::get<0>(std::move(i.inner_it_ )));
else
    inner_it_ .template emplace<1>(std::get<1>(std::move(i.inner_it_ )));

3,4) 在初始化数据成员后,如同在通过 operator++() 自增内部迭代器后调整外部迭代器

参数

i - 可变迭代器
parent - std::ranges::join_with_view 对象
outer - 指向 parent 的底层范围中的迭代器

示例