Go 語(yǔ)言設(shè)計(jì)者 Robert Griesemer 和 Ian Lance Taylor 近日在 Golang 官方論壇發(fā)帖討論關(guān)于泛型及其括號(hào)使用的問(wèn)題。

他們提到很多人表達(dá)了對(duì)泛型語(yǔ)法的擔(dān)憂，特別是在類(lèi)型參數(shù)聲明和函數(shù)實(shí)例以及泛型的括號(hào)選擇方面。

常見(jiàn)的計(jì)算機(jī)鍵盤(pán)提供了四對(duì)單字符對(duì)稱(chēng)括號(hào)，分別是小括號(hào) ( )、方括號(hào) [ ]、花括號(hào) { } 以及尖括號(hào) < >?；诖?，他們解釋了目前泛型草案在示例代碼中使用小括號(hào)的原因。首先，Go 使用花括號(hào)來(lái)劃分代碼塊、復(fù)合字面量 (composite literals)和一些復(fù)合類(lèi)型，因此幾乎不可能在沒(méi)有嚴(yán)重語(yǔ)法問(wèn)題的情況下將花括號(hào)用于泛型。至于尖括號(hào)，解析器在某些情況下要求 >> 需要 unbounded lookahead。

所以只剩下 ( ) 和 [ ] 可供選擇。然而缺少修飾的方括號(hào)會(huì)在數(shù)組和 slice 的類(lèi)型聲明中造成歧義，在解析索引表達(dá)式時(shí)也會(huì)引起小程度的歧義。因此在設(shè)計(jì)之初他們決定使用小括號(hào)，因?yàn)樾±ㄌ?hào)似乎更符合 Go 語(yǔ)言的風(fēng)格，而且看起來(lái)問(wèn)題最少。

為了使小括號(hào)正常工作，并且為了向后兼容，他們表示不得不在類(lèi)型參數(shù)列表中引入 type 關(guān)鍵字。最后，他們?cè)趨?shù)列表、復(fù)合字面量和嵌入類(lèi)型中發(fā)現(xiàn)了額外的解析歧義，而這些歧義需要嵌套更多的小括號(hào)來(lái)解決。不過(guò)即便如此，他們還是決定繼續(xù)使用小括號(hào)，因?yàn)楫?dāng)時(shí)還有更重要的設(shè)計(jì)問(wèn)題需要解決。

現(xiàn)在他們決定重新考慮這個(gè)最初的決定。如果僅使用方括號(hào)聲明類(lèi)型參數(shù)，那么聲明數(shù)組的方式如下所示：

type A [N]E

不過(guò)這就無(wú)法與泛型的聲明進(jìn)行區(qū)分：

type A[N] E

但如果能接受額外的 type 關(guān)鍵字，那么歧義就會(huì)消失：

type A[type N] E

此外，使用小括號(hào)時(shí)產(chǎn)生的歧義似乎不會(huì)出現(xiàn)在方括號(hào)中。下面是一些使用方括號(hào)但不需要額外嵌套小括號(hào)的例子：

using () using []

funcf((T(int)) funcf(T[int])

struct{ (T(int)) } struct{ T[int] }

interface{ (T(int)) } interface{ T[int] }

[](T(int)){} []T[int]{}

為了更好地理解以及進(jìn)行測(cè)試，他們表示將開(kāi)始對(duì)原型實(shí)現(xiàn)進(jìn)行修改，讓泛型能使用小括號(hào)或方括號(hào)（注意不能同時(shí)混用，只能使用其中一種）。這些修改將首先提交到 dev.go2go 分支，最終會(huì)出現(xiàn)在 Go playground 上。

Robert 和 Ian 表示，除了使用方括號(hào)，還有另外經(jīng)過(guò)充分研究的符號(hào)可以選擇，這些方案能讓他們做出更明智的決定。

更多討論