Java 泛型

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