std::experimental::ranges::next

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行性扩展 (并行性 TS)

并行性扩展 2 (并行性 TS v2)

并发性扩展 (并发性 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用工具

迭代器

范围

算法

 

迭代器库

迭代器概念
可读 可写 弱自增 自增	迭代器 (Iterator) 哨兵 (Sentinel) 大小哨兵	输入迭代器 前向迭代器 双向迭代器 随机访问迭代器	输出迭代器
间接可调用概念
间接一元可调用间接常规一元可调用	间接一元谓词	间接关系	间接严格弱序
常用算法要求
间接可移动 间接可移动可存储	间接可复制 间接可复制可存储	间接可交换 间接可比较	可排列 可合并 可排序
概念工具
indirect_result_of	projected
迭代器工具与操作
iter_move iter_swap	advance distance	next prev
迭代器特征
difference_type value_type reference_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器适配器
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	danglingborrowed_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定义于头文件 <experimental/ranges/iterator>
namespace {     constexpr /* 未指定 */ next = /* 未指定 */; }		(ranges TS) (定制点对象)
调用签名 (Call signature)
template< Iterator I > constexpr I next( I i );	(1)
template< Iterator I > constexpr I next( I i, ranges::difference_type_t<I> n );	(2)
template< Iterator I, Sentinel<I> S > constexpr I next( I i, S bound );	(3)
template< Iterator I, Sentinel<I> S > constexpr I next( I i, ranges::difference_type_t<I> n, S bound );	(4)

将迭代器 i 向前移动 n 次，或者直到达到 bound，以先发生者为准，并返回前进后的迭代器。

1) 等价于 ++i; return i;。

2) 等价于 ranges::advance(i, n); return i;。

3) 等价于 ranges::advance(i, bound); return i;。

4) 等价于 ranges::advance(i, n, bound); return i;。

自定义点对象

名称 ranges::next 表示一个 自定义点对象，它是一个 函数对象，属于一个 字面量 Semiregular 类类型（为便于说明，表示为 NextT）。NextT 的所有实例都相等。因此，ranges::next 可以自由复制，并且其副本可以互换使用。

给定一组类型 Args...，如果 std::declval<Args>()... 满足上述 ranges::next 的参数要求，则 NextT 将满足 ranges::Invocable<const NextT, Args...>。否则，NextT 的任何函数调用操作符都不会参与重载解析。

在每个定义 ranges::next 的翻译单元中，它都指向自定义点对象的同一个实例。(这意味着它可以在内联函数和函数模板等中自由使用，而不会违反单一定义规则)。

返回值

前进后的迭代器。

注意

即使省略重载 (2) 的 n 的行为如同 n 为 1，省略重载 (4) 的 n 的行为实际上如同 n 为无穷大（总是前进到 bound）。

参阅

next (C++11)	递增迭代器 (函数模板)
advance	按给定距离前进迭代器 (函数模板)
prev	递减迭代器 (函数模板)
distance	返回迭代器与哨兵之间，或范围的起始与结束之间的距离 (函数模板)