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