std::ranges::prev
来自 cppreference.cn
< cpp | 迭代器 (iterator)
定义于头文件 <iterator> |
||
调用签名 (Call signature) |
||
template< std::bidirectional_iterator I > constexpr I prev( I i ); |
(1) | (C++20 起) |
template< std::bidirectional_iterator I > constexpr I prev( I i, std::iter_difference_t<I> n ); |
(2) | (C++20 起) |
template< std::bidirectional_iterator I > constexpr I prev( I i, std::iter_difference_t<I> n, I bound ); |
(3) | (C++20 起) |
返回迭代器 i 的第 n 个前驱。
本页描述的类函数实体是 算法函数对象(非正式地称为 niebloids),即
目录 |
[编辑] 参数
i | - | 一个迭代器 |
n | - | i 应该倒退的元素数量 |
bound | - | 表示 i 指向的范围的起始迭代器 |
[编辑] 返回值
1) i 的前驱。
2) 迭代器 i 的第 n 个前驱。
3) 迭代器 i 的第 n 个前驱,或第一个与 bound 相等的迭代器,以先出现的为准。
[编辑] 复杂度
1) 常数。
[编辑] 可能的实现
struct prev_fn { template<std::bidirectional_iterator I> constexpr I operator()(I i) const { --i; return i; } template<std::bidirectional_iterator I> constexpr I operator()(I i, std::iter_difference_t<I> n) const { ranges::advance(i, -n); return i; } template<std::bidirectional_iterator I> constexpr I operator()(I i, std::iter_difference_t<I> n, I bound) const { ranges::advance(i, -n, bound); return i; } }; inline constexpr auto prev = prev_fn(); |
[编辑] 注意
尽管表达式 --r.end() 对于容器通常可以编译,但并不保证如此:r.end() 是一个右值表达式,并且没有迭代器要求指定对右值的递减操作保证有效。特别是当迭代器作为指针实现或其 operator--
是左值引用限定时,--r.end() 不会编译,而 ranges::prev(r.end()) 会编译。
对于不实现 ranges::common_range 的范围,这个问题更加严重。例如,对于某些底层范围,ranges::transform_view::end 的返回类型与 ranges::transform_view::begin 不同,因此 --r.end() 将不会编译。这不是 ranges::prev
能解决的问题,但有其他变通方法。
[编辑] 示例
运行此代码
#include <iostream> #include <iterator> #include <vector> int main() { std::vector<int> v{3, 1, 4}; auto pv = std::ranges::prev(v.end(), 2); std::cout << *pv << '\n'; pv = std::ranges::prev(pv, 42, v.begin()); std::cout << *pv << '\n'; }
输出
1 3
[编辑] 另请参阅
(C++20) |
按给定距离或到边界递增迭代器 (算法函数对象) |
(C++20) |
将迭代器前进指定距离或到指定边界 (算法函数对象) |
(C++11) |
递减迭代器 (函数模板) |