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

这已在 JEP-301 Enhanced Enums 开始讨论，遗憾的是已撤回。 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，如果您认为编译器可以制作像这样的通用方法

public static 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 enum 的全部目的是对共享相似属性的类型实例的枚举进行建模，以提供超出可比较的 String 或 Integer 表示的一致性和丰富性。

以教科书枚举为例。这不是很有用或一致：

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

为什么我希望我的不同行星有不同的泛型类型转换？它解决了什么问题？它是否证明使语言语义复杂化是合理的？如果我确实需要这种行为，那么枚举是实现它的最佳工具吗？

此外，您将如何管理复杂的转换？

例如

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

使用 String Integer 很容易提供名称或序数。但是泛型将允许您提供任何类型。您将如何管理到 MyComplexClass 的转换？现在，您通过强制编译器知道可以提供给泛型枚举的类型的有限子集并给概念（泛型）引入了额外的混淆，这似乎已经让很多程序员感到困惑，从而混淆了两个构造。

通过使用这个 Java 注释处理器 https://github.com/cmoine/generic-enums，您可以编写类似的代码（convert 方法作为示例实现）：

import org.cmoine.genericEnums.GenericEnum;
import org.cmoine.genericEnums.GenericEnumParam;

@GenericEnum
public enum MyEnum {
    LITERAL1(String.class) {
        @Override
        @GenericEnumParam
        public Object convert(Object o) {
            return o.toString(); // example
        }
    },
    LITERAL2(Integer.class) {
        @Override
        @GenericEnumParam
        public Object convert(Object o) {
            return o.hashCode(); // example
        }
    },
    LITERAL3(Object.class) {
        @Override
        @GenericEnumParam
        public Object convert(Object o) {
            return o; // example
        }
    };

    MyEnum(Class<?> clazz) {
    }

    @GenericEnumParam
    public abstract Object convert(Object o);
}

注释处理器将生成一个枚举 MyEnumExt（可自定义），它克服了 java 枚举的限制。相反，它会生成一个可完全用作枚举的 Java 类（最终，枚举被编译为实现 Enum 的 Java 类！）。

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

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

我认为因为基本上枚举不能被实例化

如果 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;
    }   
}