JSR-14-泛型Java的实现

JSR-14-泛型Java的实现
第２２卷第３期计算机仿真２００４年５月文章编号：１００６—９３４８（２００５）０３—０２３２—０３
ＪＳＲ二１４：泛型Ｊａｖａ的实现
刘峻
（上海交通大学计算机软件与理论专业，上海２０００３０）
摘要：该文围绕即将加入Ｊａｖａ语言规范的泛型特性进行了讨论，ＪＳＲ一１４．就是这一特性的实现。

文章首先展示了在Ｊａｖａ中使用泛型的语法，包括泛型类、泛型方法以及极具特色的受限类型参数；然后深入揭示了ＪＳＲ一１４实现泛型的内部机制——用擦拭法将源文件翻译成为与原先字节代码兼容的形式，并讨论了在不同情况下擦拭法的具体实现方式；最后讨论了该实现的优点和限制，着重分析了它的限制，指出这些限制正是由于擦拭法所产生的，并分别分析了每种限制的具体原因。

关键词：泛型；参数化类型；擦拭法；软件
中图分类号：伪１２ＪＡ文献标识码：Ａ
ＪＳＲ－－１４：Ｔｈｅ。

ＩｍｐｌｅｍｅｎｔａｔｉｏｎｏｆＧｅｎｅｒｉｃＪａｖａ
ＩＪ［ＵＪ吼
（ＣｏｍｐｕｔｅｒＳｏｆｔｗａｒｅａｎｄＴｈｅｏｒｙ，ＳｈａｎｇｈａｉＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２０００３０，Ｃｈｉｎａ）ＡＢＳＴＲＡＣｔ：ＴｈｉｓａｒｔｉｃｌｅｉｓａｌｌａｂｏｕｔＪＳＲ一１４，ｔｈｅｉｍｐｌｅｍｅｎｔａｔｉｏｎｏｆＧｅｎｅｒｉｃＪａｖａ，ｗｈｉｃｈｗｉｌｌｂｅａｄｄｅｄｔｏＪａｖａＬａｎｇｕａｇｅＳｐｅｃｉｆｉｃａｔｉｏｎｉｎｔｈｅｎｅａｘｆｕｔｕｒｅ．ＦｉｒｓｔｌｙｔｈｅａｒｔｉｃｌｅｇｉｖｅｓａｄｅｓｃｒｉｐｔｉｏｎｏｆｔｈｅｓｙｎｔａｘｏｆｇｅｎｅｒｉｃｓｉｎＪａｖａ，ｉｎｃｌｕｄｉｎｇｇｅｎｅｒｉｃ
ｃｌａｓｓ，ｇｅｎｅｒｉｃｍｅｔｈｏｄａｎｄｂｏｕｎｄｅｄｔｙｐｅｐａｒａｍｅｔｅｒ．ＳｅｃｏｎｄｌｙｉｔｒｅｖｅａｌｓｔｈｅｍｅｃｈａｎｉｓｍｏｆＪＳＲ一１４，ｃａｌｌｅｄＥｒｓｓｕｒｅ，ｗｈｉｃｈｔｒａｎｓｌａｔｅｓｆｌｏｕｌｃｃｅｃｏｄｅｔｏｂｙｔｅｅｅｄｅｃｏｍｐａｔｉｂｌｅｔｏｔｈｅｏｒｉｇｉｎａｌｓｐｅｃｉｆｉｃａｔｉｏｎ．Ｌ鹪ｄｙｉｔｄｉｓｃｕｓｓｅｓｂｏｔｈｔｈｅａｄｖａｎｔａｇｅｓａｎｄｔｈｅｌｉｍｉｔａｔｉｏｎｓｏｆＪＳＲ一１４，ｐｕｔｔｉｎｇｅｍｐｈａｓｉｓｏｎｔｈｅｌｉｍｉｔａｔｉｏｎｓａｎｄｐｏｉｎｔｉｎｇｏｕｔＥｒａｓｕｌ＿｛ｅｉｓｔｈｅ８０ＵＩ＇Ｐ啤ｏｆｔｈｅｓｅｌｉｍｉｔａｔｉｏｎｓ．ＴｈｅｎｉｔａｎａｌｙｓｅｓｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｔｈｅｓｅｌｉｍｉｔａｔｉｏｎｓａｎｄＦＡ－ＲＳＲＩ＿ｅ．
ＫＥＹＷＯＲＩ峪：Ｇｅｎｅｒｉｃｓ；Ｐａｒａｍｅｔｅｒｉｚｅｄｔｙｐｅ；Ｅｒａｓｕｒｅ；Ｓｏｆｔｗａｒｅ
１引言
经过了数年的研究与开发之后，Ｊａｖａ即将支持泛型特性。

泛型技术所能带来的表达能力和安全性的增强，使得向Ｊａｖａ中添加这一特性的呼声一直很高，最终进入了Ｊａｖａ规范提议（ＪａｖａＳｐｅｃｉｆｉｃａｔｉｏｎＲｅｑｕｅｓｔ）的行列，被命名为ＪＳＲ一１４，并将于２００４年初ＪＤＫｌ．５版本发布时正式进入Ｊａｖａ规范中。

对这一较新的技术，本文相当全面地进行了研究。

第一部分介绍了Ｊａｖａ的泛型语法，包括ＪＳＲ一１４最有特色的部分：受限类型参数；第二部分讨论了ＪＳＲ一１４实现泛型的方式，揭示了底层的机制；第三部分分析了ＪＳＲ—１４的优点和限制，并讨论了某些限制所带来的影响。

２ＪｓＲ一１４泛型语法
ＪＳＲ一１４中使用参数化类型（Ｐｍ－ａｍｅｔｅｒｉｚｅｄＴｙｐｅ）这个术语来指代泛型化的类。

参数化类型包括一个类或者
接口ｃ和一个类型参数列表＜Ｔ１，…，＂Ｉｎ＞，其中ｃ必须是一个参数化的类或接口，＜Ｔ１，．…，Ｔｎ＞中参数的个数必须与ｃ收稿日期：２００３—１１—２０
—－－——２３２?－－——声明的参数数量相同［１］１。

２．１参数化类型的声明
一个参数化类型的声明定义了一组类型，类型参数列表的每一个可能的实例化都是一个类型。

声明一个参数化类型的语法如下例所示：例１声明一个参数化类型
ｃｌａｓｓＳｔａｅｋｌ）ｅｍｏ＜Ｔ＞ｉ
／／内部使用ＡｒｒａｙＬｉｓｔ来容纳对象
ｐｒｉｖａｔｅＡｒｒａｙＬｉｓｔ＜Ｔ＞ｔｈｅＳｔａｅｋ；
ｐｕｂｌｉｃＳｔａｃｋＤｅｍｏ（）｛
ｔｈｅ．Ｓｔａｃｋ＝ｎｅＷＡｒｒａｙＬｉｓｔ＜Ｔ＞（）；
｝
ｐｕｂｌｉｃｂｏｏｌｅａｎｉｓＥｍｐｔｙ（）｛
ｒｅｔｕｒｎｔｈｅＳｔａｃｋ．ｉｓＥｍｐｔｙ（）；
｝
ｐｕｂｌｉｃｖｏｉｄｐＩｌｓｌｌ（Ｔｅｌｅｍ）｛
ｔｈｅＳｔａｅｋ．ａｄｄ（ｅｌｅｍ）；
｝
ｐｕｂｌｉｃＴｐｏｐ（）｛
万方数据万方数据。