Почему этот код не вызывает исключение ConcurrentModificationException?

Согласно документам Java API Iterator.hasNext не выдает ConcurrentModificationException.

После проверки "January" и "February" вы удаляете один элемент из списка. Вызов it.hasNext() не выдает ConcurrentModificationException, а возвращает false. Таким образом, ваш код выходит чисто. Однако последняя строка никогда не проверяется. Если вы добавите "April" в список, вы получите исключение, как и ожидалось.

import java.util.List;
import java.util.ArrayList;
import java.util.Iterator;

public class Main {
        public static void main(String args[]) {

                List<String> myList = new ArrayList<String>();
                myList.add("January");
                myList.add("February");
                myList.add("March");
                myList.add("April");

                Iterator<String> it = myList.iterator();
                while(it.hasNext())
                {
                    String item = it.next();
                    System.out.println("Checking: " + item);
                    if("February".equals(item))
                    {
                        myList.remove(item);
                    }
                }

                for (String item : myList)
                {
                    System.out.println(item);
                }

        }
}

http://ideone.com/VKhHWN

Из источника ArrayList (JDK 1.7):

private class Itr implements Iterator<E> {
    int cursor;       // index of next element to return
    int lastRet = -1; // index of last element returned; -1 if no such
    int expectedModCount = modCount;

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

    @SuppressWarnings("unchecked")
    public E next() {
        checkForComodification();
        int i = cursor;
        if (i >= size)
            throw new NoSuchElementException();
        Object[] elementData = ArrayList.this.elementData;
        if (i >= elementData.length)
            throw new ConcurrentModificationException();
        cursor = i + 1;
        return (E) elementData[lastRet = i];
    }

    public void remove() {
        if (lastRet < 0)
            throw new IllegalStateException();
        checkForComodification();

        try {
            ArrayList.this.remove(lastRet);
            cursor = lastRet;
            lastRet = -1;
            expectedModCount = modCount;
        } catch (IndexOutOfBoundsException ex) {
            throw new ConcurrentModificationException();
        }
    }

    final void checkForComodification() {
        if (modCount != expectedModCount)
            throw new ConcurrentModificationException();
    }
}

Каждая операция изменения ArrayList увеличивает поле modCount (сколько раз список был изменен с момента создания).

Когда итератор создается, он сохраняет текущее значение modCount в expectedModCount. Логика такова:

• если список вообще не изменяется во время итерации, modCount == expectedModCount
• если список изменен собственным методом итератора remove(), modCount увеличивается, но expectedModCount также увеличивается, поэтому modCount == expectedModCount все еще сохраняется
• если какой-либо другой метод (или даже какой-либо другой экземпляр итератора) изменяет список, modCount увеличивается, следовательно, modCount != expectedModCount, что приводит к ConcurrentModificationException

Однако, как видно из исходника, в методе hasNext() проверка не выполняется, только в методе next(). Метод hasNext() также сравнивает только текущий индекс с размером списка. Когда вы удаляли предпоследний элемент из списка ("February"), это приводило к тому, что следующий вызов hasNext() просто возвращал false и завершал итерацию до того, как мог быть запущен CME.

Однако, если вы удалите какой-либо элемент, кроме предпоследнего, возникнет исключение.

Я думаю, что правильным объяснением является этот отрывок из javadocs ConcurrentModificationExcetion:

Обратите внимание, что безотказное поведение не может быть гарантировано, так как, вообще говоря, невозможно дать какие-либо жесткие гарантии при наличии несинхронизированной параллельной модификации. Быстрые отказоустойчивые операции вызывают исключение ConcurrentModificationException в максимально возможной степени. Поэтому было бы неправильно писать программу, корректность которой зависела бы от этого исключения: ConcurrentModificationException следует использовать только для обнаружения ошибок.

Таким образом, если итератор работает быстро, он может сгенерировать исключение, но это не гарантируется. Попробуйте заменить February на January в вашем примере, и возникнет исключение (по крайней мере, в моей среде)

Итератор проверяет, что он повторил столько раз, сколько у вас осталось элементов, чтобы увидеть, что он достиг конца, прежде чем он проверит параллельную модификацию. Это означает, что если вы удалите только предпоследний элемент, вы не увидите CME в том же итераторе.