std::distance适用于随机访问迭代器(O(1))、前向/双向迭代器(O(n)),不适用于无效、跨容器或类型不匹配的迭代器;使用时需确保同容器、有效且first在last前。

std::distance 适用于哪些迭代器类型
std::distance 不是万能的,它对迭代器类别有明确要求。随机访问迭代器(如 std::vector::iterator、std::string::iterator)能 O(1) 算出距离;而前向/双向迭代器(如 std::list::iterator、std::map::iterator)会退化为 O(n),内部用自增遍历计数。
若误对 std::list 大量调用 std::distance,可能引发性能抖动,尤其在循环中反复计算两个远距离迭代器的距离时。
- 安全场景:
std::vector、std::deque、std::array、C 风格数组指针 - 谨慎场景:
std::list、std::forward_list、std::map、std::set - 编译报错场景:输入不是合法迭代器,或两个迭代器不来自同一容器(标准未定义行为,部分实现会静默出错)
必须确保两个迭代器属于同一容器且可比较
传给 std::distance(first, last) 的两个迭代器,不仅类型要匹配,还必须指向同一容器——否则行为未定义。比如把 vec1.begin() 和 vec2.end() 一起传入,即使类型相同,结果也完全不可靠。
更隐蔽的问题是:对已失效的迭代器调用 std::distance(例如容器被 clear() 或 resize() 后仍使用旧迭代器),会导致崩溃或垃圾值。
立即学习“C++免费学习笔记(深入)”;
- 检查方式:调试时可用断言
assert(first (仅对随机访问迭代器有效) - 安全习惯:距离计算前,确认容器未被修改;必要时用索引代替迭代器(如
it - vec.begin()) - 替代方案:对
std::vector,直接用it - c.begin()比std::distance(c.begin(), it)更快且语义更清晰
常见错误:混淆参数顺序或忽略返回值类型
std::distance 返回的是 std::iterator_traits,通常是 std::ptrdiff_t(有符号整型)。若将结果赋给 size_t 或 unsigned int,当 first > last 时会发生意外截断(虽然按规范 first 应在 last 之前,但误用仍可能导致负值溢出)。
std::vectorv = {1, 2, 3, 4, 5}; auto it1 = v.begin() + 2; // points to 3 auto it2 = v.begin() + 1; // points to 2 auto d = std::distance(it2, it1); // OK: returns 1 // auto bad = static_cast (std::distance(it1, it2)); // 错!可能得到极大正数
- 永远用
auto或显式std::ptrdiff_t接收返回值 - 不要假设
first一定“小于”last:若逻辑上允许反向,先做std::minmax或手动判断方向 - 注意:对
std::forward_list,只能传first在前、last在后,否则遍历会无限下去(无反向操作)
与容器 size() 方法的差异和取舍
std::distance(c.begin(), c.end()) 在语义上等价于 c.size(),但开销不同:对支持 size() 的容器(如 std::vector、std::list),c.size() 是 O(1);而 std::distance 对 std::list 是 O(n)。
所以除非你只有迭代器没有容器对象(例如泛型算法中只接收一对迭代器),否则别用 std::distance 替代 size()。
- 推荐:
container.size()—— 当你持有容器对象 - 必需:
std::distance(first, last)—— 当你只有迭代器(如算法模板参数、子范围切片) - 陷阱:对
std::basic_string_view这类非容器类型,没有size()成员,但迭代器满足随机访问,此时std::distance是合理选择
实际写泛型代码时,最容易被忽略的是迭代器有效性边界和类型适配——std::distance 看似简单,但它把底层迭代器模型的约束全暴露出来了。











