Enum.valueOf 对扩展 Enum 的未知类型的类抛出警告？

Question

给这个：

Class<? extends Enum> enumClass = ...; // being passed in from a constructor
Enum e = Enum.valueOf(enumClass, aString); // produces a warning that looks like

[unchecked] 未经检查的方法调用： java.lang.Enum 中的 valueOf(java.lang.Class,java.lang.String) 是 应用于(java.lang.Class,java.lang.String)

我不想使用泛型，因为这是一个重大变化。我不想压抑。我不明白为什么会发生此警告。我想这是因为无法扩展 Enum 类型。我明白了。但我不明白为什么通配符类会抛出这个奇怪的错误。有没有办法在不使用@SupressWarning 或使用泛型的情况下解决这个问题？

编辑：为了澄清，以下使用泛型的代码使警告消失。

class Foo<T extends Enum<T>>{
    Class<T> enumClass;
    Enum e = Enum.valueOf(enumClass, aString);
}

<T> 的用法就是我使用泛型的意思。我不能这样做，因为这将是一个巨大的级联变化。

Answer 1

Enum 和 Class 都是通用的。因此，如果您不想要任何警告：

class Foo<T extends Enum<T>>{
    Class<T> enumClass;
    T e = Enum.valueOf(enumClass, str);
}

或者你可以有一个通用的方法：

public <T extends Enum<T>> T getEnumValue(Class<T> clazz, String name) {
    T e = Enum.valueOf(clazz, name);
    return e;
}

但是，如果您不使用泛型，那么您使用的是原始类型，因此编译器会发出警告 - 除了禁止它们之外别无选择。

Answer 2

这似乎是一个编译器错误 - 它应该是一个错误，而不是警告。

编译方法调用表达式Enum.valueOf(enumClass...)时，首先对参数类型应用捕获转换。

<W extends Enum> // a new type parameter 
Class<W> enumClass; // the type of the argument after capture conversion

然后，对Enum.<T>valueOf(enumClass...)进行类型推断，结果为T=W。

然后，检查替换后T的边界，即W是否是Enum<W>的子类型。

（这个过程对于 15.12.2.2 和 15.12.2.3 是一样的；而 15.12.2.7 肯定会产生 T=W）

在这里，检查应该失败。所有编译器都知道W 是Enum 的子类型，它不能推断W 是Enum<W> 的子类型。 （好吧，我们知道这是真的，除了W=Enum；但是这个知识在子类型规则中不存在，所以编译器不使用它——我们可以通过使用MyEnum层次结构来验证这个例子，编译器会表现一样。）

那么为什么编译器会通过绑定检查并只发出警告？还有另一条规则允许从 Raw 分配到 Raw<X> 并带有未经检查的警告。为什么允许这样做是另一个问题（不应该），但编译器确实认为Raw 可以分配给Raw<X>。显然这条规则被错误地混入了上面的子类型检查步骤，编译器认为由于W是Enum，它在某种程度上也是一个Enum<W>，编译器通过子类型检查只是一个警告，违反规范.

如果这样的方法调用不应该编译，那么正确的方法是什么？我什么都看不到 - 只要参数enumClass 的类型还不是Class<X extends Enum<X>> 的递归形式，就没有多少铸件/转换可以使它变成那种形式，因此没有办法匹配Enum.valueOf 方法的签名。也许javac家伙故意违反规范只是为了让这种代码编译！

Answer 3

如果您考虑一下 valueOf 内部必须发生的事情，您会意识到您的代码不可能像编写的那样工作。 Enum.valueOf 需要一个实际枚举类的实例作为参数；然后它会简单地遍历 values() 以寻找匹配项。

由于type erasure，泛型无法在您的代码中工作。没有实际类型被传递到 Enum.valueOf。