c++ - 输入迭代器的相等性比较

Question

对于输入迭代器，如果其中一个迭代器已失效，比较相等性的要求是什么？

input_iter x = foo();
input_iter y = x;
++x;
return x == y;  // What must this return?

在上面的示例中，取消引用 y 显然是未定义的，但是这样的相等比较的结果是否已定义？读书cppreference.com ，如果两个输入迭代器实际上相同，则肯定是必须比较 true，因为输入迭代器必须满足 EqualityComparable，但我实际上没有看到任何说明如果它们不相同，结果一定是什么。我是否可以总是从 operator== 返回 true(与结束迭代器比较时除外)？

Answer 1

“对于输入迭代器，如果其中一个迭代器已失效，比较相等性的要求是什么？”

没有。引用 ISO/IEC 14882:2003(E)，[lib.input.iterators]，

== is an equivalence relation over its domain, (emphasis added)
bool(a==b) != bool(a!=b) over the domain of == (emphasis added)

还有，

any copies of the previous value of r [prior to ++r] are no longer ... in the domain of ==.

没有要求 == 或 != 对无效的输入迭代器有任何特定的行为。