std::ranges::next
来自 cppreference.com
在头文件 <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) 常数。
3) 如果
I
和 S
都模仿 std::random_access_iterator<I> 和 std::sized_sentinel_for<S, I>,或如果 I
和 S
模仿 std::assignable_from<I&, S>,则为常数;否则为线性。[编辑] 可能的实现
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()); } }
[编辑] 参见
(C++20) |
将迭代器递减给定距离或到边界 (niebloid) |
(C++20) |
将迭代器前进给定距离或到给定边界 (niebloid) |
(C++11) |
递增迭代器 (函数模板) |