C++入射边迭代器相等性定义探讨：契合STL迭代器规范的方案

• 核心结论：迭代器相等必须同时满足「指向同一条边」且「处于同一个链表」，也就是i == j要保证++i == ++j和--i == --j成立，这才符合STL迭代器的核心不变量。

• 为什么不能只判断指向同一条边：
  STL迭代器的本质是遍历序列中的位置标识，而非单纯指向内存对象的指针。同一个边对象可能存在于两个完全独立的遍历序列（出边链表、入边链表）中，若仅以&*i == &*j作为相等条件，会导致以下问题：

  • 违反STL迭代器的基本预期：相等的迭代器执行相同的遍历操作（++/--）必须得到相同结果，否则依赖迭代器相等的标准算法（如std::find、std::distance）会出现逻辑错误。
  • 语义混淆：熟悉STL的开发者会默认i == j意味着两者属于同一个遍历序列，后续操作行为一致，若打破这个约定，会让代码可读性和可维护性大幅下降。

• 特殊需求的处理方式：
  如果确实需要判断两个迭代器是否指向同一条边，不要重载operator==，而是单独提供一个成员函数，比如：

  bool points_to_same_edge(const EdgeIterator& other) const {
      return &*this == &*other;
  }
  

  这样既保留了STL迭代器的标准语义，又能满足业务需求。

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