将字符串分配给列表，而没有编译错误

Question

据我所知，Java中泛型的主要目的之一是提供编译时类型安全性。如果它被编译，代码将运行没有问题。

那么为什么要编译以下代码？

public static void main(String[] args) {
    String s = getList();
}

private static <T extends List> T getList() {
    return (T)new ArrayList();
}

它编译良好。我的类型安全编译在哪里？该getList()方法与String类没有任何共同之处。

Answer 1

这本质上不是类型擦除问题，而是几乎相反的情况：当系统知道实际类型时，就会在运行时遇到问题，而编译时却不会。编译的原因是那List是一个接口。就编译器而言，的子类String可能实际上实现了该接口，因此编译器认为可能存在有效的运行时情况，其中返回的实际对象String也是aList。编译器不认为String是最终的，因此实际上无法创建List-implementing String类。

至于为什么在编译过程中不考虑final，Bohemian对问题的评论给出了很好的解释。