精确匹配是Java方法重载的最高优先级规则，要求实参类型与形参类型完全一致（含原始/包装类、泛型擦除后类型、数组维度等），跳过隐式转换；需避免数值类型提升歧义，推荐语义化类型或显式类型声明。
Java 方法重载的“精确匹配”是编译器选择重载方法的第一优先级规则。只要实参类型与某个重载方法的形参类型**完全一致**（包括包装类/原始类型、泛型擦除后类型、数组维度等），编译器就会直接选用它，跳过所有隐式类型提升或转换步骤——这是避开歧义和静默错误最可靠的方式。
明确区分原始类型与包装类型
避免把 int 和 Integer 当作可互换参数设计重载。例如：
- 定义
void handle(int x)和void handle(Integer x)是合法重载，但调用handle(5)只会匹配int版本（精确匹配）；handle(new Integer(5))或handle(Integer.valueOf(5))才走Integer版本 - 若只定义了
handle(Integer x)，再调用handle(5)会触发自动装箱，属于“装箱匹配”，不是精确匹配——此时若还有handle(Number x)或handle(Object x)，就可能引发二义性
用不可提升的语义化类型替代数值类型
数值类型之间天然存在提升链（byte → short → int → long → float → double），极易导致匹配失败。更安全的做法是：
- 用
String、Path、URL、Duration等具体语义类型作参数，它们彼此不兼容，不会发生隐式转换 - 或使用带单位的封装类，如
Seconds、Kilograms，让void process(Seconds s)和void process(Kilograms k)完全隔离 - 避免同时定义
handle(short)、handle(int)、handle(long)——字面量1会因提升路径不唯一而编译失败
强制显式类型声明消除推导歧义
当必须使用基础数值类型时，靠字面量本身无法保证精确匹配，需人工干预类型：
立即学习“Java免费学习笔记（深入）”；
- 调用
handle((short) 1)明确指定为short，才能命中handle(short)；写handle(1)永远是int字面量 - 对数组参数，Kotlin 调用 Java
int[]方法时，必须用list.toIntArray()而非list.toTypedArray()，否则得到的是Integer[]，不满足精确匹配要求 - 在泛型方法中，避免依赖类型推导：显式写出类型参数，如
Util.<string>parse("abc")</string>，防止擦除后签名漂移
用 @Override 配合 IDE 验证签名一致性
虽然 @Override 主用于重写，但它对重载也有间接约束价值：
- 在子类中意图重载父类某个方法时，加上 @Override 后，IDE 会立刻标红提示“method does not override anything”，帮你发现因泛型边界、装箱、数组类型不一致导致的签名偏差
- 配合 Ctrl+Click（或 Cmd+Click）跳转：如果点不进父类方法，说明当前方法不是重载而是全新声明——这往往是隐式转换悄悄改了参数类型的信号
- 禁用手动拼写方法签名，一律用 IDE 的 “Generate Override Methods” 功能生成，确保 throws、泛型通配符、数组维度等细节零遗漏
