勁爆！Java 通用泛型要來了。。

文 | 白開水
出品 | OSC開源社區(qū)（ID：oschina2013）

Infoworld 消息指出，根據(jù) OpenJDK 提案，Java 將獲得通用泛型（universal generics），此舉旨在使該語言更易于使用。不過該規(guī)劃本身需要花費數(shù)年時間才能實現(xiàn)。

通用泛型最初將通過 OpenJDK 社區(qū)中的三個提案來實現(xiàn)。

甲骨文方面表示，這些提議將極大地改變 Java 語言和 JVM，結(jié)合類的靈活性和基元的性能。一切（包括基元）都將成為一個對象。但是所選擇的路徑并不會降低基元的性能，而是使類的性能與基元一樣。

三個 JDK Enhancement Proposals（JEP）中的每一個都提供了不同的功能，但想要達(dá)到預(yù)期的效果，則需要結(jié)合這三個提案。

其中最主要的是一份于 2 月創(chuàng)建并于 10 月 29 日更新的 JEP 草案，它要求通過允許 Java 類型變量覆蓋這兩種類型來統(tǒng)一對泛型代碼中引用和原始值類型的處理。將會產(chǎn)生新的 warnings，以維護(hù)通用代碼的安全保證。

使用用戶聲明的原始對象增強(qiáng) Java 對象模型的第二個 JEP 將作為先決條件；計劃將基本基元與對象統(tǒng)一起來的第三個 JEP，預(yù)計也會推進(jìn)。其他 JEP 則將隨之更新標(biāo)準(zhǔn)庫、解決 null warnings 和使庫為專業(yè)化做好準(zhǔn)備，并在 JVM 中引入通用 API 的運行時專業(yè)化。

通用泛型計劃提倡讓 generic API 直接支持 primitive value types，以便直接對 custom-defined primitives 進(jìn)行操作；引用類型也將被支持。

提案指出，理想情況下這應(yīng)該是 Java 泛型的默認(rèn)行為，這樣 primitive value types 就可以完全參與到 Java 生態(tài)系統(tǒng)中。目前還沒有確定通用泛型何時會出現(xiàn)在 Java 中，但預(yù)計仍需要很多年才能實現(xiàn)。

且通用泛型將擴(kuò)展平臺中現(xiàn)有的泛型能力。

2004年推出的 Java 2 Platform 和 Standard Edition 5.0 為語言和平臺帶來了泛型，允許開發(fā)者識別他們想要存儲在集合中的內(nèi)容，并使迭代器類型安全。但在 2004 年的泛型迭代中，開發(fā)者只能對引用類型進(jìn)行泛化。

通過將基元與引用統(tǒng)一起來，可以采取下一步措施，允許類型參數(shù)在所有類型上進(jìn)行范圍化。

值得一提的是，Java 并不是唯一關(guān)注泛型功能的語言，Go 1.18 也計劃支持泛型。