C++如何使用std::prev和std::next-C++-PHP中文网

std::prev 和 std::next 是专为满足 legacybidirectionaliterator 或更强要求的迭代器设计的类型安全位移函数，需包含头文件，参数 n ≥ 0，返回新迭代器且不越界检查。

c++如何使用std::prev和std::next

std::prev 和 std::next 是什么，能不能直接用？

它们不是“万能指针偏移工具”，而是专为迭代器设计的、带类型安全的位移函数。不能对 raw pointer 或普通数组下标直接用，也不能对 std::vector::iterator 以外的任意类型无脑套用——比如 std::list::iterator 支持，但 std::unordered_map::iterator 虽然能编译，却可能因底层实现导致未定义行为（尤其在插入/删除后）。

真正安全的使用前提是：迭代器类型必须满足 LegacyBidirectionalIterator（双向迭代器）或更强要求（如随机访问）。std::vector、std::deque、std::list 的迭代器都满足；std::set、std::map 也满足；但 std::forward_list::iterator 只是单向的，std::prev 在它身上会编译失败。

怎么写才不会崩：参数和返回值要注意什么？

std::next 和 std::prev 都在 <iterator></iterator> 头文件里，用法简单但参数容易错：

std::next(it) 等价于 std::next(it, 1)，返回新迭代器，不修改原 it
std::prev(it, n) 中 n 必须 ≥ 0；传负数会触发未定义行为（不是“反向 next”，别这么试）
返回类型是 decltype(it)，不是 auto 就完事——如果 it 是 const_iterator，返回的也是 const_iterator，类型严格保持
没有越界检查：std::next(it, 5) 超出容器末尾，行为未定义（不像 at() 抛异常）

示例：

#include <iterator>
#include <vector>
std::vector<int> v = {1,2,3};
auto it = v.begin();
auto it2 = std::next(it, 2); // it2 指向 3，it 本身没变
// auto it3 = std::prev(it, 1); // 编译失败：it == begin()，prev 会越界，但编译器不拦，运行时 UB</int></vector></iterator>

替代手写 ++/-- 的真实好处在哪？

表面看只是少敲两行 ++it，实际价值在泛化和可读性：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

对 std::list 这类双向链表，std::next(it, 3) 比循环 ++it 三次更清晰表达“跳 3 步”意图
模板代码中避免硬写 ++it：某些迭代器重载了 operator++ 但语义特殊（比如输入流迭代器），std::next 强制走标准语义路径
与 std::advance 对比：std::advance(it, n) 是就地修改，而 std::next 返回新值——更适合函数式风格或 range-based 场景（比如传给 std::make_pair 构造区间）

常见误用：把 std::next 当成“安全版 ++”——它不检查 end()，也不处理空容器。真要防越界，得自己判断：if (std::distance(it, v.end()) >= 2) { auto p = std::next(it, 2); }

和 C++20 ranges::next / ranges::prev 有什么区别？

如果你项目已用 C++20 且引入 <ranges></ranges>，注意：std::ranges::next 和 std::ranges::prev 是不同函数——它们接受一个可选的 Sentinel 参数，支持对 sentinel-aware range（如 null-terminated string view）做边界感知位移。