C++中优先选用std::distance()而非iterator::operator-()的场景有哪些？

核心结论 #

两者定位有明确差异，选用优先级非常清晰：通用场景优先使用std::distance，仅当确认迭代器为随机访问类型、且需要明确表达O(1)时间复杂度语义时，才使用operator-

1. 两种接口的本质区别 #

• operator-（包括迭代器成员重载和全局适配重载）仅随机访问迭代器（RandomAccessIterator）支持，时间复杂度为O(1)，要求两个迭代器属于同一容器、且前序迭代器可通过自增到达后序迭代器。如果对非随机访问迭代器（如std::list的双向迭代器、std::forward_list的前向迭代器）调用operator-，会直接编译失败。
• std::distance是标准库提供的通用适配接口，兼容所有迭代器类别：
  • 若传入的是随机访问迭代器，内部直接调用operator-，性能和直接用operator-完全一致
  • 若传入的是其他类别的迭代器，内部会通过逐次自增起始迭代器直到匹配结束迭代器的方式计算距离，时间复杂度为O(n)

2. 具体适用场景 #

优先使用std::distance的场景 #

• 编写泛型模板代码，迭代器类型不固定的场景：它会自动适配所有合法迭代器类型，不会出现编译错误
• 明确当前迭代器不是随机访问类型的场景：这类迭代器不支持operator-，只能用std::distance完成距离计算

可以使用operator-的场景 #

• 迭代器类型确定为随机访问类型（如std::vector、std::array、原生指针对应的迭代器）
• 需要明确标识当前操作是O(1)复杂度，避免后续维护时误将非随机访问迭代器代入，引发预期外的性能劣化

注意事项 #

两种接口都要求传入的两个迭代器属于同一容器，且起始迭代器可通过自增操作到达结束迭代器，否则会触发未定义行为。

内容的提问来源于stack exchange，提问作者Adrian