std::experimental::ranges::advance

< cpp‎ | experimental‎ | ranges
 
C++
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
概念 (概念 TS)
范围 (范围 TS)
数学特殊函数 (特殊函数 TR)
 
范围
 
迭代器库
迭代器概念
间接可调用概念
                                                  
                                                  
                                                  
常用算法要求
                                                  
概念工具
迭代器工具及运算
advance
迭代器特性
迭代器适配器
流迭代器
 
定义于头文件 <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 的开始位置到结束位置的距离，而若结束位置在开始位置之前则为负。

示例

本节未完成
原因：暂无示例

参阅

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