为什么Java枚举文字不能具有通用类型参数？

Java枚举很棒。泛型也是如此。当然，由于类型擦除，我们都知道后者的局限性。但是有一件事我不理解，为什么我不能创建这样的枚举：

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

这样，该通用类型参数<T>又可以在各个地方使用。想象一下方法的通用类型参数：

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

甚至在枚举类本身中：

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生成的代码，我不理解此限制。

谁能向我解释？在回答之前，请考虑以下事项：

• 我知道泛型类型被删除:-)
• 我知道有使用类对象的解决方法。他们是解决方法。
• 通用类型会在适用的情况下（例如，在调用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：增强枚举下的语言中。

ENUM中还有其他方法不起作用。什么会MyEnum.values()回来？

那MyEnum.valueOf(String name)呢

对于valueOf，如果您认为编译器可以使通用方法像

公共静态MyEnum valueOf（String name）;

为了将其命名为MyEnum<String> myStringEnum = MyEnum.value("some string property")，这也不起作用。例如，如果您打电话MyEnum<Int> myIntEnum = MyEnum.<Int>value("some string property")怎么办？无法实现该方法以使其正常工作，例如，MyEnum.<Int>value("some double property")由于类型擦除而在引发调用时抛出异常或返回null 。

坦白说，这似乎比什么都不是寻找问题的解决方案。

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？现在，通过迫使编译器知道可以提供给泛型枚举的类型的有限子集，并对概念（泛型）引入更多的混淆，这似乎已经使许多程序员望而却步，从而弄糟了两个构造。

因为“枚举”是枚举的缩写。它只是一组命名常量，代替序数以使代码更易读。

我看不到类型参数化常量的预期含义是什么。

我认为因为基本上无法列举Enums

如果JVM允许，您将在哪里设置T类？

枚举是指应该始终相同或至少不会发生动态变化的数据。

新的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;
    }   
}