Go 泛型的括号选择:[ ] or ( )?

来源: OSCHINA
编辑: 局长
2020-07-16

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

展开阅读全文
8 收藏
分享
加载中
精彩评论
排除<>括号的理由不成立,难道()括号不需要成对展开吗😳?
c++/java/c# 等全部采用<>括号,golang这是为了不同而不同吧。
2020-07-16 08:16
44
举报
"为了向后兼容" --- 为了修复以前的愚蠢,加入新的愚蠢 --- Golang 哲学。
2020-07-16 10:44
19
举报
我认为“啥玩意儿都编译成一个文件”这句话是褒义的
2020-07-16 09:31
17
举报
简直是故意跟程序员的习惯做对,写了好几年golang了,第一次被这种改动恶心到~~~还说什么go语言照顾工程习惯,照顾个屁啊!
2020-07-16 10:28
15
举报
go目前有些尴尬,抽象能力的缺陷不是泛型就可以拯救的。
2020-07-16 08:22
15
举报
最新评论 (78)
一句话总结:golang不适合做业务型应用开发!
2021-01-15 09:18
2
回复
举报
说不用尖括号的,你们能不能先学学编译原理再说话?
2021-01-14 08:51
0
回复
举报
文中 func f((T(int)) 少了一个括号 应该是 func f((T(int)))
2020-12-12 16:21
1
回复
举报
(),go away
2020-07-27 12:25
0
回复
举报
为了不同而不同
2020-07-23 22:10
2
回复
举报
错误处理这么简单地东西都没处理好,搞泛型有点激进
2020-07-21 07:48
4
回复
举报
这些胡力花哨的语言,最终都是灭亡!还是Java用着舒心。
2020-07-21 06:50
2
回复
举报
Go还花? 你用过吗
2020-07-22 10:59
0
回复
举报
建议用书名号《》
2020-07-20 20:02
3
回复
举报
这是中文符号啊
2020-07-20 23:54
0
回复
举报
没看出来是在开玩笑吗,哦,忘记加滑稽表情了
2020-07-22 00:47
0
回复
举报
$T$ 不好嘛😏
2020-07-20 18:04
0
回复
举报
尖括号 很多语言都用这种来定义特殊类型数据
2020-07-20 17:19
0
回复
举报
更多评论
78 评论
8 收藏
分享
返回顶部
顶部