Удаление элемента списка в цикле foreach не бросает ConcurrentModificationException, почему?

Допустим, у меня есть некий ArrayList
ArrayList list = new ArrayList<>();
for (int i = 0; i < 10; i++) list.add((int) (Math.random() * 20));
И я хочу из него удалить все числа больше 10.
"Правильно" сделать это можно через итератор, получив гарантированный результат.
for (Iterator iterator = list.iterator(); iterator.hasNext(); ) if (iterator.next() > 10) iterator.remove();
Но на мое удивление, корректно работает и вариант:
for (Integer i : list) if (i > 10) list.remove(i);
Несмотря на то, что везде говорится, что любая попытка удаления из коллекции в цикле без использования итератора приводит к ConcurrentModificationException
И, действительно, если будем удалять безусловно, получим как раз ConcurrentModificationException
for (Integer i : list) list.remove(i);
Собственно, может кто-нибудь объяснить магию или дать наводку, где можно почитать на эту тему?

Ответ

Видимо вам сказочно повезло:
у вас не было элементов, значение которых было больше 10 у вас был элемент, значение которого было больше 10, но он был только один и располагался на предпоследнем месте в списке
Давайте рассмотрим работу на более коротком примере.
ArrayList list = new ArrayList<>(); list.add(1); list.add(22); list.add(3);
Мы добавили три числа. Итак, как работает foreach
Он получает итератор. Проверяет на наличие следующего элемента hasNext()
public boolean hasNext() { return cursor != size(); // cursor is zero initially. } Если возвращается true, то берет следующий элемент с помощьюnext()
public E next() { checkForComodification(); try { E next = get(cursor); lastRet = cursor++; return next; } catch (IndexOutOfBoundsException e) { checkForComodification(); throw new NoSuchElementException(); } }
final void checkForComodification() { // Initially modCount = expectedModCount (our case 5) if (modCount != expectedModCount) throw new ConcurrentModificationException(); }
Далее повторяются шаги 2 и 3 пока hasNext() не вернет false
Если удалить элемент из списка, то его размер уменьшится и modCount увеличится.
Если удалить элемент во время итерации, то будет выброшено ConcurrentModificationException исключение на строке modCount != expectedModCount

Но что происходит, если удаляется предпоследний элемент?
> cursor = 0 size = 3 --> hasNext() успешно и next() тоже без эксепшена > cursor = 1 size = 3 --> hasNext() успешно и next() тоже без эксепшена
Когда мы удалим значение 22, то размер уменьшится до 2.
> cursor = 2 size = 2 --> hasNext() не успешно и next() пропускается.
В других же случаях будет выброшено ConcurrentModificationException из-за modCount != expectedModCount
А в этом единичном случае проверка пройдет на ура..
Вот магия....Или баг....