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

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

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

Перечисления и generics появились в Java 5 для разных задач. Enum решает задачу представления фиксированного набора именованных экземпляров, а generics — задачу статической типизации обобщённых алгоритмов и контейнеров.

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

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

Если бы enum мог иметь параметр типа, возникал бы вопрос, что именно параметризуется: сам тип перечисления или его константы. Один и тот же элемент перечисления не может одновременно быть экземпляром, например, Status<String> и Status<Integer>: у него есть одна конкретная runtime-идентичность.

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

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

В Java параметры типов разрешены у классов, интерфейсов и методов, но не у enum. Enum не является обычным обобщённым классом, который можно независимо инстанцировать с разными аргументами типа. Его константы создаются самим механизмом перечислений и имеют фиксированный набор экземпляров.

Минимальный пример запретного объявления и типичной замены:

// Не компилируется:
// enum Box<T> { EMPTY }

final class Box<T> {
    private final T value;

    Box(T value) {
        this.value = value;
    }

    T value() {
        return value;
    }
}

enum Kind { TEXT, NUMBER }

Здесь Kind отвечает только за фиксированную классификацию, а Box<T> — за типизированное значение. Это разделяет две разные ответственности: конечный набор идентификаторов и параметризованный объект.

Если нужны типизированные singleton-объекты, их можно объявить как статические поля обычного generic-класса с конкретными аргументами типа. Но такие поля не образуют enum: у них нет встроенных гарантий Enum, порядка констант, values() и других свойств перечислений.

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

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

В библиотеке обработки сообщений нужно представить фиксированные виды полезной нагрузки: текст, число и дату. Разработчик предлагает enum PayloadKind<T>, чтобы каждому виду сразу сопоставить тип данных.

Первый вариант — заменить enum на generic-класс с несколькими статическими экземплярами. Он позволяет сохранить типы, но хуже выражает конечность набора и не предоставляет стандартные операции перечисления.

Второй вариант — оставить обычный enum PayloadKind, а данные хранить как Object. Это просто реализовать, но типовая проверка переносится на приведения, что повышает риск ClassCastException.

Практичное решение — использовать обычный enum для вида сообщения и отдельные типизированные классы или sealed-иерархию для полезной нагрузки. Такой дизайн сохраняет фиксированный набор видов и позволяет проверять типы данных на этапе компиляции, не пытаясь сделать enum обобщённым.

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

1. Можно ли объявить generic-класс с полем типа enum?

Да. Ограничение относится к объявлению самого enum, а не к его использованию внутри параметризованного класса. Например, class Holder<T> { Kind kind; T value; } допустим, потому что Kind остаётся обычным перечислением, а параметризован только Holder.

2. Можно ли сделать метод enum обобщённым?

Да, параметры типа разрешены у методов enum. Например, метод может принимать значение типа T или возвращать результат, выведенный по аргументу. Это не создаёт параметризованных констант: обобщённым является вызов метода, а не сам тип перечисления.

3. Почему generic-класс с singleton-полем не является полноценной заменой enum?

Generic-класс может предоставить статические поля с конкретными типами, но язык не будет автоматически считать их всеми экземплярами одного перечисления. У такой замены нет гарантированного набора через values(), встроенного порядкового номера и специальной семантики switch по enum. Поэтому выбор зависит от задачи: для фиксированных символических вариантов нужен enum, для типизированных объектов — обычный generic-класс.