Java var变量赋值不同子类疑问：为何Java21中B转C可运行？

核心结论 #

结合Java版本特性、var的类型推断规则及你的测试场景，可拆解出以下关键结论：

1. Java 5/8无法编译的直接原因 #

Java 5和8并未引入var关键字（var是Java 10新增特性），因此使用var声明变量的代码在这两个版本中会直接触发编译错误，与多态、类型兼容无关。

2. Java 11/15编译失败的原因（符合教材结论） #

在Java 10到Java 20的所有版本中，var的类型推断遵循编译期静态推断规则：变量的类型由声明时初始化表达式的静态类型决定，而非运行时类型。

• 执行var a = new B();时，编译器会推断a的静态类型为B（而非父类A）。
• 后续a = new C();的赋值操作中，C与B是平级子类，彼此无继承关系，无法将C类型实例赋值给B类型变量，因此触发编译错误，这与《徹底攻略Java SE 11 Silver問題集》的结论完全一致。

3. Java 21测试结果的异常解释 #

你提到Java 21中代码能运行并输出"C"，大概率是测试场景存在偏差，可能的原因包括：

• 代码实际存在差异：比如你将初始化代码写成var a = (A) new B();，此时编译器会推断a的类型为A，父类引用可接收任意子类实例，因此a = new C();合法，运行时会输出C。
• 混淆编译与运行环节：若代码本身存在编译错误，但你通过IDE自动修正（比如自动将var改为A）才成功运行，而非var规则发生变化。
• 类继承关系错误：若实际代码中C继承了B（而非直接继承A），则C是B的子类，赋值操作自然合法，但这不符合你描述的"均继承A且独立"的前提。

需要明确：Java 21并未修改var的核心类型推断规则，你描述的原代码在标准编译流程下仍会触发编译错误。

4. AI工具给出错误结论的原因 #

ChatGPT、Copilot等工具错误认为var会推断为父类A，这是对var类型推断规则的误解。var仅用于简化变量声明，不会自动将类型提升至父类，除非初始化表达式的静态类型本身就是父类（比如显式强转、父类引用赋值）。

多态相关说明 #

多态的核心是父类引用指向子类实例，前提是变量的静态类型为父类。在你的原代码中，var推断出的静态类型是B，而非A，因此不满足多态的前提，无法实现跨子类的赋值。只有当变量静态类型为A时，才能利用多态特性接收B或C的实例：

A a = new B(); // 静态类型A，运行时类型B
a = new C();   // 合法，静态类型A可接收子类C的实例

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