フェイルファストイテレータは、スロー 'ConcurrentModificationException'がスローされたときに、基になる構造が変更されていることをどのように知るようになりますか？

HashMapクラスのソースコードを確認しました。特に「modCount」を検索します。たとえば、プライベートHashIteratorクラスは、インスタンスが作成されてから（ 'remove'メソッドを使用する場合を除いて）インスタンスが変更された回数のカウントを保持します。

'nextEntry'メソッドの場合、カウントが変更されたかどうかが確認され、その例外がスローされる可能性があります。'remove'メソッドもカウントをチェックしますが、成功すると、カウントを新しい値にリセットします。これは、「remove」メソッドを使用して、例外を取得せずにエントリを削除できるようにするためです。

他のメソッド（例：「clear」）は「modCount」をインクリメントします。上記のコードの抜粋が示すように、「nextEntry」の次の呼び出しで例外が発生します。

例外がスローされるという保証はありません。

API：

http://docs.oracle.com/javase/7/docs/api/java/util/ConcurrentModificationException.html

一般的に言って、同期されていない同時変更が存在する場合にハード保証を行うことは不可能であるため、フェイルファスト動作は保証できないことに注意してください。フェイルファスト操作は、ベストエフォートベースでConcurrentModificationExceptionをスローします。したがって、その正確性をこの例外に依存するプログラムを作成するのは誤りです。ConcurrentModificationExceptionは、バグを検出するためにのみ使用する必要があります。