输入迭代器的相等比较

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],

== 是在其域上的等价关系，（强调）
bool(a==b) != bool(a!=b) 在==的域上（强调）

还有，

r [++r 之前] 的先前值的任何副本不再 ...在==的域中。

对于无效的输入迭代器，== 或 != 没有任何特殊行为。