Краткий ответ

EnumSet хранит множество констант перечисления не в обычной хеш-таблице, а в виде битовой маски: каждой константе соответствует определённый бит. Поэтому contains проверяет один бит и выполняется за O(1) относительно числа элементов набора.

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

Обычные реализации Set, такие как HashSet, универсальны, но для перечислений хранят больше служебных данных, чем необходимо. Для enum заранее известен конечный набор констант, поэтому Java Collections Framework предоставляет специализированную реализацию EnumSet, использующую эту информацию.

Такой подход решает задачу компактного хранения и быстрых операций над множествами enum без ручного управления битовыми масками.

Постановка проблемы

Если хранить набор дней недели в HashSet<DayOfWeek>, для каждого элемента потребуется хеширование и отдельная структура бакетов. При небольшом фиксированном универсуме enum это избыточно.

Неверный выбор реализации не обязательно нарушит корректность программы, но увеличит расход памяти и добавит лишние операции. Особенно это заметно в структурах, где множество enum создаётся часто или используется в горячем участке кода.

Подробное решение

EnumSet сопоставляет каждой константе enum её порядковый номер — ordinal. Этот номер используется как позиция бита. Например, наличие константы с порядковым номером k означает, что установлен бит k.

Для небольших перечислений используется реализация RegularEnumSet, где маска помещается в один long. Для более крупных перечислений используется JumboEnumSet, где маска хранится в массиве long.

Проверка contains сводится к определению порядкового номера константы и проверке соответствующего бита. В случае JumboEnumSet выбирается нужный элемент массива, поэтому операция также имеет O(1) относительно количества элементов в самом наборе. Размер перечисления влияет на объём хранения, но не превращает проверку конкретного элемента в линейный поиск.

Основные операции над множеством — add, remove и contains — используют битовые операции. Операции над всем множеством, например containsAll, equals или iterator, могут зависеть от количества машинных слов и числа обрабатываемых констант.

EnumSet предназначен только для одного конкретного типа enum. Он не является универсальной битовой маской для произвольных целых чисел и не заменяет BitSet, если значения не представлены константами перечисления.

Минимальный пример механизма:

import java.time.DayOfWeek;
import java.util.EnumSet;

class Demo {
    public static void main(String[] args) {
        var days = EnumSet.noneOf(DayOfWeek.class);
        days.add(DayOfWeek.MONDAY);
        days.add(DayOfWeek.FRIDAY);
        System.out.println(days.contains(DayOfWeek.FRIDAY));
    }
}

Добавление устанавливает бит, удаление сбрасывает его, а contains проверяет значение бита. При этом внешний контракт остаётся контрактом обычного множества: элементы не дублируются, а порядок не задаётся пользователем.

Ситуация из практики

В сервисе нужно хранить разрешённые дни выполнения задания. Рассматривались три варианта.

HashSet<DayOfWeek> прост и универсален, но использует хеш-таблицу и дополнительную память. BitSet компактен, однако требует вручную связывать порядковые номера с конкретным enum и не выражает намерение в типах. EnumSet сразу показывает, что множество состоит из констант одного перечисления, и предоставляет специализированные операции.

Выбран был EnumSet, потому что набор содержит только DayOfWeek, а операции проверки и объединения выполняются через битовые маски. В результате код стал типобезопаснее, а структура — компактнее, чем универсальная хеш-таблица.

Что кандидаты часто упускают

Что произойдёт, если попытаться добавить в EnumSet константу другого перечисления?

EnumSet параметризован конкретным типом enum, поэтому обычный код с такой ошибкой не скомпилируется. Если обойти проверку типов через необобщённые API или небезопасное приведение, операция приведёт к ошибке типов, а не к корректному смешиванию констант. Один EnumSet не может содержать элементы разных перечислений.
Означает ли битовое представление, что EnumSet всегда занимает один long?

Нет. Для перечислений, укладывающихся в машинное слово, используется RegularEnumSet. Для большего числа констант применяется JumboEnumSet с массивом long. Поэтому утверждение о единственном long корректно только для малых enum, а общий механизм — битовая маска из одного или нескольких слов.
Является ли порядок итерации EnumSet сортировкой по произвольному компаратору?

Нет. Итерация выполняется в естественном порядке констант enum — порядке их объявления. Это свойство специализированной реализации, а не результат применения пользовательского Comparator. Если требуется другой порядок, элементы нужно явно обрабатывать с подходящим компаратором или использовать другую структуру.