Java 10使用var未全量编译引发Bug的技术问询

变更前代码 #

A.java #

var userAccounts = userService.getUserAccounts();

B.java #

class UserService {
    public OldUserAccounts getUserAccounts();
}

变更后代码 #

A.java #

var userAccounts = userService.getUserAccounts();

B.java #

class UserService {
    public NewUserAccounts getUserAccounts();
}

这个问题的核心在于**var是编译时类型推断，完全不涉及运行时动态类型解析**，结合Java的静态编译绑定规则，就会在不全量重建时出现这种看似奇怪的Bug：

• 第一次全量编译时，A.java的编译器会读取当时B.class的元数据——此时getUserAccounts()的返回类型是OldUserAccounts，所以编译器会把var userAccounts的类型硬编码为OldUserAccounts，并写入A.class文件中。
• 当你只修改B.java并单独编译它时，新生成的B.class里getUserAccounts()返回NewUserAccounts，但A.class没有被重新编译，它里面的userAccounts仍然保留着最初推断的OldUserAccounts类型。
• 运行时，JVM调用B的方法返回NewUserAccounts实例，但A.class的字节码期望的是OldUserAccounts类型：如果NewUserAccounts和OldUserAccounts没有继承关系，会直接抛出ClassCastException；如果有继承关系，可能会出现逻辑错误（比如调用子类没有的方法）。

简单来说，var并没有让变量变成“动态类型”，它只是让编译器帮你省略了手动写类型声明的步骤而已。一旦A.java被编译，变量的类型就固定了，后续修改依赖的B类返回类型，只要不重新编译A，就会出现类型不匹配的问题。

内容的提问来源于stack exchange，提问作者Akila Sachitra