场景:
当两个重载函数的参数如下
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替换)
原始类型指被编译器擦除了泛型信息后,类型变量在字节码中的具体类型。
泛型(? 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泛型