std::ranges::lazy_split_view<V, Pattern>::outer_iterator
template< bool Const > struct /*outer_iterator*/; |
(C++20 起) (仅作说明*) |
|
返回类型为 lazy_split_view::begin
,以及当底层视图为 common_range
和 forward_range
时为 lazy_split_view::end
。
如果 V
或 Pattern
不是 简单视图 (例如,如果 ranges::iterator_t<const V> 无效或与 ranges::iterator_t<V> 不同),则对于 const 重载返回的迭代器,Const
为 true,否则为 false。如果 V
是简单视图,则当且仅当 V
是 forward_range
时,Const
为 true。
[编辑] 成员类型
成员 | 定义 |
父类
|
maybe-const <Const, ranges::lazy_split_view>(仅供说明的成员类型*) |
基类
|
maybe-const <Const, V>(仅供说明的成员类型*) |
iterator_concept
|
|
iterator_category (仅当 Base 建模 forward_range 时存在)
|
std::input_iterator_tag |
outer_iterator 的值类型(公有成员类) | |
difference_type
|
ranges::range_difference_t<Base> |
[编辑] 数据成员
成员 | 描述 |
Parent* parent_ (私有) |
指向父对象 lazy_split_view 的指针(仅用于阐释的成员对象*) |
ranges::iterator_t<Base> current_ (私有)(仅当 V 建模 forward_range 时存在)
|
底层 view 中的迭代器(仅用于阐释的成员对象*) |
bool trailing_empty_ (私有) |
一个标志,指示是否已到达空的尾部子范围 (如果有) (仅用于阐释的成员对象*) |
[编辑] 成员函数
(构造函数) |
构造一个迭代器 (公开成员函数) |
operator* |
返回当前子范围 (公开成员函数) |
operator++operator++(int) |
前进迭代器 (公开成员函数) |
cur |
有条件地返回对 current_ (如果存在) 或对 *parent_ ->current_ 的引用(仅用于说明的成员函数*) |
[编辑] 成员函数
std::ranges::lazy_split_view::outer_iterator ::outer_iterator
/*outer_iterator*/() = default; |
(1) | (C++20 起) |
constexpr explicit /*outer_iterator*/( Parent& parent ) requires (!ranges::forward_range<Base>); |
(2) | (C++20 起) |
constexpr /*outer_iterator*/( Parent& parent, ranges::iterator_t<Base> current ) |
(3) | (C++20 起) |
constexpr /*outer_iterator*/( /*outer_iterator*/<!Const> i ) requires Const && std::convertible_to<ranges::iterator_t<V>, |
(4) | (C++20 起) |
- parent_ = nullptr;,
- current_ = iterator_t<Base>(); (仅当
V
建模forward_range
时存在),
parent_
,用 std::move(i.current_) 初始化 current_
,并用 t.trailing_empty_ 初始化 trailing_empty_
。trailing_empty_
用其默认成员初始化器初始化为 false。
std::ranges::lazy_split_view::outer_iterator ::operator*
constexpr value_type operator*() const; |
(C++20 起) | |
等价于 return value_type{*this};。
std::ranges::lazy_split_view::outer_iterator ::operator++
constexpr /*outer_iterator*/& operator++(); |
(1) | (C++20 起) |
constexpr decltype(auto) operator++(int); |
(2) | (C++20 起) |
const auto end = ranges::end(parent_->base_); if (/*cur*/() == end) { trailing_empty_ = false; return *this; } const auto [pbegin, pend] = ranges::subrange{parent_->pattern_}; if (pbegin == pend) ++/*cur*/(); else if constexpr (/*tiny_range*/<Pattern>) { /*cur*/() = ranges::find(std::move(/*cur*/()), end, *pbegin); if (/*cur*/() != end) { ++/*cur*/(); if (/*cur*/() == end) trailing_empty_ = true; } } else { do { auto [b, p] = ranges::mismatch(/*cur*/(), end, pbegin, pend); if (p == pend) { /*cur*/() = b; if (/*cur*/() == end) trailing_empty_ = true; break; // The pattern matched; skip it } } while (++/*cur*/() != end); } return *this;
if constexpr (ranges::forward_range<Base>) { auto tmp = *this; ++*this; return tmp; } else { ++*this; // no return statement }
std::ranges::lazy_split_view::outer_iterator ::cur ()
constexpr auto& /*cur*/() noexcept; |
(1) | (C++20 起) (仅作说明*) |
constexpr auto& /*cur*/() const noexcept; |
(2) | (C++20 起) (仅作说明*) |
此便利成员函数从 /*outer_iterator*/::operator++()、非成员 operator==(const /*outer_iterator*/&, std::default_sentinel_t) 以及 inner_iterator
的可能实现的一些成员函数中引用。
if constexpr (ranges::forward_range<V>) return current_; else return *parent->current_;
[编辑] 非成员函数
operator== (C++20) |
比较底层迭代器或底层迭代器和 std::default_sentinel (函数) |
operator==(std::ranges::split_view::outer_iterator)
friend constexpr bool operator==( const /*outer_iterator*/& x, const /*outer_iterator*/& y ) |
(1) | (C++20 起) |
friend constexpr bool operator==( const /*outer_iterator*/& x, std::default_sentinel_t ); |
(2) | (C++20 起) |
!=
运算符由 operator==
合成。
这些函数对普通的 非限定查找 或 限定查找 不可见,并且只有当 std::ranges::split_view::outer_iterator
是参数的关联类时,才能通过 实参依赖查找 找到。
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
---|---|---|---|
LWG 3904 | C++20 | 构造函数 (4) 中未初始化 trailing_empty_ |
已初始化 |