为什么迭代器使用“!=”而不是“<”？

我习惯这样写循环：

for (std::size_t index = 0; index < foo.size(); index++)
{
    // Do stuff with foo[index].
}

但是当我在其他人的代码中看到迭代器循环时，它们看起来像这样：

for (Foo::Iterator iterator = foo.begin(); iterator != foo.end(); iterator++)
{
    // Do stuff with *Iterator.
}

我找到了iterator != foo.end()令人反感。如果出现以下情况，也可能很危险：iterator增加超过一。

使用起来似乎更“正确”iterator < foo.end()，但我从未在实际代码中看到过这一点。为什么不？

所有迭代器都是相等可比较的。只有随机访问迭代器具有相关可比性。输入迭代器、正向迭代器和双向迭代器没有相关可比性。

因此，使用比较!=比使用的比较更通用和灵活<.

迭代器有不同的类别，因为并非所有元素范围都具有相同的访问属性。例如，

• 如果你有一个数组（元素的连续序列）的迭代器，那么对它们进行关系比较就很简单了；您只需比较指向元素的索引（或指向它们的指针，因为迭代器可能只包含指向元素的指针）；

• 如果您将迭代器放入链表中，并且想要测试一个迭代器是否“小于”另一个迭代器，则必须从一个迭代器遍历链表的节点，直到到达另一个迭代器或到达末尾列表中的。

规则是迭代器上的所有操作都应具有恒定的时间复杂度（或者至少具有亚线性时间复杂度）。您始终可以在恒定时间内执行相等比较，因为您只需比较迭代器是否指向同一对象。因此，所有迭代器都是相等可比较的。

此外，不允许将迭代器递增到超过其所指向范围的末尾。所以，如果你最终遇到这样的情况it != foo.end()不做同样的事情it < foo.end()，您已经有未定义的行为，因为您已经迭代到了范围的末尾。

对于指向数组的指针也是如此：不允许将指针增加到超出数组末尾一位；这样做的程序会表现出未定义的行为。 （对于索引来说显然不是这样，因为索引只是整数。）

某些标准库实现（例如 Visual C++ 标准库实现）具有有用的调试代码，当您使用这样的迭代器执行非法操作时，这些代码将引发断言。