std::experimental::ranges::advance

来自cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
 
 
迭代器库
迭代器概念
间接可调用概念
                                                  
                                                  
                                                  
常用算法要求
                                                  
概念工具
迭代器工具及运算
advance
迭代器特性
迭代器适配器
流迭代器
 
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) 应当代表一个范围,且 IS 应当是同一类型,且 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 的开始位置到结束位置的距离,而若结束位置在开始位置之前则为负。

示例

参阅

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