投射泛型类在 Eclipse 中是警告，但在 javac 中是错误的

Question

对于以下代码，我发现 Eclipse 和 javac 之间的行为存在重大差异：

public class TestIncompatibleTypes {

    private static <V> void libraryMethod(Class<? extends List<V>> in) {}

    public static void main(String[] args) {
        // Eclipse warns about 'Unchecked cast'
        // Maven fails with 'incompatible types'
        Class<? extends List<String>> l = (Class<? extends List<String>>) ArrayList.class;
        libraryMethod(l);
    }
}

Eclipse 对上述代码发出“未经检查的强制转换”警告，但编译成功。 Javac 生成错误：

$ java -version
openjdk version "1.8.0_72-internal"
OpenJDK Runtime Environment (build 1.8.0_72-internal-b15)
OpenJDK 64-Bit Server VM (build 25.72-b15, mixed mode)
$ javac -version
javac 1.8.0_72-internal
$ javac -source 8 TestIncompatibleTypes.java
TestIncompatibleTypes.java:13: error: incompatible types: Class<ArrayList> cannot be converted to Class<? extends List<String>>
        Class<? extends List<String>> l = (Class<? extends List<String>>) ArrayList.class;
                                                                                   ^
1 error

谁能解释为什么 javac 不允许强制转换？我的理解是类型擦除后它们应该是完全等价的。

是否有解决方法可以在两个编译器上进行编译？

Answer 1

是否有解决方法可以在两个编译器上进行编译？

Class<? extends List<String>> clazz;
// casting to interim type
clazz = (Class<? extends List<String>>) (Class<? extends List>) ArrayList.class;
// raw types .......
clazz = (Class) ArrayList.class;

但是！这段代码值得解释它为什么起作用以及何时可能不安全：

• java.util.ArrayList 对其类型变量没有特殊限制。
• java.lang.Class 是不可变的，只能用于创建新实例。

如果您使用除ArrayList 和Class 之外的其他类型，则相同的转换可能会导致堆污染，例如抛弃重要信息：

class IntegerList extends ArrayList<Integer> {}
// now we can create a new instance and put String in a List<Integer>
Class<? extends List<String>> clazz =
    (Class<? extends List<String>>) (Class<? extends List>) IntegerList.class;

（我还要提醒一下，使用ArrayList.class 仍然可能造成堆污染，我只是没有认真考虑过。）

在 Java 8 中，我们应该更喜欢 lambdas 而不是反射来创建实例，这样可以避免整个问题：

static <V> void libraryMethod(Supplier<? extends List<V>> in) {}
void somewhere() {
    Supplier<? extends List<String>> supplier = ArrayList::new;
    libraryMethod(supplier);
}

当然，如果由于某种原因你不能使用它，那么你会有点卡在使用Class 做偶尔的笨拙的事情。

谁能解释为什么 javac 不允许强制转换？

Java 不允许“横向”强制转换，例如：

Number n = ...;
String s = (Number) n; // compiler error

我解释了原始类型参数 here 和 here 的工作原理。

简短的解释是存在这样的子类型关系：

           Class<? extends List>
            ╱                 ╲
Class<? extends List<String>>  Class<ArrayList>

两者都是Class<? extends List>的子类型，既不是另一个的子类型也不是另一个的超类型。

Answer 2

看起来您将Class<ArrayList>> 转换为Class<? extends List<String>>，但ArrayList 类没有那种泛型。我不确定你的Class<? extends List> 是否需要<String> 泛型