java方法重载的调用目标在编译期通过静态类型和参数签名精确匹配确定，属于静态绑定；编译器按精确匹配、自动提升、装箱拆箱、向上转型、可变参数的优先级逐层解析，不依赖运行时实际类型。
Java 中方法重载的调用目标在编译期就完全确定，靠的是编译器对“静态类型”和“参数签名”的精确匹配，不依赖运行时对象的实际类型。这个过程就是静态绑定，本质是编译器的一次查表与选择，不是 JVM 在运行时决定的。
重载解析只看声明类型和参数编译时类型
编译器不关心变量实际指向哪个对象，只认它的声明类型（即左边的类型）和实参在代码中表现出的字面类型或可推导类型。
- 例如
Object obj = new String();，调用print(obj)时，编译器只看到obj声明为Object，就去匹配print(Object)，哪怕运行时它是String实例 - 传入
null时，编译器会选最具体的重载版本（如同时有print(String)和print(Object)，优先选前者） - 基本类型自动提升也按编译期规则走：传
byte给重载方法，若没有byte参数版本，会尝试匹配short→int→long，而不是包装类
参数列表是唯一区分依据
重载是否成立，只由方法名 + 参数个数、类型、顺序共同构成的“签名”决定。返回值、异常、访问修饰符全都不参与区分。
Java JDK 25
下载
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
-
void foo(int x)和String foo(int x)不能共存，编译直接报错 -
foo(List<string>)</string>和foo(List<integer>)</integer>编译不过，因为泛型擦除后都是foo(List)，签名重复 -
foo(int...)是可变参数，它在重载排序中优先级最低，只有当其他所有匹配都失败时才考虑
匹配过程有明确优先级顺序
编译器按以下层级逐级尝试匹配，一旦某层有唯一解就停止：
- 精确匹配（类型完全一致）
- 自动类型提升（
byte→int、char→int等） - 装箱/拆箱（
int↔Integer） - 向上转型（
String→Object） - 可变参数（
int...）
如果某一层出现多个候选（比如两个方法都满足“向上转型”），编译器报错：“reference to xxx is ambiguous”。这说明设计上出现了歧义，必须手动调整参数或增加类型转换。
静态绑定意味着运行时零开销
一旦编译通过，生成的字节码里就直接写死了要调用哪个方法——使用 invokestatic 或 invokevirtual 指令（取决于是否静态方法），但绝不会在运行时再去查表或判断。
- 哪怕调用链里某个引用是
null，只要编译期能确定签名，就照样通过；运行时才抛NullPointerException - 子类里定义了新重载方法，不影响父类引用调用时的绑定结果；它只是增加了新的可选签名，不改变已有绑定逻辑
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
