一道 Java 面试题

关于程序员对 Java 类型系统的理解,比较高级的一个面试问题是这样:

public static void f() {
    String[] a = new String[2];
    Object[] b = a;
    a[0] = "hi";
    b[1] = 1;
}

这段代码里面到底哪一行错了?为什么?如果某个 Java 版本能顺利运行这段代码,那么如何让这个错误暴露得更致命一些?

注意这里所谓的「错了」是本质上,原理上的,而不一定是 Java 编译器或者运行时报给你的。也就是说,你用的 Java 实现都可能是错的。

如果你知道哪里错了,并且真正知道「为什么」错了,可以联系我。