std::ranges::filter_view<V,Pred>::iterator

来自cppreference.com
< cpp‎ | ranges‎ | filter view
 
 
范围库
范围访问
范围转换器
(C++23)
范围原语



悬垂迭代器处理
范围概念
视图

范围工厂
适配器
范围生成器
范围适配器对象
范围适配器闭包对象
辅助项
 
std::ranges::filter_view
成员函数
推导指引 (C++20)
迭代器
filter_view::iterator::iterator
(C++20)
filter_view::iterator::base
(C++20)
filter_view::iterator::operator*filter_view::iterator::operator->
(C++20)(C++20)
filter_view::iterator::operator++
filter_view::iterator::operator++(int)
(C++20)(C++20)
filter_view::iterator::operator--
filter_view::iterator::operator--(int)
(C++20)(C++20)
operator==(filter_view::iterator)
(C++20)
iter_move(filter_view::iterator)
(C++20)
iter_swap(filter_view::iterator)
(C++20)
哨位
 
class /*iterator*/; // 仅用于阐释
(C++20 起)

filter_view::begin 的返回类型。名称 iterator 仅用于阐释目的。

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>

数据成员

iterator 的典型实现保有二个非静态数据成员:

  • ranges::iterator_t<V> 类型迭代器,指向底层 view 中(此处示为 current_ ,仅为阐释),及
  • ranges::filter_view<V, Pred>* 指针,指向亲 filter_view 对象(此处示为 parent_ ,仅为阐释)。

成员函数

(构造函数)
(C++20)
构造迭代器
(公开成员函数)
base
(C++20)
返回底层迭代器
(公开成员函数)
operator*operator->
(C++20)
转发到底层迭代器
(公开成员函数)
operator++operator++(int)operator--operator--(int)
(C++20)
推进或自减迭代器
(公开成员函数)

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 起)
1) 分别以其默认成员初始化器初始化 current_parent_ ,它们分别为 = ranges::iterator_t<V>()= nullptr
2)std​::​move(current) 初始化 current_ 并以 std::addressof(parent) 初始化 parent_

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 起)
1) 等价于 return current_;
2) 等价于 return std​::​move(current_);

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>> &&

           std::copyable<ranges::iterator_t<V>>;
(2) (C++20 起)
1) 等价于 return *current_;
2) 等价于 return current_;
对于 I/*has-arrow*/<I> 得到实现或满足,当且仅当 I 分别实现或满足 input_iterator ,并且 I 为指针类型或 requires(I i){ i.operator->(); }true

std::ranges::filter_view::iterator::operator++

constexpr /*iterator*/& operator++();
(1) (C++20 起)
constexpr void operator++( int );
(2) (C++20 起)
constexpr /*iterator*/ operator++( int )
  requires ranges::forward_range<V>;
(3) (C++20 起)
1) 等价于
current_ = ranges::find_if(std::move(++current_), ranges::end(parent_->base_),

                           std::ref(*parent_->pred_));

return *this;
2) 等价于 ++*this;
3) 等价于 auto tmp = *this; ++*this; return tmp;

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 起)
1) 等价于
do

  --current_;
while (!std::invoke(*parent_->pred_, *current_));

return *this;
2) 等价于 auto tmp = *this; --*this; return tmp;

非成员函数

operator==
(C++20)
比较底层迭代器
(函数)
iter_move
(C++20)
将解引用底层迭代器的结果转型到其关联右值引用类型
(函数)
iter_swap
(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_;

!= 运算符从 == 运算符合成

此函数对通常无限定有限定查找不可见,而只能在 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 )

    noexcept(noexcept(ranges::iter_move(i.current_)));
(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_)))

    requires std::indirectly_swappable<ranges::iterator_t<V>>;
(C++20 起)

等价于 ranges​::​iter_swap(x.current_, y.current_)

此函数对通常无限定有限定查找不可见,而只能在 std::ranges::filter_view::iterator 为参数的关联类时由实参依赖查找找到。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
P2259R1 C++20 始终定义成员类型 iterator_category 仅若 Vforward_range 才定义
LWG 3533 C++20 baseconst& 重载复制底层迭代器 返回到它的引用
LWG 3593 C++20 baseconst& 重载可能不是 noexcept 使之为 noexcept