为什么 Go 语言把类型放在后面?
本文整理自知乎,原文作者 @林建入。 不是为了与众不同。而是为了更加清晰易懂。 Rob Pike 曾经在 Go 官方博客解释过这个问题(原文地址:http://blog.golang.org/gos-declaration-syntax),简略翻译如下(水平有限翻译的不对的地方见谅): 引言Go语言新人常常会很疑惑为什么这门语言的声明语法(declaration syntax)会和传统的C家族语言不同。在这篇博文里,我们会进行一个比较,并做出解答。 C 的语法首先,先看看 C 的语法。C 采用了一种聪明而不同寻常的声明语法。声明变量时,只需写出一个带有目标变量名的表达式,然后在表达式里指明该表达式本身的类型即可。比如: int x; 上面的代码声明了 int *p; int a[3]; 指明了 我们接下来看看函数声明的情况。C 的函数声明中关于参数的类型是写在括号外的,像下面这样: int main(argc,argv) int argc; char *argv[]; { /* ... */ } 如前所述,我们可以看到 int main(int argc,char *argv[]) { /* ... */ } 尽管看起来有些不同,但是基本的结构是一样的。 总的来看,当类型比较简单时,C的语法显得很聪明。但是遗憾的是一旦类型开始复杂,C的这套语法很快就能让人迷糊了。著名的例子如函数指针,我们得按下面这样来写: int (*fp)(int a,int b); 在这儿, int (*fp)(int (*ff)(int x,int y),int b) 这读起来可就点难了。 当然了,我们声明函数时是可以不写明参数的名称的,因此 int main(int,char *[]) 回想一下,之前 char *argv[] 你有没有发现你是从声明的「中间」去掉变量名而后构造出其变量类型的?尽管这不是很明显,但你声明某个 int (*fp)(int (*)(int,int),int) 这东西难懂的地方可不仅仅是要记得参数名原本是放这中间的 int (*)(int,int) 它更让人混淆的地方还在于甚至可能都搞不清这竟然是个函数指针声明。我们接着看看,如果返回值也是个函数指针类型又会怎么样 int (*(*fp)(int (*)(int,int))(int,int) 这已经很难看出是关于 你自己还可以构建出比这更复杂的例子,但这已经足以解释 C 的声明语法引入的某些复杂性了。 (int)M_PI Go 的语法非C家族的语言通常在声明时使用一种不同的类型语法。一般是名字先出现,然后常常跟着一个冒号。按照这样来写,我们上面所举的例子就会变成下面这样: x: int p: pointer to int a: array[3] of int 这样的声明即便有些冗长,当至少是清晰的——你只需从左向右读就行。Go 语言所采用的方案就是以此为基础的,但为了追求简洁性,Go 语言丢掉了冒号并去掉了部分关键词,成了下面这样: x int p *int a [3]int 在 下面我们来考虑函数的问题。虽然在 Go 语言里, func main(argc int,argv *[]byte) int 粗略一看和 C 没什么不同,不过自左向右读的话还不错。
如果此时把参数名去掉,它还是很清楚——因为参数名总在类型的前面,所以不会引起混淆。 func main(int,*[]byte) int 这种自左向右风格的声明的一个价值在于,当类型变得更复杂时,它依然相对简单。下面是一个函数变量的声明(相当于 C 语言里的函数指针) f func(func(int,int) int,int) int 或者当它返回一个函数时: f func(func(int,int) func(int,int) int 上面的声明读起来还是很清晰,自左向右,而且究竟哪一个变量名是当前被声明的也容易看懂——因为变量名永远在首位。 类型语法和表达式语法带来的差别使得在 Go 语言里调用闭包也变得更简单: sum := func(a,b int) int { return a+b } (3,4) 指针指针有些例外。注意在数组 (array )和切片 (slice) 中,Go 的类型语法把方括号放在了类型的左边,但是在表达式语法中却又把方括号放到了右边: var a []int x = a[1] 类似的,Go 的指针沿用了 C 的 var p *int x = *p 不能写成下面这样 var p *int x = p* 因为后缀的 var p ^int x = p^ 我们也许还真的应该把 []int("hi") 但在转换时,如果类型是以 (*int)(nil) 如果有一天我们愿意放弃用 可见,Go 的指针语法是和 C 相似的。但这种相似也意味着我们无法彻底避免在文法中有时为了避免类型和表达式的歧义需要补充括号的情况。 总而言之,尽管存在不足,但我们相信 Go 的类型语法要比 C 的容易懂。特别是当类型比较复杂时。 (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |