std::ranges::prev

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

迭代器库

迭代器概念
间接可读 (C++20) 间接可写 (C++20) 弱可递增 (C++20) 可递增 (C++20) is-integer-like is-signed-integer-like (C++20)(C++20)	sentinel_for (C++20) sized_sentinel_for (C++20) 输入迭代器 (C++20) 输出迭代器 (C++20) 输入或输出迭代器 (C++20)	前向迭代器 (C++20) 双向迭代器 (C++20) 随机访问迭代器 (C++20) 连续迭代器 (C++20)
迭代器原语
input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20)	iter_value_titer_difference_titer_reference_titer_const_reference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++20)(C++23)(C++20)(C++20)	迭代器 (在 C++17 中已弃用) iterator_traits incrementable_traits (C++20) indirectly_readable_traits (C++20)
算法概念和工具
间接可调用概念
indirectly_unary_invocableindirectly_regular_unary_invocable (C++20)(C++20)	间接一元谓词 (C++20) 间接二元谓词 (C++20)	间接等价关系 (C++20) 间接严格弱序 (C++20)
通用算法要求
间接可移动 (C++20) 间接可移动可存储 (C++20) 间接可复制 (C++20)	间接可复制可存储 (C++20)   间接可交换 (C++20) 间接可比较 (C++20)	可置换 (C++20) 可合并 (C++20) 可排序 (C++20)
工具
indirect_result_t (C++20)	projected (C++20)	projected_value_t (C++26)
迭代器适配器
reverse_iterator make_reverse_iterator (C++14) move_iterator (C++11) make_move_iterator (C++11) default_sentinel_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_sentinel (C++20)(C++20)	front_insert_iterator back_insert_iterator inserter insert_iterator front_inserter back_inserter move_sentinel (C++20)	common_iterator (C++20) counted_iterator (C++20) basic_const_iterator (C++23) const_iterator (C++23) const_sentinel (C++23) make_const_iterator (C++23) make_const_sentinel (C++23)
流迭代器 istream_iterator    ostream_iterator istreambuf_iterator ostreambuf_iterator	迭代器自定义点 ranges::iter_move (C++20) ranges::iter_swap (C++20)
迭代器操作 advance distance prev (C++11)   next (C++11) ranges::advance (C++20) ranges::distance (C++20) ranges::prev (C++20) ranges::next (C++20)	范围访问 begincbegin (C++11)(C++14) rbegincrbegin (C++14)(C++14)   endcend (C++11)(C++14) rendcrend (C++14)(C++14)   sizessize (C++17)(C++20) empty (C++17) data (C++17)

 

定义在头文件 <iterator> 中
调用签名
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) 常数。

2,3) 如果 I 模拟 std::random_access_iterator<I>，则为常数；否则为线性。

可能的实现

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

另请参阅

ranges::next (C++20)	将迭代器增加给定距离或到边界 (niebloid)
ranges::advance (C++20)	将迭代器增加给定距离或到给定边界 (niebloid)
prev (C++11)	递减迭代器 (函数模板)