命名空间
变体
操作

std::ranges::prev

来自 cppreference.cn
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
工具
迭代器适配器
 
定义于头文件 <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) 常数。
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

[编辑] 另请参阅

按给定距离或到边界递增迭代器
(算法函数对象)[编辑]
将迭代器前进指定距离或到指定边界
(算法函数对象)[编辑]
递减迭代器
(函数模板) [编辑]