为什么Java的泛型要用"擦除"实现？

在 Java 中的 泛型 ，常常被称之为 伪泛型 ，究其原因是因为在实际代码的运行中，将实际类型参数的信息擦除掉了 (Type Erasure) 。

那是什么原因导致了 Java 做出这种妥协的呢？

下面我就带着大家以 Java 语言设计者的角度，带领大家一起了解这里面的辛酸过往。

什么是真泛型

在了解 Java "伪泛型" 之前，我们先简单讲一讲"真泛型"与“伪泛型”的区别。

真泛型：泛型中的类型是真实存在的。

伪泛型：仅于编译时类型检查，在运行时擦除类型信息。

1、编程语言实现“真泛型”的一般思路

一般编程语言引入泛型的思路，都是通过编译时膨胀法 。

以 Java 语言实现"真泛型"为例，首先，对泛型类型(泛型类、泛型接口) 、 泛型方法 的名字使用特别的编码，例如将 Factory 类生成为一个名为 “Factory@@T” 的类，这种特别的编码后的名字将被编译器识别，作为判断是否为泛型的依据。

方法中使用占位符 T 的地方可以临时生成为 Object ，并带上特别的 Annotation 让 Java 编译器能得知这个是占位符。然后，如果编译时发现有对 Factory<String>的使用，则将 “Factory@@T” 的所有逻辑复制一份，新建 “Factory@String@” 类，将原本的占位符 T 替换为 String 。然后在编译 new Factory<String>() 时生成 new Factory@String@() 即可。