std::experimental::ranges::advance
来自cppreference.com
< cpp | experimental | ranges
| 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> |
(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 的开始位置到结束位置的距离，而若结束位置在开始位置之前则为负。示例
| 本节未完成 原因：暂无示例 |
参阅
| 令迭代器前进给定的距离 (函数模板) | |
| 返回迭代器和哨位之间的距离，或范围起始和结尾间的距离 (函数模板) | |
| 自增迭代器 (函数模板) | |
| 自减迭代器 (函数模板) |
