Java泛型：参数化类中参数化方法的运行时行为解析

我们先拆解代码核心问题：两个print方法的重载选择差异，本质是参数化类型 vs 原始类型对方法重载解析的影响。

第一个场景：使用通配符的参数化实例 #

SomeGenClass<?> gen = new SomeGenClass("1");
gen.print(list); // 调用<E> print(Collection<E>)

这里gen是带通配符的参数化类型，编译器会保留泛型上下文。当调用print(list)时，list的类型是List<String>：

• List<String>是Collection<String>的子类，完全匹配泛型方法<E> print(Collection<E>)的参数；
• 另一个方法print(List<Integer>)的参数是List<Integer>，和List<String>属于不同的参数化类型，无继承关系，编译器不会选择它。
  运行时执行泛型方法，输出1 a符合预期。

第二个场景：使用原始类型的实例 #

SomeGenClass gRaw = new SomeGenClass("2");
gRaw.print(list); // 调用print(List<Integer>)并抛出ClassCastException

这里gRaw是原始类型（未指定泛型参数的SomeGenClass），Java会对所有泛型相关信息执行类型擦除，直接改变了方法重载的匹配逻辑：

1. 泛型方法<E> print(Collection<E>)被擦除为print(Collection)；
2. 方法print(List<Integer>)的泛型参数Integer被擦除，变成print(List)；
3. 传入的list在原始类型语境下会被看作List（而非List<String>），此时List是Collection的子类，编译器会选择更具体的重载方法——即擦除后的print(List)（对应原代码中的print(List<Integer>)）。

运行时，该方法尝试把list里的String元素强转为Integer，因此抛出ClassCastException。

关键结论 #

• 参数化类型会保留泛型上下文，重载解析严格遵循参数化类型的匹配规则；
• 原始类型会擦除所有泛型信息，重载解析基于擦除后的原始类型进行匹配，容易出现“意外匹配”，进而引发运行时类型转换异常。

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