std::ranges::iota_view<W, Bound>::iterator

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

命名要求

Feature test macros (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

范围库

范围访问 begin cbegin   end cend rbegin crbegin   rend crend size ssize   data cdata reserve_hint (C++26)   empty

范围转换 std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

悬垂迭代器处理 dangling borrowed_iterator_t borrowed_subrange_t

范围原语
range_size_trange_difference_trange_value_t elements_of (C++23)	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)

范围概念
range borrowed_range    common_range	sized_range viewable_range    view	input_range output_range forward_range	bidirectional_range    random_access_range contiguous_range	approximately_sized_range (C++26) constant_range (C++23)

视图
view_interface	subrange

范围工厂
empty_viewviews::empty	single_viewviews::single	basic_istream_viewviews::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

范围适配器
views::all_tviews::all as_rvalue_viewviews::as_rvalue (C++23)(C++23)   filter_viewviews::filter transform_viewviews::transform take_viewviews::take take_while_viewviews::take_while common_viewviews::common views::counted to_input_viewviews::to_input (C++26)(C++26)	ref_view drop_viewviews::drop drop_while_viewviews::drop_while lazy_split_viewviews::lazy_split split_viewviews::split join_viewviews::join join_with_viewviews::join_with (C++23)(C++23)   concat_viewviews::concat (C++26)(C++26) cache_latest_viewviews::cache_latest (C++26)(C++26)	owning_view reverse_viewviews::reverse as_const_viewviews::as_const (C++23)(C++23) elements_viewviews::elements keys_viewviews::keys values_viewviews::values enumerate_viewviews::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	adjacent_viewviews::adjacent (C++23)(C++23) views::pairwise (C++23) adjacent_transform_viewviews::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) chunk_viewviews::chunk (C++23)(C++23) slide_viewviews::slide (C++23)(C++23) chunk_by_viewviews::chunk_by (C++23)(C++23) stride_viewviews::stride (C++23)(C++23) cartesian_product_viewviews::cartesian_product (C++23)(C++23)

范围生成器 std::generator (C++23)

范围适配器闭包对象 range_adaptor_closure (C++23)

范围适配器对象

辅助项
copyable-box movable-box (until C++23)  (C++23)	simple-view non-propagating-cache

 

std::ranges::iota_view

成员函数

iota_view::iota_view

iota_view::begin

iota_view::end

iota_view::empty

iota_view::size

推导指引

嵌套类

迭代器

辅助概念

decrementable

advanceable

成员类型

成员函数

iota_view::iterator::iterator

iota_view::iterator::operator*

iota_view::iterator::operator[]

iota_view::iterator::operator++ iota_view::iterator::operator++(int)

iota_view::iterator::operator-- iota_view::iterator::operator--(int)

iota_view::iterator::operator+=

iota_view::iterator::operator-=

非成员函数

operator==(iota_view::iterator) operator<(iota_view::iterator) operator>(iota_view::iterator) operator<=(iota_view::iterator) operator>=(iota_view::iterator) operator<=>(iota_view::iterator)

operator+(iota_view::iterator)

operator-(iota_view::iterator)

Sentinel

成员函数

iota_view::sentinel::sentinel

非成员函数

operator==(iota_view::iterator,iota_view::sentinel)

operator-(iota_view::iterator,iota_view::sentinel)

 

struct /*iterator*/;	(1)	(仅用于说明*)
辅助别名模板
template< class I > using /*iota-diff-t*/ = /* see below */;	(2)	(仅用于说明*)
辅助概念
template< class I > concept /*decrementable*/ =     std::incrementable<I> && requires(I i) {         { --i } -> std::same_as<I&>;         { i-- } -> std::same_as<I>;     };	(3)	(仅用于说明*)
template< class I > concept /*advanceable*/ =     /*decrementable*/<I> && std::totally_ordered<I> &&     requires(I i, const I j, const /*iota-diff-t*/<I> n) {         { i += n } -> std::same_as<I&>;         { i -= n } -> std::same_as<I&>;         I(j + n);         I(n + j);         I(j - n);         { j - j } -> std::convertible_to</*iota-diff-t*/<I>>;     };	(4)	(仅用于说明*)

1) ranges::iota_view<W, Bound>::iterator 是由 begin() 和 end() 返回的迭代器的类型。

2) 计算两种迭代器类型和类整数类型的差值类型。

• 如果 I 不是整数类型，或者如果它是整数类型并且 sizeof(std::iter_difference_t<I>) 大于 sizeof(I)，那么 /*iota-diff-t*/<I> 是 std::iter_difference_t<I>。
• 否则，如果存在宽度大于 I 的宽度的有符号整数类型，则 /*iota-diff-t*/<I> 是这种有符号整数类型。
• 否则，I 是最宽的整数类型之一，并且 /*iota-diff-t*/<I> 是宽度不小于 I 的宽度的未指定的类有符号整数类型。在这种情况下， /*iota-diff-t*/<I> 是否建模 weakly_incrementable 是未指定的。

3) 指定类型是 incrementable，并且该类型的前缀和后缀 operator-- 运算符具有共同的含义。

4) 指定类型既是 decrementable 又是 totally_ordered，并且该类型及其不同类型之间的 operator+=、 operator-=、 operator+ 和 operator- 运算符具有共同的含义。

/*iterator*/ 模型

• random_access_iterator 如果 W 模型 advanceable (4)，
• bidirectional_iterator 如果 W 模型 decrementable (3)，
• forward_iterator 如果 W 模型 incrementable，以及
• input_iterator 否则。

然而，如果 W 模型 incrementable，它才满足 LegacyInputIterator，否则不满足 LegacyInputIterator。

语义要求

3) 仅当类型 I 满足 decrementable 并且它所包含的所有概念都被建模时，类型 I 才模型 decrementable，并且给定类型 I 的相等对象 a 和 b

• 如果 a 和 b 都在前缀和后缀 operator-- 的域中（即，它们是可递减的），则以下所有条件均为 true
  • std::addressof(--a) == std::addressof(a),
  • bool(a-- == b),
  • bool(((void)a--, a) == --b),
  • bool(++(--a) == b).
• 如果 a 和 b 都在前缀和后缀 operator++ 的域中（即，它们是可递增的），则 bool(--(++a) == b) 为 true。

4) 令 D 表示 /*iota-diff-t*/<I>。 仅当类型 I 满足 advanceable 并且它所包含的所有概念都被建模时，类型 I 才模型 advanceable，并且给定

• 类型 I 的对象 a 和 b 以及
• 类型 D 的值 n，

使得在应用 ++a n 次后，b 可从 a 访问，所有以下条件均得到满足

• (a += n) 等于 b。
• std::addressof(a += n) 等于 std::addressof(a)。
• I(a + n) 等于 (a += n)。
• 对于类型 D 的任意两个正值 x 和 y，如果 I(a + D(x + y)) 是良好定义的，则 I(a + D(x + y)) 等于 I(I(a + x) + y)。
• I(a + D(0)) 等于 a。
• 如果 I(a + D(n - 1)) 是良好定义的，则 I(a + n) 等于 [](I c) { return ++c; }(I(a + D(n - 1)))。
• (b += -n) 等于 a。
• (b -= n) 等于 a。
• std::addressof(b -= n) 等于 std::addressof(b)。
• I(b - n) 等于 (b -= n)。
• D(b - a) 等于 n。
• D(a - b) 等于 D(-n)。
• bool(a <= b) 为 true。

嵌套类型

类型	定义
iterator_concept	一个迭代器标签，见下文
iterator_category （仅当 W 模型 incrementable 且 /*iota-diff-t*/<W> 是整数类型时才存在）	std::input_iterator_tag
value_type	W
difference_type	/*iota-diff-t*/<W>

确定迭代器概念

iterator_concept 定义如下

• 如果 W 模型 advanceable，则 iterator_concept 表示 std::random_access_iterator_tag。
• 否则，如果 W 模型 decrementable，则 iterator_concept 表示 std::bidirectional_iterator_tag。
• 否则，如果 W 模型 incrementable，则 iterator_concept 表示 std::forward_iterator_tag。
• 否则，iterator_concept 表示 std::input_iterator_tag。

数据成员

成员	定义
W value_	当前值 （仅用于说明的成员对象*）

成员函数

std::ranges::iota_view::iterator::iterator

/*iterator*/() requires std::default_initializable<W> = default;	(1)	(自 C++20 起)
constexpr explicit /*iterator*/( W value );	(2)	(自 C++20 起)

1) 值初始化 value_。

2) 使用 value 初始化 value_。

std::ranges::iota_view::iterator::operator*

constexpr W operator*() const     noexcept(std::is_nothrow_copy_constructible_v<W>);		(自 C++20 起)

返回 value_。

示例

运行此代码

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(6, 9).begin()};
    const int& r = *it; // binds with temporary
    assert(*it == 6 and r == 6);
    ++it;
    assert(*it == 7 and r == 6);
}

std::ranges::iota_view::iterator::operator++

constexpr /*iterator*/& operator++();	(1)	(自 C++20 起)
constexpr void operator++(int);	(2)	(自 C++20 起)
constexpr /*iterator*/ operator++(int) requires std::incrementable<W>;	(3)	(自 C++20 起)

1) 等价于 ++value_ ; return *this;。

2) 等价于 ++value_ ;。

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

示例

运行此代码

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(8).begin()};
    assert(*it == 8);
    assert(*++it == 9);
    assert(*it++ == 9);
    assert(*it == 10);
}

std::ranges::iota_view::iterator::operator--

constexpr /*iterator*/& operator--() requires /*decrementable*/<W>;	(1)	(自 C++20 起)
constexpr /*iterator*/operator--(int) requires /*decrementable*/<W>;	(2)	(自 C++20 起)

1) 等价于 --value_ ; return *this;。

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

示例

运行此代码

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(8).begin()};
    assert(*it == 8);
    assert(*--it == 7);
    assert(*it-- == 7);
    assert(*it == 6);
}

std::ranges::iota_view::iterator::operator+=

constexpr /*iterator*/& operator+=( difference_type n )     requires /*advanceable*/<W>;		(自 C++20 起)

更新 value_ 并返回 *this

• 如果 W 是一个 无符号整型类型
  • 如果 n 是非负数，则执行 value_ += static_cast<W>(n)。
  • 否则，执行 value_ -= static_cast<W>(-n)。
• 否则，执行 value_ += n。

示例

运行此代码

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(5).begin()};
    assert(*it == 5);
    assert(*(it += 3) == 8);
}

std::ranges::iota_view::iterator::operator-=

constexpr /*iterator*/& operator-=( difference_type n )     requires /*advanceable*/<W>;		(自 C++20 起)

更新 value_ 并返回 *this

• 如果 W 是一个 无符号整型类型
  • 如果 n 是非负数，则执行 value_ -= static_cast<W>(n)。
  • 否则，执行 value_ += static_cast<W>(-n)。
• 否则，执行 value_ -= n。

示例

运行此代码

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(6).begin()};
    assert(*it == 6);
    assert(*(it -= -3) == 9);
}

std::ranges::iota_view::iterator::operator[]

constexpr W operator[]( difference_type n ) const     requires /*advanceable*/<W>;		(自 C++20 起)

返回 W(value_ + n)。

示例

运行此代码

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(6).begin()};
    assert(*it == 6);
    assert(*(it + 3) == 9);
}

非成员函数

operator==, <, >, <=, >=, <=>(std::ranges::iota_view::iterator)

friend constexpr bool operator==     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::equality_comparable<W>;	(1)	(自 C++20 起)
friend constexpr bool operator<     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W>;	(2)	(自 C++20 起)
friend constexpr bool operator>     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W>;	(3)	(自 C++20 起)
friend constexpr bool operator<=     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W>;	(4)	(自 C++20 起)
friend constexpr bool operator>=     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W>;	(5)	(自 C++20 起)
friend constexpr bool operator<=>     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W> && std::three_way_comparable<W>;	(6)	(自 C++20 起)

1) 返回 x.value_ == y.value_。

2) 返回 x.value_ < y.value_。

3) 返回 y < x。

4) 返回 !(y < x)。

5) 返回 !(x < y)。

6) 返回 x.value_ <=> y.value_。

!= 运算符是从 operator== 合成 的。

这些函数对于普通的非限定查找或限定查找是不可见的，并且只能通过当 iterator 是参数的关联类时的实参依赖查找找到。

operator+(std::ranges::iota_view::iterator)

friend constexpr /*iterator*/ operator+     ( /*iterator*/ i, difference_type n )     requires /*advanceable*/<W>;	(1)	(自 C++20 起)
friend constexpr /*iterator*/ operator+     ( difference_type n, /*iterator*/ i )     requires /*advanceable*/<W>;	(2)	(自 C++20 起)

等价于 i += n; return i;。

这些函数对于普通的非限定查找或限定查找是不可见的，并且只能通过当 iterator 是参数的关联类时的实参依赖查找找到。

operator-(std::ranges::iota_view::iterator)

friend constexpr /*iterator*/ operator-     ( /*iterator*/ i, difference_type n )     requires /*advanceable*/<W>;	(1)	(自 C++20 起)
friend constexpr difference_type operator-     ( const /*iterator*/& x, const /*iterator*/& y )     requires /*advanceable*/<W>;	(2)	(自 C++20 起)

1) 等价于 i -= n; return i;。

2) 令 D 为 difference_type

• 如果 W 是一个 整型类型
  • 如果 W 是有符号整型类型，返回 D(D(x.value_ ) - D(y.value_ ))。
  • 否则，返回 y.value_ > x.value_ ? D(-D(y.value_ - x.value_ )) : D(x.value_ - y.value_ )。
• 否则，返回 x.value_ - y.value_。

这些函数对于普通的非限定查找或限定查找是不可见的，并且只能通过当 iterator 是参数的关联类时的实参依赖查找找到。

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布的行为	正确的行为
P2259R1	C++20	成员 iterator_category 总是被定义	仅当 W 满足 incrementable 时才定义
LWG 3580	C++20	operator+ 和 operator- 的函数体排除了 隐式移动	使其适合隐式移动