入力イテレータの等価比較

Question

入力イテレータの場合、イテレータの1つが無効化されている場合、等価性を比較するための要件は何ですか？上記の例で

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

、yを逆参照すると、明らかに不定であるが、定義されたこのような等価比較の結果ですか？ cppreference.comを読むと、入力イテレータはEqualityComparableを満たさなければならないので、2つの入力イテレータが実際に同じ場合はtrueを比較する必要がありますが、実際には結果が何であるかはわかりません。同じ。 常にを返すtrueoperator==から返すことができますか？（終了イテレータとの比較を除いて）？

Answer 1

「入力イテレータの場合、イテレータの一つが無効とされている場合は平等を比較するための要件は何ですか？」

何もありません。 ISO/IECを引用14882：2003（E）、[lib.input.iterators]、

==はドメイン上bool(a==b) != bool(a!=b)
（強調追加）、そのドメイン上同値関係あります==（強調追加）

そして、

rの前の値（++rより前）のコピーは、 ... ==のドメインではなくなりました。

==又は!=が無効入力イテレータに対する任意の特定の挙動を有するという必要はありません。