未在预期时引发java.util.concurrentModificationException

Question

   public void test(){
      ArrayList<String> myList = new ArrayList<String>();

      myList.add("String 1");
      myList.add("String 2");
      myList.add("String 3");
      myList.add("String 4");
      myList.add("String 5");

      for(String s : myList){
         if (s.equals("String 2")){
            myList.remove(s);
         }
      }
   }

   public void test(){
      ArrayList<String> myList = new ArrayList<String>();

      myList.add("String 1");
      myList.add("String 2");
      myList.add("String 3");

      for(String s : myList){
         if (s.equals("String 2")){
            myList.remove(s);
         }
      }
   }

不同的是，第一个列表包含5项，而第二个列表包含3项。使用的JVM是：

java version "1.8.0"
Java(TM) SE Runtime Environment (build 1.8.0-b132)
Java HotSpot(TM) 64-Bit Server VM (build 25.0-b70, mixed mode)

问题：为什么第二段代码不抛出java.util.concurrentModificationException？

Answer 1

从arraylist.iterator()返回的迭代器在实现中，我们显然只在调用next()时检查结构修改，而不是在调用hasnext()时检查结构修改。后者看起来如下所示（在Java8下）：

public boolean hasNext() {
    return cursor != size;
}

所以在第二种情况下，迭代器“知道”它返回了两个元素，而列表只有两个元素...所以hasnext()只返回false，我们永远不会第三次调用next()。

我认为这是一个实现细节--基本上检查不是那么严格。在这种情况下，hasnext()执行检查并抛出异常是完全合理的。