26

Допустим, у меня есть некий ArrayList.

ArrayList<Integer> list = new ArrayList<>();

for (int i = 0; i < 10; i++)
  list.add((int) (Math.random() * 20));

И я хочу из него удалить все числа больше 10.

"Правильно" сделать это можно через итератор, получив гарантированный результат.

for (Iterator<Integer> 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);

Собственно, может кто-нибудь объяснить магию или дать наводку, где можно почитать на эту тему?

7
  • 5
    по-моему, вам просто повезло и в списке не оказалось элементов больше 10.
    – zRrr
    30 июн 2016 в 19:36
  • 1
    Никто не гарантирует, что ConcurrentModificationException обязательно выкинется. Но никто не гарантирует, что она не выкинется, у меня например данный код выкидывает ConcurrentModificationException 30 июн 2016 в 19:54
  • хотя на списке 1, 22, 3 прекрасно сработает :)
    – zRrr
    30 июн 2016 в 20:03
  • ArrayList<Integer> сам по себе не сихнронизированный(и это его плюсик) зачем именно Interator вам? remove не гуд да? 30 июн 2016 в 20:07
  • 2
    для полноты, в java 8 можно написать list.removeIf( i -> i > 10 );
    – zRrr
    30 июн 2016 в 20:45

2 ответа 2

24

Видимо вам сказочно повезло:

  • у вас не было элементов, значение которых было больше 10
  • у вас был элемент, значение которого было больше 10, но он был только один и располагался на предпоследнем месте в списке

Давайте рассмотрим работу на более коротком примере.

ArrayList<Integer> list = new ArrayList<>();
list.add(1);
list.add(22);
list.add(3);

Мы добавили три числа. Итак, как работает foreach

  1. Он получает итератор.
  2. Проверяет на наличие следующего элемента hasNext().

    public boolean hasNext() {
        return cursor != size(); // cursor is zero initially.
    }
    
  3. Если возвращается 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.

А в этом единичном случае проверка пройдет на ура..

Вот магия....Или баг....

2
  • Спасибо! Глупо получилось, действительно, ключевой была фраза "у вас не было элементов, значение которых было больше 10". Дело в том, что пример взял из куска кода, в котором между заполнением и удалением было еще разное, где не явным способом уже удалялись все элементы со значением больше 10. Попробовал запустить пример в "чистом" виде и получил заветный ConcurrentModificationException.
    – Anton
    1 июл 2016 в 15:44
  • @Anton На самом деле информацию о возможности удалить предпоследний элемент тоже мало кто знает...... так что весьма полезно окажется кому-то это всё...... вот еще б как-то вопрос более корректно назвать, чтоб можно было потом по поиску найти... 1 июл 2016 в 15:54
5

Да нечего читать на эту тему. В документации ясно сказано, что для удаления элeментов из коллекции нужно использовать итератор.

Тот факт, что в вашем примере вы смогли удалить числа больше 10 обусловлен скорее всего тeм, что там не было таких чисел или было только одно - предпоследнее.
Хотя реалиция foreach основана на использовании итератора, но если вы представите что внутри foreach обыкновенный for (int i = 0; i < 10; i++) то я думаю будет очевидно почему нельзя удалять элементы из массива пока вы его обходите в цикле.

А вообще, используйте Java 8, и забудьте о проблемах :)

List<Integer> list = new ArrayList();
list.removeIf(e -> e > 10);
4
  • или было только одно - последнее. а как же предпоследнее?)) 1 июл 2016 в 7:22
  • не не не. вот если делать через foreach как и пытается ТС, то - предпоследнее, а с for - то прокатит только последнее.......тут разница есть.... а т.к. foreach использует внутри себя iterator, то сравнивать просто с for нет смысла, имхо 1 июл 2016 в 9:46
  • @АлексейШиманский согласен, предпоследнее 1 июл 2016 в 9:46
  • Согласен дважды. 1 июл 2016 в 9:47

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.