Java 基于擦除实现的泛型也是泛型。
Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型。
泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。
缺点
类型擦除的缺点(同构)
泛型的擦除实现为所有引用实例只生成一个类,并且不支持使用原始类型实例化。因为所有(引用)实例只有一个类和一个对象布局,所以这种同构翻译(homogeneous translation)会产生高度的重用。这有一个限制,即我们只能涉及具有通用运行时表示(common runtime representation)类型,而 Java 中这代表一组引用类型。这种限制深深扎根于 JVM 的设计中;对引用值和原始值的操作有不同的字节码。
获取泛型参数的具体值
程序员可能会想要知道一个 List 到底是 List<String> 还是 List<Integer>,想要拿到实际泛型参数相关的信息,而因为类型擦除,实际上并不能做到这一点。
布局特化
当前基于擦除的实现要求泛型参数类型必须拥有公共运行时表示(common runtime representation),在 Java 里这意味着只能是一组引用类型,而不能为基础数据类型。这导致我们只能用 List<Integer>,而用不了针对 int 进行布局特化的 List<int>,底层存放的全是对 Integer 对象的引用,这造成了巨大的内存浪费,同时对现代 CPU 的缓存策略极端不友好,大量间接寻址产生大量 cache miss,产生大量的性能下降。这也是当前 Java 泛型擦除最大的问题。
运行时类型检查
因为泛型实际参数会被擦除,List<String> 会被擦除为 List,所以当通过一些手段(强制转换,raw type 等)将其他类型的值放入这个 List 的时候并不会出错,直到实际访问时才会发生问题。
类型擦除的优势
兼容性
Java 选择擦除最主要的原因是兼容性。Java 在 2004 年已经积累了大量的生态,如果把现有的类修改成泛型类,
需要让所有用户全部重新修改或编译,那完全是不可想象的,会直接导致 Java 1.4 前后生态完全分裂。
类型系统的自由度
擦除维护了 JVM 生态类型系统的自由度。虽然 Java 和 JVM 常常被绑定在一起,但它们是各自独立的,有着各自的规范。根据一些统计,有超过 200 种语言会编译到字节码。其中一些语言和 Java 的类型系统并不完全兼容,渴求更高的表达能力。类型擦除是一个很好的实现复杂类型的方式,Haskell 就是一个使用类型擦除的典型例子,它大多数类型检查都放在编译时,而在编译后擦除类型。由于通过类型擦除实现泛型,像 Scala 这样的语言可以以与 Java 泛型高度协同的方案实现远远超出 Java 类型系统表达能力的类型系统,同时保持高度的互操作性。
一个典型的反例就是 C#/CLR。CLR 的泛型系统严重制约了其上语言泛型的表达能力,C#、F# 等语言都因此难以拥有更强的类型系统,任何与 CLR 冲突的小区别都是致命的(譬如,因为 CLR 缺乏 bottom type,Scala 的 List、Option 等实现在其上就几乎无法直接表达,需要重写改写以适应 CLR),必须和 CLR 共同演化才能实现很多能力。在 CLR 上擦除泛型以实现更强大的类型系统是可能的,但代价就是完全和 CLR 原生的泛型生态撕裂,而原生就基于擦除实现的泛型就不会有这个问题。
运行时开销
异构翻译导致的代码膨胀问题,这会产生难以避免的运行时开销。当然,这个开销往往是值得的,但异构翻译的开销不止于此,另一个重要的开销问题就是运行时类型检查。运行时类型检查可以避免堆污染,维护安全性,并对于 List<String> 这样的简单类型来说,看起来开销往往是微不足道的。但是,在遇到复杂的类型(比如说 Map<? extends List<? super Foo>>, ? super Set<? extends Bar>>)时 ,类型检查的开销可能会出乎意料的大,这也是不得不考虑的问题。
使用
泛型有三种使用方式,分别为:泛型类、泛型接口、泛型方法
有界的类型参数
有时候,你会想限制那些被允许传递到一个类型参数的类型种类范围。例如,一个操作数字的方法可能只希望接受Number或者Number子类的实例。这就是有界类型参数的目的。
要声明一个有界的类型参数,首先列出类型参数的名称,后跟extends关键字,最后紧跟它的上界。
泛型方法
你可以写一个泛型方法,该方法在调用时可以接收不同类型的参数。根据传递给泛型方法的参数类型,编译器适当地处理每一个方法调用。
泛型方法的规则:
所有泛型方法声明都有一个类型参数声明部分(由尖括号分隔),该类型参数声明部分在方法返回类型之前(在下面例子中的<E>)。
每一个类型参数声明部分包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。
类型参数能被用来声明返回值类型,并且能作为泛型方法得到的实际参数类型的占位符。
泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型,不能是原始类型(像int,double,char的等)。
泛型类
泛型类的声明和非泛型类的声明类似,除了在类名后面添加了类型参数声明部分。
和泛型方法一样,泛型类的类型参数声明部分也包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数,这些类被称为参数化的类或参数化的类型。
类型通配符
类型通配符一般是使用?代替具体的类型参数。如 List<?> 在逻辑上是List<String>,List<Integer> 等所有List<具体类型实参>的父类
泛型方法定义在泛型类中
泛型方法和泛型类是独立存在的
泛型方法有自己的类型参数,泛型类的成员方法使用的是当前类的类型参数。
方法中有<T> 是泛型方法;没有的,称为泛型类中的成员方法。
获取参数化类型获取实际的参数类型
结论
泛型是一种语法糖,存在于编译期,在jvm中不运行
Javac Person .class文件
Javap -c Person 反汇编内容
相关参考文章:
https://zhuanlan.zhihu.com/p/370256018
https://www.zhihu.com/question/28665443
https://www.imooc.com/article/18159
查看class文件:https://blog.csdn.net/qq_41892229/article/details/112061094