也谈Go语言声明语法
一直在从事C语言服务端应用开发，对C的变量声明语法早已烂熟于胸，同时也深知复杂的C变量声明十分晦涩难解。记得若干年前还特意花了一些时间研究理解复 杂C变量声明的方法，记忆中这些方法包括：《C专家编程》中提到的“优先级”规则、right-left规则以及顺时针/螺旋形规则等，幸运地是我们日常 开发中少有使用极为复杂的变量声明(如void (*signal (int signo, void (*func) (int)))(int);)，但C语言中这一难点却是事实存在的。
对于我这样的习惯了C变量声明语法的程序员来说，Go的变量声明语法显得极端另类，完全与C语言反其道而行之，心中不由产生一丝厌恶。但随着对Go学习和 使用的深入，我逐渐发现Go的这种声明语法在不经意间解决了复杂声明的理解问题，你无需学习什么"优先级"规则，也无需理会什么“right-left” 规则，你只需按从左到右的顺序阅读代码，再复杂的变量声明也可以很轻易地理解。
Go语言为何要采用这种倒序语法呢？Go的设计者Rob Pike的一篇介绍Go声明语法的文章给出了答案，其中谈到了Go声明语法的设计考量。Go的设计者从C体系之外的语言获得启发：将变量名放在签名，类型说明放在后 面。这样更接近于自然语言，例如：
x: int
p: pointer to int
a: array[3] of int
b: slice of int
在此基础上，Go的设计者用*、[]等符号替换掉上面的冒号和部分关键字使得声明变得短小，也就形成了Go的声明语法：
var x int
var p *int
var a [3]int
var b []int
我们只需从左向右的顺序阅读代码，即可清晰的理解声明的含义，而不需要像C声明语法那样左右符号都要兼顾，螺旋理解。这里面的*、[n]和[]的含义如下：
*some_type：读作 pointer to some_type
[n]some_type： 读作 array[n] of some_type
[]some_type： 读作 slice of some_type
下面我们通过Go与C的对比来进一步理解Go的声明语法。
简单变量声明
C Golang
int x; <–> var x int //x has the type int
float x; <–> var x float64 //x has the type float64
char c; <–> var c byte //x has the type byte
指针变量声明
C Golang
int *x; <–> var x *int //x is a pointer to int
int **p; <–> var p **int //p is a pointer to pointer to int
数组/切片变量声明
C Golang
int a[5]; <--> var a [5]int //a is an array[5] of int
int a[5][3]; <--> var a [5][3]int //a is an array[5] of array[3] of int
var s []int //s is a slice of int(C语言中无slice类型)
函数类型变量声明
C Golang
int (*x)(int, int) 类似于 var x func(int, int) int // x has the type "func(int, int) int"
Go中函数为first-class类型，其类型的变量等同于C中的函数指针。
复合声明(复杂声明)
C Golang
int *x[5]; <--> var x [5]*int //x is an array[5] of pointer to int
int (*x[5])(int, int) 类似于 var x [5]func(int, int) int // x is an array[5] of "func(int, int) int"
var f func(func(int,int) int, int) func(int, int) int //f has the type "func(func(int,int) int, int) func(int, int) int"，这是一个函数类型变量，这个函数类型接收三个参数(其中一个参数是func(int, int)函数类型)，并返回另外一个函数类型(func(int, int) int)。
void (*signal (int signo, void (*Afunc) (int))) 类似于 var signal func(signo int, Afunc func(int))
有了上面的例子,signal就无需再作解释了，Go的声明语法可以让我们可以很容易的理解复杂的变量声明。但从可读性角度来看较长的声明依旧不利于代码理解。因此我们还是应该通过type定义一些新类型的方式尽量缩短变量声明的长度，例如：
type Handler func(int)
type SignalHandler func(signo int, handler Handler)
var signal SignalHandler
评论