Чому не повинні літери Java enum мати загальні параметри типу?

Переваги на Java великі. Так само і дженерики. Звичайно, всі ми знаємо обмеження останнього через стирання типу. Але є одне, чого я не розумію. Чому я не можу створити такий перелік:

public enum MyEnum<T> {
    LITERAL1<String>,
    LITERAL2<Integer>,
    LITERAL3<Object>;
}

Цей параметр загального типу <T>в свою чергу може бути корисним у різних місцях. Уявіть параметр загального типу для методу:

public <T> T getValue(MyEnum<T> param);

Або навіть у самому класі enum:

public T convert(Object o);

Більш конкретний приклад №1

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

• Перелічує, бо тоді я можу перерахувати скінченний набір властивостей ключів
• Загальне, тому що тоді я можу забезпечити безпеку типу типу для зберігання властивостей

public interface MyProperties {
     public <T> void put(MyEnum<T> key, T value);
     public <T> T get(MyEnum<T> key);
}

Більш конкретний приклад №2

У мене перерахування типів даних:

public interface DataType<T> {}

public enum SQLDataType<T> implements DataType<T> {
    TINYINT<Byte>,
    SMALLINT<Short>,
    INT<Integer>,
    BIGINT<Long>,
    CLOB<String>,
    VARCHAR<String>,
    ...
}

Кожен переслідник перерахунку очевидно мав би додаткові властивості, засновані на родовому типі <T>, в той же час, будучи перерахунком (незмінним, синглетним, перелічуючим тощо) тощо.

Питання:

Ніхто про це не думав? Це обмеження щодо компілятора? Враховуючи той факт, що ключове слово " enum " реалізовано як синтаксичний цукор, що представляє згенерований код JVM, я не розумію цього обмеження.

Хто може мені це пояснити? Перш ніж відповісти, подумайте про це:

• Я знаю, що родові типи стираються :-)
• Я знаю, що існують обхідні шляхи використання об’єктів Class. Вони обхідні шляхи.
• Загальні типи призводять до того, що вони генеруються компілятором, коли вони застосовуються (наприклад, при виклику методу convert ()
• Родовий тип <T> був би на перерахунку. Отже, він пов'язаний кожним із буквалів перерахунку. Отже, компілятор буде знати, який тип застосувати, коли пише щось подібнеString string = LITERAL1.convert(myObject); Integer integer = LITERAL2.convert(myObject);
• Це ж стосується параметра загального типу в T getvalue()методі. Компілятор може застосовувати кастинг типів під час викликуString string = someClass.getValue(LITERAL1)

Зараз це обговорюється з розширеними перерахунками JEP-301 . Приклад, наведений в JEP, це саме те, що я шукав:

enum Argument<X> { // declares generic enum
   STRING<String>(String.class), 
   INTEGER<Integer>(Integer.class), ... ;

   Class<X> clazz;

   Argument(Class<X> clazz) { this.clazz = clazz; }

   Class<X> getClazz() { return clazz; }
}

Class<String> cs = Argument.STRING.getClazz(); //uses sharper typing of enum constant

На жаль, JEP все ще бореться зі значними проблемами: http://mail.openjdk.java.net/pipermail/amber-spec-experts/2017-May/000041.html

Відповідь у запитанні:

через стирання типу

Жоден із цих двох методів неможливий, оскільки тип аргументу стирається.

public <T> T getValue(MyEnum<T> param);
public T convert(Object);

Для реалізації цих методів ви могли б побудувати перерахунок як:

public enum MyEnum {
    LITERAL1(String.class),
    LITERAL2(Integer.class),
    LITERAL3(Object.class);

    private Class<?> clazz;

    private MyEnum(Class<?> clazz) {
      this.clazz = clazz;
    }

    ...

}

Тому що ти не можеш. Серйозно. Це можна додати до мовної специфікації. Це не було. Це додало б певної складності. Ця користь для витрат означає, що це не є пріоритетним завданням.

Оновлення: наразі додається до мови під JEP 301: Enhanced Enums .

Є інші методи в ENUM, які не працюють. Що б MyEnum.values()повернути?

Про що MyEnum.valueOf(String name)?

Для valueOf, якщо ви думаєте, що компілятор міг зробити загальний метод на зразок

загальнодоступна статична MyEnum valueOf (назва рядка);

для того, щоб назвати це так MyEnum<String> myStringEnum = MyEnum.value("some string property"), це теж не вийшло. Наприклад, що робити, якщо ви телефонуєте MyEnum<Int> myIntEnum = MyEnum.<Int>value("some string property")? Неможливо реалізувати цей метод, щоб він працював правильно, наприклад, щоб викинути виняток або повернути null, коли ви викликаєте його, як MyEnum.<Int>value("some double property")через стирання типу.

Відверто кажучи, це здається швидше рішенням у пошуку проблеми, ніж будь-що.

Вся мета переліку java - моделювати перелік екземплярів типу, які поділяють подібні властивості таким чином, що забезпечує узгодженість та багатство, ніж ті, що можна порівняти з представленнями String або Integer.

Візьмемо приклад перерахунку з підручника. Це не дуже корисно чи послідовно:

public enum Planet<T>{
    Earth<Planet>,
    Venus<String>,
    Mars<Long>
    ...etc.
}

Чому я хочу, щоб мої різні планети мали різні перетворення загального типу? Яку проблему вона вирішує? Чи виправдовує це ускладнення мовної семантики? Якщо мені потрібна така поведінка - це перелік найкращий інструмент для її досягнення?

Крім того, як би ви управляли складними перетвореннями?

наприклад

public enum BadIdea<T>{
   INSTANCE1<Long>,
   INSTANCE2<MyComplexClass>;
}

Його досить просто, щоб String Integerввести ім'я або порядковий номер. Але дженерики дозволять вам поставити будь-який тип. Як би ви керували конверсією MyComplexClass? Тепер ваше гнітюче два конструкти, змушуючи компілятор знати, що існує обмежена підмножина типів, які можна поставити до загальних переліків, і вводити додаткову плутанину в концепцію (Generics), яка, здається, ухиляється від багатьох програмістів.

Becasue "enum" - це абревіатура для перерахування. Це просто набір іменованих констант, які стоять замість порядкових чисел, щоб зробити код легше читабельним.

Я не бачу, яким міг бути призначений зміст константної параметри типу.

Я думаю, тому що в основному Enums неможливо застосувати

Де б ви встановили клас T, якщо JVM дозволив вам це зробити?

Перерахування - це дані, які повинні бути завжди однаковими або, принаймні, що вони не зміняться динамічно.

новий MyEnum <> ()?

Однак наступний підхід може бути корисним

public enum MyEnum{

    LITERAL1("s"),
    LITERAL2("a"),
    LITERAL3(2);

    private Object o;

    private MyEnum(Object o) {
        this.o = o;
    }

    public Object getO() {
        return o;
    }

    public void setO(Object o) {
        this.o = o;
    }   
}