[Java123] 方法重载中遇到的编译器错误: both methods have same erasure => 引入Java泛型type erasure

场景：

当两个重载函数的参数如下

void func(Map<Integer, String> map) {}

void func(Map<Integer, List<String>> map) {}

IDE会报出编译错误：both methods have same erasure

 

解答：

由于Java泛型在编译时擦除类型之后，上述方法会变成

void func(Map map)

 

 

查询了一下，又有几个相关概念需要了解和掌握。

https://www.jianshu.com/p/f9da328c91be

Java的泛型不同于C++的模板：Java泛型是"type erasure"，C++模板是"reified generic"。

• type erasure：泛型类型仅存在于编译期间，编译后的字节码和运行时不包含泛型信息，所有的泛型类型映射到同一份字节码。
• reified generic：泛型类型存在于编译和运行期间，编译器自动为每一种泛型类型生成类型代码并编译进二进制码中。

 

type erasure的本质

泛型(T) --> 编译器(type erasure) --> 原始类型(T被Object替换)
泛型(? extends XXX) --> 编译器(type erasure) --> 原始类型(T被XXX替换)
原始类型指被编译器擦除了泛型信息后，类型变量在字节码中的具体类型。

type erasure导致泛型的局限性

类型擦除降低了泛型的泛化性，使得某些重要的上下文环境中不能使用泛型类型，具有一定的局限性。

 

 

运行时隐含类型转换的开销： 使用泛型时，Java编译器自动帮我们生成了类型转换的代码，这相对于C++模板来说无疑带来了额外的性能开销。

重载方法签名冲突

一个类不能实现同一个泛型接口的两种变体

 

 

https://blog.csdn.net/abc_12366/article/details/79177328

https://blog.csdn.net/weixin_34121282/article/details/88535522 Map泛型