std::distance 不适用于所有迭代器类型，仅对随机访问迭代器高效（O(1)），对双向或前向迭代器退化为 O(n) 线性遍历；误用会导致性能问题或未定义行为。
std::distance 适用于所有迭代器类型吗？
不适用。只有随机访问迭代器（如 std::vector::iterator、std::string::iterator）能用 std::distance 高效计算距离（O(1)），而双向或前向迭代器（如 std::list::iterator、std::map::iterator）会退化为逐个遍历（O(n)）。误以为它总是快，是常见误解。
实操建议：
- 对
std::vector或std::array，放心用std::distance(it1, it2) - 对
std::list或std::set，先确认是否真需要距离——很多时候可改用索引逻辑或重构算法避免调用 - 若必须用于非随机访问容器且性能敏感，考虑换用支持随机访问的容器，或缓存位置信息
为什么 vector.begin() + n 不等于 distance 的结果？
这不是 bug，而是语义混淆。vec.begin() + n 是指针算术（仅对随机访问迭代器合法），而 std::distance(a, b) 计算的是从 a 到 b 的步数，二者在值上通常相等，但前提必须是 a 和 b 属于同一容器且 b 可达。
常见错误现象：
立即学习“C++免费学习笔记（深入）”；
- 传入不同容器的迭代器（如
std::distance(v.begin(), l.begin())）→ 行为未定义 -
b在a之前（如std::distance(v.end(), v.begin())）→ 返回正数，但逻辑上“反向距离”需手动处理符号 - 迭代器失效后仍调用 → 崩溃或乱值，尤其在容器被修改后
如何安全获取两个 vector 迭代器的距离？
最稳妥的方式是确保它们来自同一 std::vector 实例，并使用 std::distance。不要手算指针差（如 it2 - it1），虽然对 vector 有效，但会降低可读性且无法泛化。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
示例：
std::vector<int> v = {1, 2, 3, 4, 5};
auto it1 = v.begin() + 1; // 指向 2
auto it2 = v.begin() + 4; // 指向 5
auto dist = std::distance(it1, it2); // 结果为 3
注意点：
- 编译期无法检查迭代器归属，靠人工保证；可加断言：
assert(it1 <= it2 && it2 - it1 <= (long)v.size()); - 若需负距离（即
it2在it1左侧），std::distance仍返回非负值，要自己判断方向并加负号 - C++20 起可配合
std::ranges::distance，但底层行为一致，不解决归属问题
list 或 map 中调用 distance 有多慢？
线性时间。以 std::list 为例，std::distance(it1, it2) 会从 it1 开始 ++ 直到等于 it2，中间多少节点就走多少步。10 万元素的 list，跨半程调用一次就是 5 万次递增操作。
实操建议：
- 避免在循环内反复调用（比如每轮都算当前迭代器到 end 的距离）
- 若需频繁查位置，改用
std::vector或带索引结构（如boost::container::flat_map） - 对
std::map，没有高效方式获取键的“排名”，std::distance(begin(), lower_bound(key))就是 O(n)，不是 O(log n)
真正难的不是怎么写这行代码，而是意识到：当你开始问“怎么算两个迭代器距离”时，往往说明设计已偏离了该容器的使用意图。
