std::ranges:: next

返回迭代器 i 的第 n 个后继。

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

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

参数

返回值

复杂度

可能的实现

struct next_fn
{
    template<std::input_or_output_iterator I>
    constexpr I operator()(I i) const
    {
        ++i;
        return i;
    }
    template<std::input_or_output_iterator I>
    constexpr I operator()(I i, std::iter_difference_t<I> n) const
    {
        ranges::advance(i, n);
        return i;
    }
    template<std::input_or_output_iterator I, std::sentinel_for<I> S>
    constexpr I operator()(I i, S bound) const
    {
        ranges::advance(i, bound);
        return i;
    }
    template<std::input_or_output_iterator I, std::sentinel_for<I> S>
    constexpr I operator()(I i, std::iter_difference_t<I> n, S bound) const
    {
        ranges::advance(i, n, bound);
        return i;
    }
};
inline constexpr auto next = next_fn();

注释

尽管表达式 ++ x. begin ( ) 通常能够编译通过，但这并非绝对保证： x. begin ( ) 是一个右值表达式，而标准并未要求对右值进行递增操作必须有效。特别是当迭代器以指针形式实现或其 operator++ 具有左值引用限定时， ++ x. begin ( ) 将无法编译，而 ranges :: next ( x. begin ( ) ) 则可以正常编译。

示例

#include <cassert>
#include <iterator>
int main() 
{
    auto v = {3, 1, 4};
    {
        auto n = std::ranges::next(v.begin());
        assert(*n == 1);
    }
    {
        auto n = std::ranges::next(v.begin(), 2);
        assert(*n == 4);
    }
    {
        auto n = std::ranges::next(v.begin(), v.end());
        assert(n == v.end());
    }
    {
        auto n = std::ranges::next(v.begin(), 42, v.end());
        assert(n == v.end());
    }
}

参见