Как работает Итератор с коллекцией HashSet

Обсуждается

Объясните пожалуйста. По заданию мне нужно было удалить все объекты типа Cat из множества pets. Когда я пытался проходить по основному множеству и удалять значения - вылетала ошибка ConcurrentModificationException. Но если скопировать основное множество в временное и пройтись по временному а удалять именно из основного то всё работает. Только не могу понять почему, мы копируем объекты и передаём ссылки на эти объекты в новое множество соответственно новое множество, должно вести к тем же объектам что и основное и программа не должна работать. Я понимаю, что я что-то но понимаю))) объясните пожалуйста.

public static void removeCats(Set<Object> pets, Set<Cat> cats) {
        //напишите тут ваш код
        Set<Object> copyPets = new HashSet<>(pets);
        Iterator<Object> iterator = copyPets.iterator();
        while (iterator.hasNext()) {
            Object getPet = iterator.next();
            for (Cat cat : cats) {
                if (getPet == cat) {
                    pets.remove(getPet);
                }
            }
        }
    }

Комментарии (6)

популярные
новые
старые

Для того, чтобы оставить комментарий Вы должны авторизоваться

Wladyslaw Java Developer

Master

13 октября 2020, 18:29

полезный

Итератор у сета - fail-fast, ну у хэш-сета, по крайней мере. Это значит что когда ты с помощью него итерируешь по коллекции и в этот момент в нее были внесены структурные изменение извне, то бишь не методами самого итератора - он сразу же падает. Выбрасывает исключение. Соответственно, итерировать по сету и одновременно его менять извне - нельзя. Но, методами самого итератора при этом коллекцию модифицировать можно. А вот итерировать по другому сету и менять первый - можно, ведь итератор другого сета отреагирует только на изменение вот этого другого сета, а его структуру ты не меняешь. Обрати внимание на цикл - у тебя нигде нет ни добавлений ни удалений из копии. Если память не подводит - коллекции просто хранят счетчик модификаций и в момент получения итератора - он просто копируется. А потом при каждом вызове методов итератора этот счетчик проверяется. Вот оттуда и исключение

hidden #2322530

Уровень 41

13 октября 2020, 18:39

у HashMap аналогично, потому что по факту HashSet под капотом это HashMap)

Wladyslaw Java Developer

Master

13 октября 2020, 18:40

Все сеты в джаве - мапы, просто с заглушкой на value Только у мапы итератора и нет, как такового. Есть у ключей и значений. Хотя ладно, про java.util.concurrent не стану утверждать) Не помню есть ли там сеты, но там они могут иначе быть устроены, если есть, гуглить нужно) Погуглил, не удержался) Конкуррент сета как отдельного класса в JDK нет, но есть вот такое. Returns a set backed by the specified map. The resulting set displays the same ordering, concurrency, and performance characteristics as the backing map. In essence, this factory method provides a Set implementation corresponding to any Map implementation. There is no need to use this method on a Map implementation that already has a corresponding Set implementation (such as HashMap or TreeMap). Each method invocation on the set returned by this method results in exactly one method invocation on the backing map or its keySet view, with one exception. The addAll method is implemented as a sequence of put invocations on the backing map. The specified map must be empty at the time this method is invoked, and should not be accessed directly after this method returns. These conditions are ensured if the map is created empty, passed directly to this method, and no reference to the map is retained, as illustrated in the following code fragment: Set<Object> weakHashSet = Collections.newSetFromMap( new WeakHashMap<Object, Boolean>());

hidden #2322530

Уровень 41

13 октября 2020, 18:52

java.util.concurrent.CopyOnWriteArraySet

public class CopyOnWriteArraySet<E> extends AbstractSet<E>

но он базируется на

private final CopyOnWriteArrayList<E> al;

а тот в свою очередь на обычном массиве

/** The array, accessed only via getArray/setArray. */
private transient volatile Object[] array;

под капотом он при изменениях блокирует массив, создает его копию с ним работает, а дальше возвращает уже копию.

final transient Object lock = new Object();

public boolean add(E e) {
    synchronized (lock) {
        Object[] es = getArray();
        int len = es.length;
        es = Arrays.copyOf(es, len + 1);
        es[len] = e;
        setArray(es);
        return true;
    }
}

как в одном из вопросов в Помощь Ксения сказала делает snapshot, с ним работает, потом делает его основным

Wladyslaw Java Developer

Master

13 октября 2020, 19:17

Знаю, сам тут недавно кому-то по поводу снапшотов писал. Просто соответствующий сет чёто не нагуглил. Ну а чтобы о нем знать - я его не юзал.

hidden #2322530

Уровень 41

13 октября 2020, 19:19

потому что имхо лучше блокировки расставить или synchronized методы сделать для работы с обычным списком иногда) это если для мультипоточности.