std::ranges::filter_view<V,Pred>::迭代器 (iterator)
class /*迭代器*/; |
(C++20 起) (仅作说明*) |
|
filter_view::begin 的返回类型。
如果 `V` 满足 `bidirectional_range`，则此为 `bidirectional_iterator`；如果 `V` 满足 `forward_range`，则此为 `forward_iterator`；否则为 `input_iterator`。
允许修改此迭代器所指向的元素，但如果结果值不满足过滤器的谓词，则会导致未定义行为。
[编辑] 成员类型
| 类型 | 定义 |
迭代器概念 (iterator_concept)
|
|
迭代器类别 (iterator_category)(仅当 `V` 满足时才存在) 前向范围 (forward_range))
|
令 `C` 为类型 std::iterator_traits<ranges::iterator_t<V>>::iterator_category。
|
值类型 (value_type)
|
ranges::range_value_t<V> |
差值类型 (difference_type)
|
ranges::range_difference_t<V> |
[编辑] 数据成员
| 成员 | 描述 |
ranges::iterator_t<V> current_ (私有) |
指向底层 `view` 的迭代器 (仅用于阐释的成员对象*) |
ranges::filter_view<V, Pred>* parent_ (私有) |
指向父 `filter_view` 对象的指针 (仅用于阐释的成员对象*) |
[编辑] 成员函数
| 构造一个迭代器 (公开成员函数) | |
| 返回底层迭代器 (公开成员函数) | |
| 转发到底层迭代器 (公开成员函数) | |
| 前进迭代器 (公开成员函数) | |
| 递减迭代器 (公开成员函数) |
std::ranges::filter_view::iterator::迭代器 (iterator)
| /*iterator*/() requires std::default_initializable<ranges::iterator_t<V>> = default; |
(1) | (C++20 起) |
| constexpr /*iterator*/( filter_view& parent, ranges::iterator_t<V> current ); |
(2) | (C++20 起) |
std::ranges::filter_view::iterator::基类 (base)
| constexpr const ranges::iterator_t<V>& base() const & noexcept; |
(1) | (C++20 起) |
| constexpr ranges::iterator_t<V> base() &&; |
(2) | (C++20 起) |
std::ranges::filter_view::iterator::operator*,->
| constexpr ranges::range_reference_t<V> operator*() const; |
(1) | (C++20 起) |
| constexpr ranges::iterator_t<V> operator->() const requires /*has-arrow*/<ranges::iterator_t<V>> && |
(2) | (C++20 起) |
对于类型 `I`，当且仅当 `I` 满足（或满足）`input_iterator` 概念（或约束），且 `I` 为指针类型或 requires(I i){ i.operator->();} 为 true 时，/*has-arrow*/<I> 被建模或满足。
std::ranges::filter_view::iterator::operator++
| constexpr /*迭代器*/& operator++(); |
(1) | (C++20 起) |
| constexpr void operator++( int ); |
(2) | (C++20 起) |
| constexpr /*iterator*/ operator++( int ) requires ranges::forward_range<V>; |
(3) | (C++20 起) |
current_ = ranges::find_if(std::move(++current_), ranges::end(parent_->base_),
std::ref(*parent_->pred_));
return *this;.
std::ranges::filter_view::iterator::operator--
| constexpr /*iterator*/& operator--() requires ranges::bidirectional_range<V>; |
(1) | (C++20 起) |
| constexpr /*iterator*/ operator--( int ) requires ranges::bidirectional_range<V>; |
(2) | (C++20 起) |
[编辑] 非成员函数
| (C++20) |
比较底层迭代器 (函数) |
| (C++20) |
将底层迭代器解引用的结果转换为其关联的右值引用类型 (函数) |
| (C++20) |
交换两个底层迭代器指向的对象 (函数) |
operator==(std::ranges::filter_view::iterator)
| friend constexpr bool operator==( const /*iterator*/& x, const /*iterator*/& y ) requires std::equality_comparable<ranges::iterator_t<V>>; |
(C++20 起) | |
等价于 return x.current_ == y.current_;。
!= 运算符由 operator== 合成。
此函数对普通的非限定或限定查找不可见，仅当 `std::ranges::filter_view::iterator` 是实参的关联类时，才能通过实参依赖查找找到它。
iter_move(std::ranges::filter_view::iterator)
| friend constexpr ranges::range_rvalue_reference_t<V> iter_move( const /*iterator*/& i ) |
(C++20 起) | |
等价于 return ranges::iter_move(i.current_);。
此函数对普通的非限定或限定查找不可见，仅当 `std::ranges::filter_view::iterator` 是实参的关联类时，才能通过实参依赖查找找到它。
iter_swap(std::ranges::filter_view::iterator)
| friend constexpr void iter_swap( const /*iterator*/& x, const /*iterator*/& y ) noexcept(noexcept(ranges::iter_swap(x.current_, y.current_))) |
(C++20 起) | |
等价于 ranges::iter_swap(x.current_, y.current_)。
此函数对普通的非限定或限定查找不可见，仅当 `std::ranges::filter_view::iterator` 是实参的关联类时，才能通过实参依赖查找找到它。
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
|---|---|---|---|
| P2259R1 | C++20 | 成员类型 `iterator_category` 始终被定义 | 仅当 `V` 是 `forward_range` 时定义 |
| LWG 3533 | C++20 | `base` 的 const& 重载会复制底层迭代器 | 返回底层迭代器的引用 |
| LWG 3593 | C++20 | `base` 的 const& 重载可能不是 `noexcept` 的 | 已改为 noexcept |
