Java匿名对象默认引用类型规则及方法重载编译运行机制咨询

嘿，这个问题的核心其实是Java里方法重载的编译期静态绑定规则，这可能是你之前没深挖的关键细节！先明确一个核心区别：你熟悉的多态（方法重写）是运行期动态绑定，但方法重载完全是编译阶段就敲定的事儿，两者机制完全不同。

编译阶段到底在做什么？ #

当你写c.print(new B())时，编译器的首要任务是确定：到底要调用C类里的哪一个print方法？它的判断逻辑是这样的：

1. 先看实参的编译期静态类型——这里你写的是new B()，所以静态类型就是B（不管运行时实际是什么对象，编译器只认你代码里写的类型）。
2. 然后在C类的方法里找参数类型最匹配的重载：
   • 如果存在print(B b)，那B类型的实参直接完美匹配这个方法，编译器就把这段代码绑定到print(B b)上，生成的字节码里就明确要调用这个方法。
   • 当你删掉print(B b)后，编译器找不到参数为B的方法，就会向上寻找兼容的父类类型参数——因为B是A的子类，A类型的参数可以接收B对象，所以编译器就绑定到print(A a)上。

运行阶段又发生了什么？ #

这里要划重点：运行阶段只负责处理方法重写的动态绑定，而重载的方法在编译期已经确定死了，运行时不会再改变调用哪个重载方法。
比如如果你的print(A a)方法里调用了a.print()，那这个时候才会触发多态：运行时看a实际指向的是B对象，所以调用B的print方法。但在你的例子里，print(A a)直接输出"AA"，print(B b)直接输出"BB"，所以运行时只是执行编译期已经确定好的那个方法而已。

纠正你的小误解 #

不是new B()的引用类型变了——它的静态类型永远是B，运行时实际类型也是B。变化的是编译器在重载匹配时的选择逻辑：当有更精确的方法存在时，优先选精确匹配；没有的话，才会降级匹配父类兼容的方法。

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