跳至內容

Java的泛型

維基百科,自由的百科全書

Java的泛型是在Java 程式語言中符合泛型編程範式的特性工具,於 2004 年在J2SE 5.0 版本中被加入。泛型特性旨在擴展 Java 的類型系統,以允許「一種類型或方法對各種類型的對象進行操作的同時保障編譯時類型安全」。[1]然而這一點並未完全實現,在 2016 年泛型特性被證明並不能在所有情況下保證編譯時類型安全。 [2]

Java 集合框架支持泛型來指定存儲在集合實例中的對象的類型。

1998 年, 吉拉德·布拉查(Gilad Bracha) 、 馬丁·奧德斯基(Martin Odersky)、大衛·斯塔德邁爾(David Stoutamire) 和菲利普·瓦德勒創建了 Generic Java,它是支持泛型類型的一個 Java 語言擴展。 [3]Generic Java 通過添加通配符被包含到 Java語言中。

層次結構和分類

參考資料

  1. ^ Java Programming Language. [2022-07-23]. (原始內容存檔於2009-08-06). 
  2. ^ A ClassCastException can be thrown even in the absence of casts or nulls.Java and Scala's Type Systems are Unsound (PDF). [2022-07-23]. (原始內容存檔 (PDF)於2016-11-28). 
  3. ^ GJ: Generic Java. [2022-07-23]. (原始內容存檔於2022-07-03).