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

Каждая константа enum представлена единственным экземпляром соответствующего типа перечисления в рамках одного загрузчика классов. Создать дополнительный экземпляр такой константы через new нельзя: конструктор перечисления вызывается только механизмом инициализации самого типа.

Это гарантирует сравнение констант через ==, а встроенная сериализация перечислений восстанавливает ссылку на уже существующий экземпляр, а не создаёт копию.

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

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

В отличие от обычного класса с публичным конструктором, enum должен ограничивать множество экземпляров заранее объявленными константами. Поэтому создание экземпляров передано специальному механизму языка и JVM.

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

Если значение перечисления можно было бы свободно копировать или создавать заново, сравнение через == стало бы ненадёжным, а switch и логика, основанная на конкретных константах, усложнились бы. Особенно опасны были бы копии, полученные после сериализации или отражения.

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

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

Компилятор преобразует перечисление в специальный класс, неявно унаследованный от java.lang.Enum. Для каждой объявленной константы создаётся экземпляр этого класса, а сами константы доступны как статические поля перечисления.

Конструктор enum не может быть вызван обычным кодом. Язык запрещает явное создание экземпляра через new, а конструктор перечисления фактически используется JVM при инициализации класса. Поэтому количество экземпляров определяется объявлениями констант.

enum Status {
    NEW, DONE
}

class Demo {
    public static void main(String[] args) {
        Status first = Status.NEW;
        Status second = Status.valueOf("NEW");
        System.out.println(first == second); // true
    }
}

При первом активном обращении к Status JVM инициализирует класс и создаёт его константы. Status.valueOf("NEW") возвращает существующую константу по имени, а не создаёт новый объект.

Метод values() возвращает массив, содержащий константы в порядке объявления. Сам массив создаётся отдельно, поэтому изменение его элементов не меняет набор констант перечисления; при этом объекты-константы остаются теми же экземплярами.

У каждого enum есть методы name() и ordinal(). name() возвращает имя константы, а ordinal() — её позицию; сохранять ordinal() в базе данных обычно рискованно, потому что изменение порядка констант изменит это число.

Сериализация enum является специальной: восстанавливается константа по имени, поэтому после десериализации сохраняется её идентичность. Это одно из существенных отличий перечислений от обычных сериализуемых классов.

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

В сервисе статус заказа передаётся между компонентами и сохраняется в базе данных. Рассматривались три варианта: целые числа, строки и enum.

Целые числа компактны, но плохо читаются и позволяют передать неизвестное значение. Строки удобнее для интеграций, однако допускают ошибки в написании и требуют ручной проверки. enum обеспечивает проверяемый компилятором набор значений и безопасное сравнение через ==, но изменение или удаление констант требует учитывать совместимость с внешними данными.

Выбран enum внутри Java-кода, а для хранения — стабильное строковое значение, задаваемое явно. Такой компромисс сохраняет типобезопасность приложения и не связывает формат базы данных с ordinal() или внутренним порядком объявления констант.

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

Гарантируется ли одна экземплярность enum во всей JVM?

Нет, формулировка требует уточнения. Гарантия действует для конкретного типа, загруженного конкретным загрузчиком классов. Если один и тот же байткод загружен двумя независимыми загрузчиками, JVM рассматривает результаты как разные типы; у каждого может быть собственный набор экземпляров констант.

Можно ли получить копию enum через сериализацию или клонирование?

Обычная сериализация enum не создаёт новый объект: при десериализации выбирается существующая константа по имени. Кроме того, Enum запрещает клонирование, а механизм языка не предоставляет публичного конструктора для создания копии. Поэтому стандартные способы копирования не нарушают уникальность константы.

Почему сравнение enum через == считается корректным, а для большинства объектов рекомендуют equals?

Для enum каждая логическая константа представлена одним экземпляром в рамках соответствующего типа и загрузчика классов. Поэтому == проверяет именно требуемую идентичность и не зависит от реализации equals. Для обычных классов разные экземпляры могут представлять одно значение, поэтому там обычно сравнивают содержимое через equals.