std::prev 和 std::next 不能直接用于 vector::iterator 偏移 5 是因它们非加法运算符，而是基于 std::advance 封装、依赖迭代器类别的移动函数；对随机访问迭代器为 o(1)，对双向迭代器为 o(n)，且不检查越界、负偏移受限于迭代器类别，使用时需确保有效性与类型匹配。
std::prev 和 std::next 为什么不能直接用在 vector::iterator 上偏移 5？
因为它们不是“加法运算符”，而是基于 std::advance 封装的迭代器移动函数，底层依赖迭代器类别。对 vector 这类随机访问迭代器，std::next(it, 5) 是 O(1)；但对 list 的双向迭代器，它会循环调用 ++it 5 次，是 O(n)。
常见错误现象：std::next(it, 1000000) 在 std::list 上卡顿明显，而你以为只是“写法不同”。
- 必须确保传入的迭代器有效且未越界——
std::next不检查，越界后行为未定义 - 偏移量为负数时，
std::next(it, -3)等价于std::prev(it, 3)，但仅对双向或随机访问迭代器合法；输入前向迭代器（如std::forward_list::iterator）会编译失败 - 不要用
std::prev(std::end(container), 1)替代std::prev(std::end(container))：后者更简洁，且避免隐式类型转换歧义
std::prev(it) 和 --it 的行为差异在哪？
std::prev(it) 返回新迭代器，原 it 不变；--it 是就地递减并返回引用。这是值语义和引用语义的根本区别。
使用场景：想保留原始位置做多次计算时，std::prev 更安全；循环中需修改迭代器状态时，--it 更自然。
立即学习“C++免费学习笔记（深入）”；
-
auto a = std::prev(it); auto b = std::prev(it);→ 两个独立副本，都指向同一前驱位置 -
auto a = --it; auto b = --it;→it被改两次，a和b指向不同位置 - 对输入迭代器（如
std::istream_iterator），--it非法，但std::prev同样不支持——编译时报错，错误信息通常是no match for 'operator--'
std::next(it, n) 编译失败的三个典型原因
错误通常不是“函数不存在”，而是模板推导或约束失败。最常踩的坑是误把整数常量当迭代器传进去，或混用 const/non-const 迭代器。
- 传了
int或size_t当迭代器：比如std::next(5, 2)→ 编译器找不到匹配的std::next版本 - 容器是
const，却用非const_iterator：例如const std::vector<int> v{1,2,3}; auto it = v.begin(); std::next(it, 1);</int>→it类型是std::vector<int>::const_iterator</int>，没问题；但如果手动写了std::vector<int>::iterator it = v.begin();</int>就会编译失败 - 偏移后可能越界，但编译器不报错：比如
std::next(v.begin(), v.size())是合法的（指向end()），但std::next(v.begin(), v.size() + 1)是未定义行为，运行时崩溃或静默出错
替代方案：什么时候该放弃 std::prev/std::next？
当逻辑涉及频繁、大步长、或条件性偏移时，用 +/- 运算符更直观高效——前提是确定是随机访问迭代器。
性能影响：对 std::vector、std::deque、std::string，it + n 和 std::next(it, n) 生成的汇编几乎一致；但前者更易读，也更容易被编译器优化掉冗余计算。
- 写算法模板时，如果只支持随机访问迭代器，直接用
it + n更清晰；若要兼容所有迭代器类别，才用std::next -
std::distance(a, b)和std::next(a, n)是互逆操作，但注意：两者都要求迭代器在同一序列中，跨容器调用结果未定义 - 别为了“统一风格”强行把
it + 1改成std::next(it)——可读性和意图表达反而下降
最容易被忽略的一点：这些函数不处理空容器边界。哪怕你写了 if (!v.empty()) { auto last = std::prev(v.end()); }，也要意识到 v.end() 本身在空容器里是合法但不可解引用的，而 std::prev(v.end()) 在空容器上调用就是越界。
