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

template< bool Const >
class /*iterator*/

ranges::join_with_view<V, Pattern>::iterator 是 begin() 和 end() 为 ranges::join_with_view<V, Pattern> 返回的迭代器的类型。

此类的迭代器的状态如同由两个嵌套迭代器进行管理：

• * 一个外层迭代器，指向父范围 *parent_

• 若 Base 符合 forward_range，则为 outer_it_。
• 否则，为 parent_ ->outer_it_。

• * 一个内层迭代器 inner_it_，指向模式范围 parent_ ->pattern_ 或父范围的子范围

此迭代器类具有一个不变式：除非外层迭代器不可解引用，否则内层迭代器始终可解引用。当构造、递增或递减迭代器时，可能会调整其外层迭代器以保持该不变式。

模板参数

嵌套类型

确定迭代器概念

iterator_concept 定义如下：

• 若满足以下所有条件， iterator_concept 表示 std::bidirectional_iterator_tag ：
  • std:: is_reference_v < InnerBase  > 为 true 。
  • Base 满足 bidirectional_range 概念。
  • InnerBase 与 PatternBase 均满足 common_range 概念。
• 否则，若满足以下所有条件， iterator_concept 表示 std::forward_iterator_tag ：
  • std:: is_reference_v < InnerBase  > 为 true 。
  • Base 与 InnerBase 均满足 forward_range 概念。
• 否则， iterator_concept 表示 std::input_iterator_tag 。

确定迭代器类别

给定以下类型：

• 令 OuterC 为 std:: iterator_traits < OuterIter  > :: iterator_category 。
• 令 InnerC 为 std:: iterator_traits < InnerIter  > :: iterator_category 。
• 令 PatternC 为 std:: iterator_traits < PatternIter  > :: iterator_category 。

iterator_category 仅在 std:: is_reference_v < InnerBase  > 为 true ，且 Base 与 InnerBase 均满足 forward_range 要求时被定义。此时其定义如下：

• 若 std:: is_reference_v < std:: common_reference_t < ranges:: range_reference_t < InnerBase  > ,
  ranges:: range_reference_t < PatternBase  >> 为 false ，则 iterator_category 表示 std::input_iterator_tag 。
• 否则，若满足以下所有条件，则 iterator_category 表示 std::bidirectional_iterator_tag ：
  • OuterC 、 InnerC 和 PatternC 均满足 std:: derived_from < std:: bidirectional_iterator_tag > 。
  • InnerBase 和 PatternBase 均满足 common_range 。
• 否则，若 OuterC 、 InnerC 和 PatternC 均满足 std:: derived_from < std:: forward_iterator_tag > ，则 iterator_category 表示 std::forward_iterator_tag 。
• 否则， iterator_category 表示 std::input_iterator_tag 。

数据成员

成员函数

非成员函数