命名空间
变体
操作

std::ranges::next

来自 cppreference.com
< cpp‎ | 迭代器
 
 
迭代器库
迭代器概念
迭代器原语
算法概念和实用程序
间接可调用概念
通用算法要求
(C++20)
(C++20)
(C++20)
实用程序
(C++20)
迭代器适配器
迭代器操作
(C++11)  
(C++11)
ranges::next
(C++20)
范围访问
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
在头文件 <iterator> 中定义
调用签名
template< std::input_or_output_iterator I >
constexpr I next( I i );
(1) (自 C++20 起)
template< std::input_or_output_iterator I >
constexpr I next( I i, std::iter_difference_t<I> n );
(2) (自 C++20 起)
template< std::input_or_output_iterator I, std::sentinel_for<I> S >
constexpr I next( I i, S bound );
(3) (自 C++20 起)
template< std::input_or_output_iterator I, std::sentinel_for<I> S >
constexpr I next( I i, std::iter_difference_t<I> n, S bound );
(4) (自 C++20 起)

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

此页面上描述的函数式实体是 _niebloids_,即

在实践中,它们可以作为函数对象实现,或者使用特殊的编译器扩展。

内容

[编辑] 参数

i - 一个迭代器
n - 要前进的元素数量
bound - 表示 i 指向的范围结束的哨兵

[编辑] 返回值

1) 迭代器 i 的后继。
2) 迭代器 i 的第 n 个后继。
3) 等效于 bound 的第一个迭代器。
4) 迭代器 i 的第 n 个后继,或等效于 bound 的第一个迭代器,以先出现的为准。

[编辑] 复杂度

1) 常数。
2) 如果 I 模仿 std::random_access_iterator,则为常数;否则为线性。
3) 如果 IS 都模仿 std::random_access_iterator<I>std::sized_sentinel_for<S, I>,或如果 IS 模仿 std::assignable_from<I&, S>,则为常数;否则为线性。
4) 如果 IS 都模仿 std::random_access_iterator<I>std::sized_sentinel_for<S, I>,则为常数;否则为线性。

[编辑] 可能的实现

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());
    }
}

[编辑] 参见

将迭代器递减给定距离或到边界
(niebloid)[编辑]
将迭代器前进给定距离或到给定边界
(niebloid)[编辑]
(C++11)
递增迭代器
(函数模板) [编辑]