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)

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

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

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

的用法就是我所说的使用泛型。我不能这样做，因为这将是一个巨大的级联变化。

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.valueOf(enumClass...)进行类型推断，结果为T=W。

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

（这个过程对于 15.12.2.2 和 15.12.2.3 是相同的；并且 15.12.2.7 肯定会产生 T=W）

这里，检查应该失败。编译器只知道 W 是 Enum 的子类型，它不能推断出 W 是 Enum< 的子类型/代码>。 （好吧，我们知道这是真的，除非 W=Enum；但是子类型化规则中不存在这种知识，因此编译器不会使用它 - 我们可以通过使用 运行此示例来验证这一点>MyEnum 层次结构，编译器的行为是相同的。）

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

如果这样的方法调用不应该编译，正确的方法是什么？我看不到任何 - 只要参数 enumClass 的类型尚未采用 Class> 的递归形式，就没有大量的转换/转换可以使其成为这种形式，因此无法匹配 Enum.valueOf 方法的签名。也许javac的家伙故意违反规范只是为了让这种代码编译！

Answer 3

如果您考虑 valueOf 内部会发生什么，您就会意识到您的代码不可能按编写的那样工作。 Enum.valueOf 需要一个实际枚举类的实例作为参数；然后，它只是迭代该类的 values() 来查找匹配项。

由于类型擦除，泛型在您的代码中不起作用。没有实际类型被传递到 Enum.valueOf 中。