在下面的代碼片段中，為 ArrayList 創建了一個迭代器，之后 ArrayList 的結構發生了變化。然后使用迭代器。ArrayList<Integer> list = new ArrayList<>(2);list.add(1);Iterator<Integer> itr = list.iterator();list.clear();list.add(2);list.add(3);while (itr.hasNext()) {    System.out.println(itr.next());}正如預期的那樣， aConcurrentModificationException被拋出itr.next()?，F在，看看這個：ArrayList<Integer> list = new ArrayList<>(2);list.add(1);int modCount = 1;Iterator<Integer> itr = list.iterator();do {    list.clear();    list.add(2);    list.add(3);    modCount += 3;} while (modCount != 1);while (itr.hasNext()) {    System.out.println(itr.next());}幾秒后，執行結束，沒有任何異常，結果為：23ArrayList 在結構上發生了變化，它的最終狀態與第一個代碼片段相同，但仍然沒有拋出異常，即使在第一個代碼片段中它拋出了異常。查看 ArrayList 源代碼后，這是意料之中的，因為底層 modCount 是 int 類型。對 ArrayList 進行足夠的修改會導致 modCount 溢出，在某個時候返回 1。Iterator 認為 ArrayList 沒有改變，因此不會拋出異常。在 Java SE 12 文檔中，對于 ArrayList 類，聲明如下：請注意，無法保證迭代器的快速失敗行為，因為一般來說，在存在非同步并發修改的情況下不可能做出任何硬性保證。很明顯，迭代器可能會犯“錯誤”，但這又是針對非同步并發修改的，對吧？但是，上面的第二個片段是同步的。這里發生了什么？第二個片段中的 Iterator 應該是這樣的嗎？如果是這樣，那么 long 類型的 modCount 會不會好一點（問題仍然不會消失，但是 2^64 + 1 修改在合理的時間內執行是不可行的）。這也可以在其他Collections 中觀察到，它們使用相同的 int modCount 機制。