std::experimental::ranges::advance

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

技术规范

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

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

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

 

范围

概念

通用工具

迭代器

范围

算法

 

迭代器库

迭代器概念
Readable Writable WeaklyIncrementable Incrementable	Iterator Sentinel SizedSentinel	InputIterator ForwardIterator BidirectionalIterator RandomAccessIterator	OutputIterator
间接可调用概念
IndirectUnaryInvocableIndirectRegularUnaryInvocable	IndirectUnaryPredicate	IndirectRelation	IndirectStrictWeakOrder
常用算法要求
IndirectlyMovable IndirectlyMovableStorable	IndirectlyCopyable IndirectlyCopyableStorable	IndirectlySwappable IndirectlyComparable	Permutable Mergeable Sortable
概念工具
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	danglingsafe_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定义于头文件 <experimental/ranges/iterator>
namespace {     constexpr /* unspecified */ advance = /* unspecified */; }		(范围 TS) (定制点对象)
调用签名
template< Iterator I > constexpr void advance(I& i, ranges::difference_type_t<I> n);	(1)
template< Iterator I, Sentinel<I> S > constexpr void advance(I& i, S bound);	(2)
template< Iterator I, Sentinel<I> S > constexpr ranges::difference_type_t<I> advance(I& i, ranges::difference_type_t<I> n, S bound);	(3)

前进迭代器 i n 次，或直至抵达 bound ，先到为止。

1) 若 I 满足 RandomAccessIterator ，则等价于 i += n 。否则自增（或若 n 为负则自减） i n 次。若 n 为负且 I 不满足 BidirectionalIterator 则行为未定义。

2) 若满足 Assignable<I&, S> ，则等价于 {{{1}}} 。

否则，若 [i, bound) 不代表范围，则行为未定义。

否则，若 SizedSentinel<S, I> 得到满足，则等价于 ranges::advance(i, bound - i) 。

否则，自增 i 直至 i == bound 。

3) 若 SizedSentinel<S, I> 得到满足，则若 |n| >= |bound - i| 则等价于 ranges::advance(i, bound) ，否则等价于 ranges::advance(i, n) 。

否则自增（或若 n 为负则自减） i n 次或直至 i == bound ，先到为止。

若 n > 0 ，则 [i, bound) 应当代表一个范围；若 n == 0 ，则 {{[i, bound)}} 或 [bound, i) 应当代表一个范围；若 n < 0 ，则 [bound, i) 应当代表一个范围，且 I 与 S 应当是同一类型，且 I 必须满足 BidirectionalIterator 。否则，行为未定义。

定制点对象

名称 ranges::advance 代表一个定制点对象，它是字面 Semiregular 类类型的函数对象（为说明目的以 AdvanceT 表示）。AdvanceT 的所有实例均相等。从而能自由地复制 ranges::advance ，且能交替使用其副本。

给定类型集合 Args... ，若 std::declval<Args>()... 满足上面给 ranges::advance 的参数要求，则 AdvanceT 将满足 ranges::Invocable<const AdvanceT, Args...> 。否则，没有 AdvanceT 的函数调用运算符参与重载决议。

在每个定义 ranges::advance 的翻译单元中，它都指代定制点对象的同一实例。（这表示能自由地在类似 inline 函数和函数模板的东西中使用它，而不违反单一定义规则。）

返回值

1-2) （无）

3) 由于抵达 bound 而不进行的自增/自减次数。换言之为 n - M ，其中 M 是从 i 的开始位置到结束位置的距离，而若结束位置在开始位置之前则为负。

参阅

advance	令迭代器前进给定的距离 (函数模板)
distance	返回迭代器和哨位之间的距离，或范围起始和结尾间的距离 (函数模板)
next	自增迭代器 (函数模板)
prev	自减迭代器 (函数模板)