Java for Beginner

Set.of(): Неизменяемые множества

В отличие от списков, множества предъявляют дополнительное требование — уникальность элементов.

Методы Set.of() строго проверяют это требование:

Set.of("a", "b", "c");        // Допустимо
Set.of("a", "b", "a");        // IllegalArgumentException: дубликат

Внутренняя структура

Для множеств также существуют оптимизированные реализации:
Пустое множество: Синглтон ImmutableCollections.EMPTY_SET
Множество из 1 элемента: ImmutableCollections.Set1
Множество из 2 элементов: Используется специальная структура для двух элементов
Большие множества: Используется ImmutableCollections.SetN на основе хэш-таблицы

Особенности производительности

Малые множества (до 2 элементов) используют особые алгоритмы сравнения, что делает операции contains() чрезвычайно эффективными — O(1) с очень малой константой.

Map.of(): Неизменяемые отображения

Для создания неизменяемых отображений используются два подхода:

// Прямое создание пар (до 10 пар)
Map.of(k1, v1, k2, v2, ..., k10, v10)

// Создание из пар Map.Entry
Map.ofEntries(
    Map.entry(k1, v1),
    Map.entry(k2, v2),
    // ...
)

Требования к ключам

Как и для множеств, ключи в Map.of() должны быть уникальными. Попытка создания отображения с дублирующимися ключами приводит к IllegalArgumentException.

Внутренняя оптимизация

Для малых отображений используются специализированные реализации:
Пустое отображение: ImmutableCollections.EMPTY_MAP
Отображение из 1 пары: ImmutableCollections.Map1
Отображение из 2 пар: Используется оптимизированная структура
Для больших отображений используется массив пар ключ-значение с линейным поиском, что для небольших N (до ~10) оказывается эффективнее хэш-таблиц.

Collections.unmodifiableXXX(): Подход до Java 9

Методы Collections.unmodifiableList(), unmodifiableSet(), unmodifiableMap() и другие создают обертки над существующими изменяемыми коллекциями. Эти обертки делегируют операции чтения исходной коллекции, но запрещают операции модификации.

Механизм работы

Архитектура обертки

// Концептуальная реализация unmodifiableList
public static <T> List<T> unmodifiableList(List<? extends T> list) {
    return (list instanceof UnmodifiableList) ? 
           (List<T>) list : 
           new UnmodifiableList<>(list);
}

static class UnmodifiableList<E> implements List<E> {
    private final List<E> list;
    
    UnmodifiableList(List<E> list) {
        this.list = list;
    }
    
    public E get(int index) {
        return list.get(index); // Делегирование
    }
    
    public void add(int index, E element) {
        throw new UnsupportedOperationException(); // Запрет модификации
    }
    // ... остальные методы
}

Уровни неизменяемости

Важно понимать, что unmodifiableXXX создают только поверхностную (shallow) неизменяемость:
Структурная неизменяемость: Размер и состав коллекции не могут быть изменены
Элементная изменяемость: Объекты внутри коллекции могут быть изменяемыми

List<StringBuilder> list = new ArrayList<>();
list.add(new StringBuilder("Hello"));
List<StringBuilder> unmodifiable = Collections.unmodifiableList(list);

// Нельзя изменить структуру
unmodifiable.add(new StringBuilder("World")); // UnsupportedOperationException

// Но можно изменить содержимое элементов
unmodifiable.get(0).append(" World"); // Допустимо!

Исторический контекст

До Java 9 подход с unmodifiableXXX был единственным стандартным способом создания неизменяемых представлений.

Однако у него было несколько существенных недостатков:
Изменяемость исходной коллекции: Обертка отражает изменения в исходной коллекции
Возможность обхода защиты: Через приведение типов или reflection
Производительность: Дополнительный уровень индирекции

#Java #для_новичков #beginner #immutability #Collection #List_of #Set_of

👍5

54 views08:57