作者:Rob Pike,原文链接:Go's Declaration Syntax
以下是译文:
前言
Go 的初学者可能会有这样的疑问:为什么 Go 的声明语法与传统的其他 C 家族编程语言不太一样?在这篇文章中我们会比较这两种不同的方式,并且也会解释为什么。
C 变量
首先,让我们说说 C 中的语法。C 使用了一种不寻常的巧妙的方法来实现声明语法。我们不是用什么特殊的语法来描述类型,而是写一个表达式,这个表达式包含两个部分:被声明的变量和变量的类型。
int x;
上面这行代码声明了一个类型为 int 的变量 x。一般来说,为了弄清楚如何编写新变量的类型,可以先写一个含基本类型变量的表达式,然后将基本类型放在左边,将表达式放在右边。
因此,下面的声明:
int *p;
int a[3];
描述的是 p 是一个指向 int 类型的指针,因为 ‘*p’ 的类型为 int。而 a 是一个 int 类型的数组,因为 ‘a[3]’ (这里请忽略下标的值 3,它只是说明数组的大小)的类型是 int。
那函数呢?在最开始的时候,C 的函数声明是将 参数的类型写在括号外面的,像这样:
int main(argc, argv)
int argc;
char *argv[];
{ /* ... */ }
再一次,我们可以看到 main 是一个函数,因为表达式 main(argc, argv)
返回了一个 int 类型的值。现在大家比较习惯写成这样:
int main(int argc, char *argv[]) { /* ... */ }
但是基本的结构还是一样的。
对于简单的类型来说这种巧妙的语法思想是能很好工作的,但是一旦类型变得复杂就会令人感到困惑了。非常经典的一个例子就是声明一个函数指针。遵循着规则,你得到了下面的这种写法:
int (*fp)(int a, int b);
fp 是一个指向函数的指针,因为如果你写一个表达式 (*fp)(a, b)
你会调用函数并得到一个 int 类型的值。那如果 fp 的其中一个入参它本身也是一个函数呢?
int (*fp)(int (*ff)(int x, int y), int b)
这就变得开始难以阅读了。
当然,我们可以在声明一个函数的时候去掉参数名,那么 main 函数可以声明成:
int main(int, char *[])
让我们回想一下,argv 是这样声明的,
char *agrv[]
通过把变量名放在中间来声明类似 char *[]
这样类型的时候其实是令人困惑的。
然后我们再来看看如果我们将入参变量名去掉的情况下 fp 函数的声明是怎么样的:
int (*fp)(int (*)(int, int), int)
无论将变量名放在内部的哪里都不那么清晰明了。对于第一个入参:
int (*)(int, int)
我想这不太容易能一眼看出是在声明一个指向函数的指针。再进一步,如果我们的返回值也是一个函数指针呢?
int (*(*fp)(int (*)(int, int), int))(int, int)
这根本就看不清声明出来的 fp 到底是个啥玩意。。。
你自己也可以构造出更多这类详细的例子,但是这些都说明了 C 的声明语法可能引入的一些困难。
不过还有一点需要提出。因为类型和声明的语法是相同的,所以解析中间类型的表达式是很困难的。这就是为什么 C 的类型转换总是用括号括起来:
(int)M_PI
Go 语法
非 C 家族的编程语言通常使用不同的声明类型的语法:变量名通常放在前面,然后紧跟着一个冒号。因此我们上面的例子就变成了这样:
x: int
p: pointer to int
a: array[3] of int
这些声明是明确的,如果从左往右读你会发现也是详细的。Go 语言从中得到了启发,但为了简洁起见,删除了冒号和一些关键字:
x int
p *int
a [3]int
这个例子中 [3]int
与如何在表达式中使用 a 这两者似乎没有直接的对应。(后面一小节中我们会讲到指针的。)你可以通过单独的语法来获得清晰的结果。
现在让我们考虑下函数。让我们把这个声明写成 Go 的形式,尽管在 Go 中真正的 main 函数是没有入参的:
func main(argc int, argv []string) int
表面上这和 C 语言并没什么不同,除了将字符数组改成了字符串形式。但是从左往右读起来却很顺畅:
函数 main 需要传入一个整型和字符串切片并且返回一个整型。(译者注:直到译者看到这篇文章,译者才发现原来这么写读起来竟这么顺畅。。。)
即便舍去变量名还是很明确——因为对于类型声明上没有位置的变化,所以也没有什么困惑。
func main(int, []string) int
这种从左到右的风格有一个优点:就算类型变得越来越复杂,这种方式还是表现得很得当。
举个声明函数变量的例子(类似在 C 语言中的函数指针):
f func(func(int, int) int, int) int
或者如果 f 返回的也是一个函数(译者注:边写边读你会再次惊讶于这丝滑般的顺畅感。。。):
f func(func(int, int) int, int) func(int, int) int
从左到右依然读起来很顺畅,并且当变量名被声明的时候也很明显。
类型和表达式的语法的不同点使得在 Go 中编写和调用闭包是那么的简单:
sum := func(a, b int) int { return a + b } (3, 4)
指针
指针这家伙总是表现得“与众不同”一点。观察下数组和切片,举个例子,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 的要更容易理解,尤其是当事情变得复杂的时候。