std::experimental::ranges::advance
来自 cppreference.cn
< cpp | experimental | ranges
| namespace { constexpr /* 未指定 */ advance = /* 未指定 */; |
(ranges TS) (定制点对象) |
|
| 调用签名 (Call signature) |
||
| 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。否则，将 i 增加（如果 n 为负则减少）n 次。如果 n 为负且 I 未建模 BidirectionalIterator，则行为未定义。2) 如果满足 Assignable<I&, S>，则等效于 i = std::move(bound)。
否则，如果
[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)。
否则，将 i 增加（如果 n 为负则减少）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 的每个翻译单元中，它都指向定制点对象的相同实例。（这意味着它可以在内联函数和函数模板等中自由使用，而不会违反 单定义规则。）
[编辑] 返回值
1,2) (无)
3) 因达到 bound 而未执行的增/减次数。换句话说，n - M，其中
M 是从 i 的起始位置到结束位置的距离，如果结束位置在起始位置之前，则为负数。[编辑] 示例
| 本节不完整 原因：无示例 |
[编辑] 参阅
| 按给定距离前进迭代器 (函数模板) | |
| 返回迭代器与哨兵之间，或范围的起始与结束之间的距离 (函数模板) | |
| 递增迭代器 (函数模板) | |
| 递减迭代器 (函数模板) |
