这件事让我困扰了一阵子。我之前曾问过一些问题，但措辞可能很拙劣，而且例子太抽象了。所以目前尚不清楚我实际上在问什么。我会再尝试。并且请不要下结论。我希望这个问题根本不容易回答！

为什么我不能在Java中使用带有泛型类型参数的枚举？

问题不在于语法上为什么不可能做到这一点。我知道这只是不受支持。问题是：为什么JSR人员会“忘记”或“忽略”这个非常有用的功能？我无法想象与编译器相关的原因，为什么它不可行。

这就是我想做的。这在Java中是可能的。这是Java 1.4创建类型安全枚举的方法：

// A model class for SQL data types and their mapping to Java types
public class DataType<T> implements Serializable, Comparable<DataType<T>> {
    private final String name;
    private final Class<T> type;

    public static final DataType<Integer> INT      = new DataType<Integer>("int", Integer.class);
    public static final DataType<Integer> INT4     = new DataType<Integer>("int4", Integer.class);
    public static final DataType<Integer> INTEGER  = new DataType<Integer>("integer", Integer.class);
    public static final DataType<Long>    BIGINT   = new DataType<Long>   ("bigint", Long.class);

    private DataType(String name, Class<T> type) {
        this.name = name;
        this.type = type;
    }

    // Returns T. I find this often very useful!
    public T parse(String string) throws Exception {
        // [...]
    }

    // Check this out. Advanced generics:
    public T[] parseArray(String string) throws Exception {
        // [...]
    }

    // Even more advanced:
    public DataType<T[]> getArrayType() {
        // [...]
    }

    // [ ... more methods ... ]
}

然后，您可以<T>在其他许多地方使用

public class Utility {

    // Generic methods...
    public static <T> T doStuff(DataType<T> type) {
        // [...]
    }
}

但是用枚举是不可能做到的：

// This can't be done
public enum DataType<T> {

    // Neither can this...
    INT<Integer>("int", Integer.class), 
    INT4<Integer>("int4", Integer.class),

    // [...]
}

现在，正如我所说。我知道这些东西都是按照这种方式设计的。enum是语法糖。泛型也是如此。实际上，编译器会完成所有工作，并将其转换enums为的子类，java.lang.Enum并将泛型转换为强制转换和综合方法。

但是为什么编译器不能走得更远并允许泛型枚举呢？

编辑 ：这是我期望作为编译器生成的Java代码：

public class DataType<T> extends Enum<DataType<?>> {
    // [...]
}