std::ranges:: prev

返回迭代器 i 的第 n 个前驱。

本页面描述的函数式实体是 算法函数对象 （非正式称为 niebloids ），即：

• 在调用其中任何函数时，都不能显式指定模板参数列表。
• 它们对 实参依赖查找 不可见。
• 当通过 常规非限定查找 在函数调用运算符左侧发现其中任何函数名时，将抑制 实参依赖查找 。

参数

返回值

复杂度

可能的实现

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

参见