Java泛型类/方法多边界类型的类型擦除与隐式转换疑问

问题1解答 #

是的，test(T t)经过类型擦除后的方法签名就是test(C t)。
按照Java语言规范对泛型边界的要求，当类型变量存在多个边界时，擦除规则固定取首个边界作为擦除后的类型，其余边界会被直接丢弃。这种设计主要有两个原因：

• Java本身是单继承多实现的语言，规则明确要求多个边界里只有首个边界可以是类或者类型变量，后续的边界只能是接口，擦除为首个类类型可以最大程度兼容JVM的原有方法调用逻辑，调用类中定义的方法时不需要额外插入转型逻辑，执行效率更高
• 剩下的接口边界调用场景占比低，只需要在实际调用接口方法时插入对应的checkcast指令即可，不会带来过多的性能开销，同时完美兼容了不支持泛型的旧版本JVM运行环境。

问题2解答 #

是的，编译期做类型校验时，T的隐式转换目标就是C & I的联合边界类型。
所以你在代码里既可以调用C类中定义的所有非私有方法，也可以直接调用I接口中定义的mI()方法，不需要做任何手动强制转换，编译期会自动校验这两个边界里的成员，只要是边界里存在的非私有方法都允许直接调用。

问题3解答 #

二者完全不是同一概念，核心区别有两点：

• 作用阶段不同：你提到的隐式转换是编译期符号分析阶段的逻辑，仅用来做类型合法性校验，不会修改最终生成的字节码内容；而类型擦除是编译后期生成字节码时的逻辑，会直接把所有泛型相关的信息抹除，替换为擦除后的类型，同时插入必要的转型指令，是会直接改变最终运行时的字节码逻辑的。
• 设计目的不同：隐式转换的目的是简化泛型代码的编写，不需要开发者手动转型就能调用所有边界中的成员，同时做编译期类型检查避免非法调用；而类型擦除的核心目的是向前兼容，让Java 5之后写的泛型代码能在没有泛型支持的旧版本JVM上正常运行。

内容的提问来源于stack exchange，提问作者theutonium.18