Russ Cox（Go 核心開(kāi)發(fā)團(tuán)隊(duì)技術(shù) leader，下簡(jiǎn)稱"rsc"）公開(kāi)發(fā)布郵件，稱如果沒(méi)有意外情況，Go 1.18 將會(huì)支持泛型。
rsc 表示，泛型是 Go 1 發(fā)布以來(lái) Go 語(yǔ)言最重要的變化，同時(shí)也是有史以來(lái)最大的單一語(yǔ)言特性變化。他寫這封郵件主要是解釋為 Go 加入泛型對(duì) Go 開(kāi)發(fā)團(tuán)隊(duì)以及其他開(kāi)發(fā)者的意義。
rsc 認(rèn)為，Go 的任何新特性——無(wú)論是庫(kù)或者語(yǔ)法，都具有不確定性。同樣的，泛型也無(wú)法避免這種不確定性。而且由于泛型是一個(gè)較大的新特性，因此它帶來(lái)的不確定性也會(huì)相應(yīng)地更大。雖然他們?yōu)?Go 語(yǔ)言帶來(lái)了泛型，但他們自己并不了解使用泛型的最佳實(shí)踐是什么，所以無(wú)法在文檔給出關(guān)于何時(shí)使用泛型以及何時(shí)不使用的準(zhǔn)確、明確答案。
此外，Go 團(tuán)隊(duì)沒(méi)有任何在生產(chǎn)環(huán)境使用泛型的經(jīng)驗(yàn)，因此 rsc 表示他們會(huì)在發(fā)布說(shuō)明中明確指出，在生產(chǎn)環(huán)境中使用泛型應(yīng)該適當(dāng)?shù)刂?jǐn)慎處理。
rsc 強(qiáng)調(diào)了 Go 1.18 與其他 Go 1.x 版本一樣具有向后兼容的承諾：他們不會(huì)破壞使用 Go 1.18 構(gòu)建的代碼的兼容性，包括使用泛型的代碼。最壞的情況下，如果發(fā)現(xiàn) Go 1.18 語(yǔ)義存在致命的問(wèn)題，并需要進(jìn)行更改（例如在 Go 1.19 中提供更改），他們會(huì)使用 go.mod 文件的 go line 來(lái)確定該模塊中的源文件符合 Go 1.18 還是 Go 1.19+ 語(yǔ)義（預(yù)計(jì)不需要使用這種方法）。
rsc 還提到，第三方工具可能不會(huì)在 Go 1.18 發(fā)布時(shí)就完全支持泛型。他們正在與許多工具的作者溝通，盡量確保他們盡快更新，但每項(xiàng)工具都有自己的時(shí)間安排表。
對(duì)于“為什么不把「泛型」作為可選項(xiàng)提供”的疑問(wèn)，rsc 也進(jìn)行了解釋。他表示，在這方面，減少不確定性的唯一方法是默認(rèn)提供泛型。rsc 用?vendoring 舉例，他說(shuō)道，當(dāng) Go 團(tuán)隊(duì)在 Go 1.5 將 vendoring 作為可選項(xiàng)提供時(shí)，發(fā)生的情況是幾乎沒(méi)有人真正使用它，直到 Go 1.6 默認(rèn)啟用。另一方面，Go 1.5 版本將 Go 生態(tài)分裂成“在標(biāo)準(zhǔn) Go 下運(yùn)行的代碼”和“在啟用 Vendoring 后 Go 運(yùn)行的代碼”。現(xiàn)在他們希望盡可能避免泛型也出現(xiàn)這種情況。
