剖根问底：Java 不能实现真正泛型的原因是什么？

大家好，我是二哥呀！

今天我来给大家讲一下，Java 不能实现真正泛型的原因是什么？

本文已同步至 GitHub 《教妹学 Java》专栏，风趣幽默，通俗易懂，对 Java 初学者亲切友善，么么哒😘，内容包括 Java 语法、Java 集合框架、Java 并发编程、Java 虚拟机等核心知识点，欢迎 star。

GitHub 开源地址：https://github.com/itwanger/jmx-java
码云开源地址：https://gitee.com/itwanger/jmx-java
CodeChina：https://codechina.csdn.net/qing_gee/jmx-java
在线阅读地址：https://itwanger.gitee.io/jmx-java/#/

简单来回顾一下类型擦除，看下面这段代码。

public class Cmower {
    public static void method(ArrayList<String> list) {
        System.out.println("Arraylist<String> list");
    }

    public static void method(ArrayList<Date> list) {
        System.out.println("Arraylist<Date> list");
    }
}

在浅层的意识上，我们会认为 ArrayList<String> list 和 ArrayList<Date> list 是两种不同的类型，因为 String 和 Date 是不同的类。

但由于类型擦除的原因，以上代码是不会编译通过的——编译器会提示一个错误：

'method(ArrayList)' clashes with 'method(ArrayList)'; both methods have same erasure

也就是说，两个 method() 方法经过类型擦除后的方法签名是完全相同的，Java 是不允许这样做的。

也就是说，按照我们的假设：如果 Java 能够实现真正意义上的泛型，两个 method() 方法是可以同时存在的，就好像方法重载一样。

public class Cmower {
    public static void method(String list) {
    }

    public static void method(Date list) {
    }
}

为什么 Java 不能实现真正意义上的泛型呢？背后的原因是什么？

第一，兼容性

Java 在 2004 年已经积累了较为丰富的生态，如果把现有的类修改为泛型类，需要让所有的用户重新修改源代码并且编译，这就会导致 Java 1.4 之前打下的江山可能会完全覆灭。

想象一下，你的代码原来运行的好好的，就因为 JDK 的升级，导致所有的源代码都无法编译通过并且无法运行，是不是会非常痛苦？

类型擦除就完美实现了兼容性，Java 1.5 之后的类可以使用泛型，而 Java 1.4 之前没有使用泛型的类也可以保留，并且不用做任何修改就能在新版本的 Java 虚拟机上运行。

老用户不受影响，新用户可以自由地选择使用泛型，可谓一举两得。

第二，不是"实现不了"

这部分内容参考自 R大@RednaxelaFX

Pizza，1996 年的实验语言，在 Java 的基础上扩展了泛型。

Pizza 教程地址 >这里插一下 Java 的版本历史，大家好有一个时间线上的观念。

• 1995年5月23日，Java语言诞生
• 1996年1月，JDK1.0 诞生
• 1997年2月18日，JDK1.1发布
• 1998年2月，JDK1.1被下载超过2,000,000次
• 2000年5月8日，JDK1.3发布
• 2000年5月29日，JDK1.4发布
• 2004年9月30日18:00 PM，J2SE1.5 发布

也就是说，Pizza 在 JDK 1.0 的版本上就实现了"真正意义上的"泛型，我引过来两段例子，大家一看就明白了。

首先是 StoreSomething，一个泛型类，标识符是大写字母 A 而不是我们熟悉的大写字母 T。

class StoreSomething<A> {
     A something;

     StoreSomething(A something) {
         this.something = something;
     }

     void set(A something) {
         this.something = something;
     }

     A get() {
         return something;
     }
}

这个 A 呢，可以是任何合法的 Java 类型：

StoreSomething<String> a = new StoreSomething("I'm a string!");
StoreSomething<int> b = new StoreSomething(17+4);

b.set(9);

int i = b.get();
String s = a.get();

对吧？这就是我们想要的"真正意义上的泛型"，A 不仅仅可以是引用类型 String，还可以是基本数据类型。要知道，Java 的泛型不允许是基本数据类型，只能是包装器类型。

除此之外，Pizza 的泛型还可以直接使用 new 关键字进行声明，并且 Pizza 编译器会从构造方法的参数上推断出具体的对象类型，究竟是 String 还是 int。要知道，Java 的泛型因为类型擦除的原因，程序员是无法知道一个 ArrayList 究竟是 ArrayList<String> 还是 ArrayList<Integer> 的。

ArrayList<Integer> ints = new ArrayList<Integer>();
ArrayList<String> strs = new ArrayList<String>();

System.out.println(ints.getClass());
System.out.println(strs.getClass());

输出结果：

class java.util.ArrayList
class java.util.ArrayList

都是 ArrayList 而已。

那 Pizza 这种"真正意义上的泛型"为什么没有被 Java 采纳呢？这是大家都很关心的问题。

事实上，Java 的核心开发组对 Pizza 的泛型设计非常感兴趣，并且与 Pizza 的设计者 Martin 和 Phil 取得了联系，新合作了一个项目 Generic Java，争取在 Java 中添加泛型支持，但不引入 Pizza 的其他功能，比如说函数式编程。

这里再补充一点维基百科上的资料，Martin Odersky 是一名德国计算机科学家，他和其他人一起设计了 Scala 编程语言，以及 Generic Java（还有之前的 Pizza），他实现的 Generic Java 编译器成为了 Java 编译器 javac 的基础。

站在马后炮的思维来看，Pizza 的泛型设计和函数式编程非常具有历史前瞻性。然而 Java 的核心开发组在当时似乎并不想把函数式编程引入到 Java 中。

以至于 Java 在 1.4 之前仍然是不支持泛型的，为什么 Java 1.5 的时候又突然支持泛型了呢？

当然是到了不支持不行的时候了。

没有泛型之前，我们可以这样写代码：

ArrayList list = new ArrayList();
list.add("沉默王二");
list.add(new Date());

不管是 String 类型，还是 Date 类型，都可以一股脑塞进 ArrayList 当中，这看起来似乎很方便，但取的时候就悲剧了。

String s = list.get(1);

这样取行吗？

不行。

还得加上强制转换。

String s = (String) list.get(1);

但我们知道，这行代码在运行的时候必然会出错：

Exception in thread "main" java.lang.ClassCastException: java.util.Date cannot be cast to java.lang.String

这就又回到"兼容性"的问题了。

Java 语言和其他编程语言不一样，有着沉重的历史包袱，1.5 之前已经有大量的程序部署在生产环境下了，这时候如果一刀切，原来没有使用泛型的代码直接扼杀了，后果不堪想象。

Java 一直以来都强调兼容性，我认为这也是 Java 之所以能被广泛使用的主要原......

原文转载：http://www.shaoqun.com/a/894417.html

跨境电商：https://www.ikjzd.com/

友家快递：https://www.ikjzd.com/w/1341

agora：https://www.ikjzd.com/w/2176

terapeak：https://www.ikjzd.com/w/556

大家好，我是二哥呀！今天我来给大家讲一下，Java不能实现真正泛型的原因是什么？本文已同步至GitHub《教妹学Java》专栏，风趣幽默，通俗易懂，对Java初学者亲切友善，么么哒😘，内容包括Java语法、Java集合框架、Java并发编程、Java虚拟机等核心知识点，欢迎star。GitHub开源地址：https://github.com/itwanger/jmx-java码云开源地址：htt
国际标准书号：https://www.ikjzd.com/w/174
泰山在哪里：http://www.30bags.com/a/419403.html
泰山站和泰安站是一个站吗，哪个离泰山近：http://www.30bags.com/a/433534.html
泰山周边有什么好玩的景点？：http://www.30bags.com/a/419656.html
泰山最佳旅游时间攻略：http://www.30bags.com/a/418380.html
女生喊痛男生还继续塞 女人越喊痛男人越用力冲刺：http://lady.shaoqun.com/a/247502.html
上课时遥控器开了震动 抵在课桌上边做题边h：http://lady.shaoqun.com/m/a/247736.html
口述他用舌头给我高潮 我一边喷水一边叫床：http://www.30bags.com/m/a/249890.html
美国两州税务设置更新：阿拉斯加州和科罗拉多州新增交易平台辖区将于2021年8月1日起生效：https://www.ikjzd.com/articles/147064
起底亚马逊的新杀招--封品牌！哪些操作会触发？：https://www.ikjzd.com/articles/147061
男的喝醉了，晚上走错了房间，女的没有反抗。事后，男的:我亏大了！：http://lady.shaoqun.com/a/428567.html
爱情故事:美女面具(爱情短篇)：http://lady.shaoqun.com/a/428568.html