对扩展现有 Enum 类型的泛型感到困惑

Question

问题 1：我对这些代码有点困惑：

public class MyClass1 <E extends Enum<?>> {
    // ...
}
public class MyClass2 <E extends Enum<E>> {
    // ... 
}

MyClass1 和MyClass2 有什么区别，三个不同的E 是什么意思？

问题 2：来自Class Enum <E extends Enum<E>>

这是所有 Java 语言枚举类型的通用基类。

但不是所有Enum类型的公共基类Enum<E>吗？

问题 3：现在我有这门课：

public class MyClass<E extends Enum<E>> {

    // for example, EnumSet<Category> 
    public Set<E> category; 

    // how to initial this member
    private Class<E> enumType; 

    // initial this.category with given strings
    public void getEnumSetFromStringList(List<String> list) {
        this.category = EnumSet.noneOf(enumType);
        for (String str : list) {
            this.category.add(Enum.valueOf(this.enumType, str));
        }
    }
}

// this is the Category of Enum type
public enum Category {

    LOCATION("LOCATION"), 
    HUMAN("HUMAN"),
    // ...
    DESCRIPTION("DESCRIPTION");

    private final String categoryName;

    Category(String categoryName) {
        this.categoryName= categoryName;
    }
}

1. 如何在MyClass 中初始化数据字段enumType？

2. 如果MyClass不包含数据字段enumType，那么函数getEnumSetFromStringList(List<String> list)怎么能得到泛型类型<E extends Enum<?>>的类型呢？

3. 我可以这样获取枚举类型：E.class吗？如果不是，是不是因为编译时泛型类型的type-erasure？

Answer 1

Enum<E extends Enum<E>> 很难理解。

让我们考虑两个enums。

enum Colour { RED, GREEN, BLUE }

enum Shape { SQUARE, CIRCLE, TRIANGLE }

想想Enum 中的compareTo() 方法。这用于根据声明的顺序比较同一 Enum 中的不同常量。如果 Enum 不是泛型类，则此方法的签名必须是 int compareTo(Enum e)。但这没有任何意义，因为您可以将Colour 与Shape 进行比较。我们希望Colour 中compareTo 的签名为int compareTo(Colour colour)。这样做的唯一方法是如果Enum 是具有类型参数E 的泛型类并且Colour 的类型参数是Colour！只要Colour的类型参数为Colour，Shape的类型参数为Shape，那么我们只能将Colours与Colours和Shapes与Shapes进行比较.

所以在Enum 的定义中，我们想要某种方式来表达，对于每个子类，类型参数不仅必须是enum，而且类型参数应该是子类本身。因此E 不应该只是扩展Enum 而E 应该扩展Enum<E>！

这就是Enum<E extends Enum<E>> 的来源。

（你不应该写Enum<E extends Enum<?>>）。

为enumType 赋值的一种方法是将Class<E> 传递给构造函数。像这样

class MyClass2<E extends Enum<E>> {
    private final Class<E> enumType;

    MyClass2(Class<E> enumType) {
        this.enumType = enumType;
    }
}

如果您不想这样做，另一种在运行时获取Class<E> 对象的方法是使用Enum 实例方法getDeclaringClass()。这要求您手头有一个E 的实例来调用该方法。在运行时获取所有枚举常量数组的一种方法是编写e.getDeclaringClass().getEnumConstants()。

你不能写E.class，因为正如你所说的，泛型是使用类型擦除的过程来实现的。在运行时，ArrayList<String> 只是一个ArrayList，因此无法访问类型参数。

Answer 2

MyClass1和MyClass2有什么不同，三个不同的E分别代表什么？

MyClass1 引入了一个泛型类型参数，称为E，它扩展了Enum<?> 类。在这里，? 意味着我们不知道（也不关心）Enum 类的哪个通用版本扩展了E，因此使用了通配符。

同时，MyClass2 还引入了一个泛型类型参数，称为E，它再次扩展了Enum 类型。这一次，Enum 类型是由E 泛型的相同，这意味着该类型参数必须是Enum 类的子类，并且还支持所有方法，在Enum 中定义，它使用完全相同的类型E。比如这个方法是getDeclaringClass()，它会返回Class<E>而不是Class<Object>。

---

但不是所有Enum类型Enum的通用基类吗？

没有。如果泛型参数不是Enum<E> 的子类，它就没有意义。

---

如何在 MyClass 中初始化数据字段 enumType？

您必须在构造函数中传递Class<E> 并将值复制到私有成员：

public MyClass(Class<E> enumType) {
    this.enumType = enumType;
}

---

如果 MyClass 不包含数据字段 enumType，那么函数 getEnumSetFromStringList(...) 如何获取泛型类型的类型？

由于类型擦除，它将无法获取它。如果您需要泛型类型的类，则必须维护一个成员，该成员包含 Class<E> 值；

---

我可以通过这种方式获取Enum类型：E.class吗？如果不是，是不是编译过程中泛型类型擦除的原因？

你不能，因为E 只是在运行时特定的东西的别名。