java泛型方法不能仅因类型参数不同而重载，因类型擦除后签名重复导致编译失败；重载成立的前提是擦除后参数类型可区分；类型安全由编译期推断与强制转换保障，而非运行时泛型信息。
Java 中泛型方法不能靠类型参数不同来重载，不是因为编译器“选错了”，而是根本没机会选——擦除后签名重复，直接编译失败。
擦除是编译期强制行为，不是可选项
泛型方法如 <t> void handle(List<t> data)</t></t> 和 <u> void handle(List<u> data)</u></u>，在编译后都变成：
void handle(List data)
JVM 要求同一类中方法名、参数类型（擦除后）、返回类型三者组合必须唯一。两者完全一致，违反约束，报错：Method handle(List) is already defined。这不是歧义，是非法定义。
能共存的重载，只取决于擦除后的参数类型是否不同
只有当擦除后参数类型实际可区分，重载才成立。例如：
-
<t> void f(List<t>)</t></t>→ 擦除为f(List) -
void f(ArrayList<string>)</string>→ 擦除为f(ArrayList) -
<k> void f(Map<k>)</k></k>→ 擦除为f(Map)
因为 List ≠ ArrayList ≠ Map，三者可共存。调用时编译器看实参的静态类型：传 new ArrayList() 就绑定到第二个，传 new HashMap() 就绑定到第三个——这仍是标准重载解析，泛型只是贡献了一个合法的擦除签名。
语义正确性不靠“保留泛型”，而靠擦除+强制转换
泛型方法调用的类型安全，由两部分保障：
- 编译期：根据实参推断
T，插入隐式类型转换（如(String) list.get(0)） - 运行时：操作的是擦除后的原始类型（如
List），转换由编译器生成，失败则抛ClassCastException
例如 <t> T getFirst(List<t> list)</t></t> 调用 getFirst(new ArrayList<string>())</string>，编译器推得 T = String，并在字节码中插入 checkcast String 指令。语义正确性来自编译器的静态推断和转换插入，而非运行时保留泛型信息。
想实现“按实际类型分发”？得绕开重载机制
如果目标是让 process(x) 根据 x 的真实类型调用不同逻辑，泛型方法+重载走不通。可行路径包括：
- 用接口统一行为，泛型方法接收
Processor<t></t>实例 - 显式传入
Class<t></t>做运行时类型检查（类型令牌） - 用
instanceof+ 显式分支（仅适用于有限、已知的具体类型）
这些方案不依赖重载解析，而是把类型决策从编译期签名匹配，转移到逻辑控制或显式参数上。
