Go 泛型的括號選擇:[ ] or ( )?
Go語言設計者Robert Griesemer和Ian Lance Taylor近日在Golang官方論壇發帖討論關於泛型及其括號使用的問題。他們提到很多人表達了對泛型語法的擔憂,特別是在類型參數聲明和函數實例以及泛型的括號選擇方面。
常見的計算機鍵盤提供了四對單字符對稱括號,分別是小括號( )、方括號[ ]、花括號{ } 以及尖括號< >。基於此,他們解釋了目前泛型草案在示例代碼中使用小括號的原因。首先,Go 使用花括號來劃分代碼塊、複合字面量(composite literals)和一些複合類型,因此幾乎不可能在沒有嚴重語法問題的情況下將花括號用於泛型。至於尖括號,解析器在某些情況下要求<> 需要unbounded lookahead。
所以只剩下( ) 和[ ] 可供選擇。然而缺少修飾的方括號會在數組和slice 的類型聲明中造成歧義,在解析索引表達式時也會引起小程度的歧義。因此在設計之初他們決定使用小括號,因為小括號似乎更符合Go 語言的風格,而且看起來問題最少。
為了使小括號正常工作,並且為了向後兼容,他們表示不得不在類型參數列表中引入type
關鍵字。最後,他們在參數列表、複合字面量和嵌入類型中發現了額外的解析歧義,而這些歧義需要嵌套更多的小括號來解決。不過即便如此,他們還是決定繼續使用小括號,因為當時還有更重要的設計問題需要解決。
現在他們決定重新考慮這個最初的決定。如果僅使用方括號聲明類型參數,那麼聲明數組的方式如下所示:
type A [N]E
不過這就無法與泛型的聲明進行區分:
type A[N] E
但如果能接受額外的type
關鍵字,那麼歧義就會消失:
type A[type N] E
此外,使用小括號時產生的歧義似乎不會出現在方括號中。下面是一些使用方括號但不需要額外嵌套小括號的例子:
using () using [] func f((T(int)) func f(T[int]) struct{ (T(int)) } struct{ T[int] } interface{ (T(int)) } interface{ T[int] } [](T(int)){} []T[int]{}
為了更好地理解以及進行測試,他們表示將開始對原型實現進行修改,讓泛型能使用小括號或方括號(注意不能同時混用,只能使用其中一種)。這些修改將首先提交到dev.go2go分支,最終會出現在 Go playground 上。
Robert 和Ian 表示,除了使用方括號,還有另外經過充分研究的符號可以選擇,這些方案能讓他們做出更明智的決定。
更多討論查看 https://groups.google.com/forum/#!topic/golang-nuts/7t-Q2vt60J8