泛型方法执行隐式转换，而非泛型方法需要显式转换

Question

这个问题与to a previous question有关。可以通过添加强制转换来进行未经检查的转换来解决原始问题。所以现在我有以下代码：

import java.util.EnumSet;

class A {
    static enum E1 {
    X
    }

    private static <T extends Enum<T>> EnumSet<T> barEnum(Class<T> x) {
        return null;
    }

    private static void foo1(EnumSet<E1> s, E1 e) {
        EnumSet<E1> x2 = barEnum((Class<E1>)e.getClass());
    }

    private static void foo2(EnumSet<E1> s) {
        EnumSet<E1> x = barEnum((Class<E1>)s.iterator().next().getClass());
    }
}

我的初衷是写一个泛型方法。于是我把foo2()的方法概括为：

private static <E extends Enum<E>> void foo3(EnumSet<E> s) {
    EnumSet<E> x = barEnum(s.iterator().next().getClass());
}

这显然包含未经检查的转换，并带有适当的警告进行编译。但我没有将getClass() 的结果显式转换为Class<E>。由于foo1() 是通用方法foo3() 的一个实例，我预计我也需要在此处添加演员表。比较 foo1() 和 foo4()...

    private static void foo4(EnumSet<E1> s) {
        EnumSet<E1> x = barEnum(s.iterator().next().getClass());
    }

...两者实际上相似（主要区别在于foo1() 中的E1 e 参数）。然而foo1() 编译，但foo4() 不编译。我觉得这很矛盾。是否有任何规则允许对泛型方法进行隐式转换？

Answer 1

发生了两件事。首先，如果您查看 getClass 的 javadoc，它会说：

实际结果类型是Class<? extends |X|>，其中|X| 是调用getClass 的表达式的静态类型的擦除。

这意味着在您的泛型方法中，barEnum 是使用 Class<? extends Enum> 而不是 Class<? extends Enum<E>> 调用的。由于Enum 是一个原始类型，这会创建一个未经检查的调用，这反过来意味着返回类型被删除（另请参见：Why is generic of a return type erased when there is an unchecked conversion of a method parameter in Java 8?）。

所以在这种情况下，barEnum 实际上返回了一个EnumSet，它是一个原始类型，可以在未经检查的情况下转换为EnumSet<E>。

对于您的非泛型方法，您必须将参数显式转换为Class<E1>，因此没有未经检查的方法参数转换，因此也没有未经检查的调用。但是，这也意味着返回类型没有被删除，编译器找不到对该调用有效的T。

Answer 2

我的建议是阅读出色的 Java 泛型常见问题解答： http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html

在我看来，它不会编译，因为静态方法不继承泛型类的类型参数。然后，您尝试获取参数化类型的运行时类信息，这将不起作用，因为 Java 对其泛型实现使用擦除。

一旦您超越了简单的集合等，Java 中的泛型就一点也不简单了。这就是常见问题解答是不可或缺的资源的原因。

Answer 3

当我为获得的类提取变量并让我的 IDE '修复'它可以修复的所有内容时，我得到了这个：

private static void foo4(Iterable<E1> s) {
    Class<? extends E1> aClass = s.iterator().next().getClass();
    EnumSet<E1>         x      = barEnum(aClass);
}

如您所见，aClass 未参数化（Enum 上有一条警告说它是“原始的”）。此外，它声明它可以是 Enum 的任何子类，而 barEnum 只接受特定的枚举，并且由于特定的枚举是 final 类（它们不能有子类），因此存在冲突。

当我将batEnum 更改为

private static <T extends Enum<T>> EnumSet<T> barEnum(Class<? extends T> x) {

错误消失了，因为它现在接受 Enum 的子类。