快学 Go 语言第 2课——变量什么的最讨厌了

任何一门语言里面最基础的莫过于变量了。如果把内存比喻成一格一格整齐排列的储物箱，那么变量就是每个储物箱的标识，我们通过变量来访问计算机内存。没有变量的程序对于人类来说是可怕的，需要我们用数字位置来定位内存的格子，人类极不擅长这样的事。这就好比一岁半左右的幼儿还没有学会很多名词，只能用手来对物体指指点点来表达自己的喜好。变量让程序逻辑有了丰富的表达形式。

定义变量的三种方式

Go 语言的变量定义有多种形式，我们先看最繁琐的形式

注意到我们使用了 var 关键字，它就是用来显示定义变量的。还注意到在变量名称 s 后面声明了变量的类型为整形 int，然后再给它赋上了一个初值 42。上面的变量定义可以简化，将类型去掉，因为编译器会自动推导变量类型，效果也是一样的，如下

更进一步，上面的变量定义还可以再一次简化，去掉 var 关键字。

注意到赋值的等号变成了 :=，它表示变量的「自动类型推导 + 赋值」。

这三种变量定义方式都是可行的，各有其优缺点。可读性最强的是第一种，写起来最方便的是第三种，第二种是介于两者之间的形式。

类型是变量身份的象征，如果一个变量不那么在乎自己的身份，那在形式上就可以随意一些。var 的意思就是告诉读者「我很重要，你要注意」，:= 的意思是告诉读者「我很随意，别把我当回事」。var 再带上显式的类型信息是为了方便读者快速识别变量的身份。

如果一个变量很重要，建议使用第一种显式声明类型的方式来定义，比如全局变量的定义就比较偏好第一种定义方式。如果要使用一个不那么重要的局部变量，就可以使用第三种。比如循环下标变量

那第二种方式能不能用在上面的循环下标中呢，答案是不可以，你无法将 var 关键字直接写进循环条件中的初始化语句中，而必须提前声明变量，像下面这样，这时就很明显不如简写的形式了

如果在第一种声明变量的时候不赋初值，编译器就会自动赋予相应类型的「零值」，不同类型的零值不尽相同，比如字符串的零值不是 nil，而是空串，整形的零值就是 0 ，布尔类型的零值是 false。

全局变量和局部变量

上面我们在代码例子中编写的变量都是局部变量，它定义在函数内部，函数调用结束它就消亡了。与之对应的是全局变量，在程序运行期间，它一直存在，它定义在函数外面。

如果全局变量的首字母大写，那么它就是公开的全局变量。如果全局变量的首字母小写，那么它就是内部的全局变量。内部的全局变量只有当前包内的代码可以访问，外面包的代码是不能看见的。

学过 C 语言的同学可能会问，Go 语言里有没有静态变量呢？答案是没有。

变量与常量

Go 语言还提供了常量关键字 const，用于定义常量。常量可以是全局常量也可以是局部常量。你不可以修改常量，否则编译器会抱怨。常量必须初始化，因为它无法二次赋值。全局常量的大小写规则和变量是一致的。

指针类型

Go 语言被称为互联网时代的 C 语言，它延续使用了 C 语言的指针类型。

我们又看到了久违的指针符号 * 和取地址符 &，在功能和使用上同 C 语言几乎一摸一样。同 C 语言一样，指针还支持二级指针，三级指针，只不过在日常应用中，很少遇到。

指针变量本质上就是一个整型变量，里面存储的值是另一个变量内存的地址。* 和 & 符号都只是它的语法糖，是用来在形式上方便使用和理解指针的。* 操作符存在两次内存读写，第一次获取指针变量的值，也就是内存地址，然后再去拿这个内存地址所在的变量内容。

图片

如果普通的变量是一个储物箱，那么指针变量就是另一个储物箱，这个储物箱里存放了普通变量所在储物箱的钥匙。通过多级指针来读取变量值就好比在玩一个解密游戏。

Go 语言基础类型大全

Go 语言定义了非常丰富的基础类型，下面我列举了所有的基础数据类型。

还有另外几个不常用的数据类型，读者可以暂不理会。

复数类型 complex64 和 complex128

unicode字符类型 rune

uintptr 指针类型

复数类型用于科学计算，平时基本上用不上。rune 和 uintptr 的用法在后续文章中会详细讲解。简单一点说 rune 和 byte 的关系就好比 Python 里面的 unicode 和 byte 、Java 语言里面的 char 和 byte 。uintptr 相当于 C 语言里面的 void* 指针类型。

下一节我们开讲 Go 语言的条件判断与循环语句