当涉及类型参数时，为什么Java不能找出一些明显的非法强制转换？

Question

public class Example {
    public static <T> void f(T obj) {
        Integer i = (Integer) obj; // runtime error
    }
    public static void main(String[] args) {
        f("hello");
    }
}

List<String> ls = new ArrayList<>();
ls.add(42); // compile-time error
ls.add("foo");
Integer i = ls.get(0); // compile-time error

如果答案是“编译器只是不够聪明”，那么（向后兼容？）为什么不能让它变得更聪明？

Answer 1

Java基于其当前的规则集（参见JLS）必须分别处理方法内容和调用站点。

演员阵容

(Integer) obj

必须在编译时允许，因为t可以是整数。毕竟，像这样的电话

f(4)

House a = new House();
Dog b = (Dog) a;

总而言之，您必须向Java语言设计人员询问决策过程中的确切原因。它就是它的本来面目。

这里通常是静态代码分析器的工作（就像大多数IDE已经包含的那样）。他们实际上会扫描您的代码，所有的用法等等，并试图弄清楚您当前的代码流是否存在可能的问题。

需要注意的是，这也包括了大量的误报，因为我们刚刚了解到，并不是所有的这种用法实际上都是错误的，有些危险的设置可能是有意的。

所以tldr是，几乎所有真实的代码情况都需要更多的努力，一个工具才能100%地证明调用是不正确的。此外，对其进行编程要困难得多，而且不能始终确保没有误报。这就是为什么这些东西通常不是由编译器而是由静态代码分析器来完成的原因。

这方面的两个常见示例是方法嵌套和代码分支。

假设您在另一个方法中隐藏cast（Integer）obj一个level depper：

public static void main(String[] args) {
    f("hello");
}

public static <T> void f(T obj) {
    g(obj);
}

public static <T> void g(T obj) {
    Integer i = (Integer) obj;
}

public static void main(String[] args) {
    f("hello");
}

public static <T> void f(T obj) {
    if (isMonday()) {
        Integer a = (Integer) obj;
    } else {
        String b = (String) obj;
    }
}