Java語言靜態泛型成員之機制

A Mechanism of Static Generic Type Members for the Java Programming Language

鄭力瑋(Li-Wei Cheng)

指導教授 ： 陳俊良

國立臺灣大學/電機資訊學院/資訊工程學研究所/碩士(2006年)

https://doi.org/10.6342/NTU.2006.00499

摘要

經過多年的研究，一個將Java語言加入泛型機制的解法已經在Java 5.0上發佈了。為了兼顧新舊版本的相容性以及新舊程式碼的交互使用，Sun採用了擦拭法來達成泛型機制。擦拭法通常也被稱為一般化方法。然而，在擦拭法下帶來最大的問題為執行期間與泛型相關的型別資訊將會漏失。本論文中，將提出擦拭法帶來的另一個問題，這問題將導致無法使用泛型的靜態成員。最後，提出一個可行的解法並實現於Java 5.0編譯器之上。

關鍵字

泛型 ； 一般化 ； 特殊化 ； 一般化及共享 ； 爪哇編譯器

並列摘要

Through the research for many years, a solution for the problem of extending Java with parametric polymorphism (genericity) has released in Java 5.0. In order to have the capability of backward compatibility and the capability of interoperability with legacy code, Sun adopts the method of type erasure to achieve Java with parametric polymorphism. The method is also called Generalization. Run-time type information will be lost because of type erasure and it’s the major problem of the solution. In the thesis, we show that Java 5.0 can’t declare static variable whose type is type parameter of class due to type erasure and propose a solution for this problem.

並列關鍵字

Generics ； Generalization ； Specialization ； Specialization and sharing ； Java Compiler

參考文獻

[1] Andrew Kennedy and Don Syme. Design and implementation of generics for the .Net Common Language Runtime.

Types to the JavaTM Programming Language.

[4] Brain Cabana, Suad Alagi, and Jeff Faulkner. Parametric Polymorphism for Java: Is There Any Hope in Sight?

ACM SIGPLAN Notices, volume 39, Dec 2004.

[5] B.Stoustrup. The C++ Programming Language. Addison-Wesley, 1987.