关于类型,官网上有一段仔细地介绍了一下函数指针的部分,现在的设计比起 C 的语法,清晰很多。
也就是说,类型放在后面是为了更加清晰易懂。Rob Pike 曾经在 Go 官方博客解释过这个问题(查看原文:Go's Declaration Syntax),简略翻译如下(水平有限翻译的不对的地方见谅):
引言
Go语言新人常常会很疑惑为什么这门语言的声明语法(declaration syntax)会和传统的C家族语言不同。在这篇博文里,我们会进行一个比较,并做出解答。
C 的语法
首先,先看看 C 的语法。C 采用了一种聪明而不同寻常的声明语法。声明变量时,只需写出一个带有目标变量名的表达式,然后在表达式里指明该表达式本身的类型即可。比如:
int x;
上面的代码声明了 x 变量,并且其类型为 int——即,表达式 x 为 int 类型。一般而言,为了指明新变量的类型,我们得写出一个表达式,其中含有我们要声明的变量,这个表达式运算的结果值属于某种基本类型,我们把这种基本类型写到表达式的左边。所以,下述声明:
int *p;
int a[3];
指明了 p 是一个int类型的指针,因为 *p的类型为int。而 a 是一个 int 数组,因为 a[3]的类型为 int(别管这里出现的索引值,它只是用于指明数组的长度)。
我们接下来看看函数声明的情况。C 的函数声明中关于参数的类型是写在括号外的,像下面这样:
int main(argc, argv)
int argc;
char *argv[];
{ /* ... */ }
如前所述,我们可以看到 main 之所以是函数,是因为表达式 main(argc, argv) 返回 int。在现代记法中我们是这么写的:
int main(int argc, char *argv[]) { /* ... */ }
尽管看起来有些不同,但是基本的结构是一样的。
总的来看,当类型比较简单时,C的语法显得很聪明。但是遗憾的是一旦类型开始复杂,C的这套语法很快就能让人迷糊了。著名的例子如函数指针,我们得按下面这样来写:
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 *argv[]
你有没有发现你是从声明的「中间」去掉变量名而后构造出其变量类型的?尽管这不是很明显,但你声明某个 char *[]类型的变量的时候,竟然需要把名字插入到变量类型的中间。









