Java泛型的历史

时间:2023-12-27 11:36:31

为什么Java泛型会有当前的缺陷?

  之前的章节里已经说明了Java泛型擦除会导致的问题,C++和C#的泛型都是在运行时存在的,难道Java天然不支持“真正的泛型”吗?

  事实上,在Java1.5在2004年10月发布泛型之前,Java就证明了它是可以实现运行时泛型的。早在2001年8月,有一门基于Java,能运行在JVM上的编程语言,就实现过运行时泛型,它叫做Pizza。不过很可惜,Pizza在一年后就消亡了,主要的开发人员转入了Generic Java(简称GJ)项目中,而GJ这门语言的泛型整合了通配符之后,就构成了如今Java泛型的原型。

  J2SE的开发者当然是明白Java泛型的问题的,在JVM LS 2015上,就有介绍几种泛型实现的比较:

  c++使用编译时模板填充来实现泛型,对于每一种参数类型,都会产生一份代码,优势是能很好的指定各种类型,劣势是没有代码复用,会占用大量的空间。

  C#则是把类型变量存入了二进制文件(以参数化二进制码的形式),这对于使用各种类型是有优势的,唯一存在的问题只是虚拟机的实现会复杂一些。

  Java的泛型实现则是依赖擦除,这对于代码复用有好处,但是对于原始数据类型支持不足。

  了解完泛型的历史,就不得不提一个人,Martin Odersky。此人是Pizza的作者,也是GJ的设计者之一,他在一次访谈中爆料:Java要支持泛型,遇到的最大的问题是向上兼容。

  按照JVM语言大会给出的说法,增加泛型功能无非两条路:

  1、修改虚拟机,使字节码本身支持泛型。

  2、把泛型信息抹去,用边界信息来代替。

  C#就选择了方案1并且取得了成功。但这会提高虚拟机实现的复杂度,同时,又会导致旧版本的字节码不能执行在新版本虚拟机上,当然,也有人问,为什么不能同时支持带泛型和不带泛型两种,这无疑是增加复杂度降低执行效率的。.NET从1.1跨度到2.0,就抛弃了之前的兼容性。

  可惜Java不能这么做,.NET在当时用户量并不多,实际应用的代码既不广泛也不大型。而Java已经迭代到了1.4版本,是最具活力的编程语言之一,庞大的用户量同时也桎梏了Java的选择。

  当然,Java开发者们也在不停的尝试新的方案,目前,新的Java泛型设计正在实行中,相信在新的J2SE版本里能就能看到了。