[[432412]]

大家好，我是煎魚。

前段時間根據 Go 泛型的最新動態，我寫了一篇《出泛型后 API 怎么辦?Go 開發者要注意了》文章，引發了不少小伙伴的熱議。

Go 核心開發團隊的現任 Leader @Russ Cox 在 golang-dev 中正式發表《expectations for generics in Go 1.18》對 Go 泛型給出了 “期待”，其實大家可以認為是后續泛型的配套迭代計劃了。

如果不出現嚴重的問題，Go 1.18 將會包括對泛型的支持，并且這次泛型的支持將會是有史以來最大的一次語言變化。

對以下幾點有顧慮：

• 最佳實踐.
• 生產經驗
• 兼容性承諾。

接下來，煎魚帶大家一起了解 Russ Cox 發表的 Go 泛型進程，知悉官方一手消息。

最佳實踐

Go 團隊表示不知道使用泛型的最佳實踐是什么，所以給出的官方文檔將無法就何時使用泛型和何時不使用泛型給出精確、明確的答案，只可以給出粗略的指導。

此處可以參考《Effective Go》的最初版本，是在不間斷地寫了一整年的 Go 代碼后，才正式輸出的。

按照現有的計劃，官方只會提供關于如何使用泛型的文檔，暫時無法提供任何關于風格、最佳實踐的規定性文檔。

在提供的標準庫上，先是已經通過提案的 maps 和 slices庫會先放到 golang.org/x/exp 中作為實驗，不會保證向后兼容。待成熟后，再推廣到標準庫中。

可以明確，Go 泛型出來后，社區就會陸續開始百花齊放，接著有官方輸出推薦方法了，歷史是如此的相似。

生產經驗

目前 Go 團隊沒有關于泛型的生產經驗，因此會在文檔中給出明確提示，讓大家在生產中使用泛型的時候應該適當謹慎。

泛型出來后，會陸續涉及到大量的重寫工作，但是由于現在處于中間階段。正在重寫的 Go 1.18 工具鏈去同時適配泛型、非泛型代碼是需要時間和經驗的，有一定的風險。

因此泛型出來后，可能會出現一些意想不到的問題，僅在生產發現(教訓)。

兼容性承諾

Go1.18 會和其他 Go1.x 版本一樣，保證向后兼容的承諾：不會破壞用 Go 1.18 構建的代碼，包括使用泛型的代碼。

如果是最壞的情況，如果發現 Go 1.18 的語義有一些致命的問題，并需要改變它們(例如：在Go 1.19 中)。

將會使用 go.mod 文件的 go 行來確定該模塊中的源文件是期待 Go 1.18 還是 Go 1.19+ 語義，以此實現版本控制。但目前來看，不需要這樣做。

也建議急于使用 Go 泛型的開源庫作者，做好泛型和非泛型版本代表的支持和隔離，這樣對用戶會更加的友好。

總結

可以明確的是，Go 泛型的整體推進方案，在這篇文章中均已說明。Go 官方團隊也與許多第三方工具的作者進行溝通。

第三方工具可能不會在 Go 1.18 發布時就完全支持泛型，這會由各作者自行根據自己的時間表來更新。

煎魚猜測推進節奏就是：

• 支持泛型語法。
• 觀察。
• 推進標準/工具庫。
• 逐步替換。
• 修 BUG。
• 觀察、優化
• 生產可用。

大概需要 2~3 個 Go 版本，需要 1~2 年，Go 泛型的各類配套組件就會基本完善，可用，轉為持續優化了。