《Go语言四十二章经》第三章 变量

作者：李骁

3.1 变量以及声明

Go 语言变量名由字母、数字、下划线组成，其中首个字母不能为数字。

  1. var (
  2.     a int
  3.     b bool
  4.     str string
  5. )

这种因式分解关键字的写法一般用于声明全局变量，一般在func 外定义。

当一个变量被var声明之后，系统自动赋予它该类型的零值：

  • int 为 0
  • float 为 0.0
  • bool 为 false
  • string 为空字符串””
  • 指针为 nil

记住，这些变量在 Go 中都是经过初始化的。

多变量可以在同一行进行赋值，也称为 并行 或 同时 或 平行赋值。如：

  1. a, b, c = 5, 7, "abc"

简式声明：

  1. a, b, c := 5, 7, "abc"  // 注意等号前的冒号

右边的这些值以相同的顺序赋值给左边的变量，所以 a 的值是 5， b 的值是 7，c 的值是 “abc”。

简式声明一般用在func内，要注意的是：全局变量和简式声明的变量尽量不要同名，否则很容易产生偶然的变量隐藏Accidental Variable Shadowing。

即使对于经验丰富的Go开发者而言，这也是一个非常常见的陷阱。这个坑很容易挖，但又很难发现。

  1. func main() {  
  2.     x := 1
  3.     fmt.Println(x)     // prints 1
  4.     {
  5.         fmt.Println(x) // prints 1
  6.         x := 2
  7.         fmt.Println(x) // prints 2
  8.     }
  9.     fmt.Println(x)     // prints 1 (不是2)
  10. }

如果你想要交换两个变量的值，则可以简单地使用：

  1.  a, b = b, a

(在 Go 语言中，这样省去了使用交换函数的必要)

空白标识符 也被用于抛弃值，如值 5 在：``, b = 5, 7`` 中被抛弃。

  1. _, b = 5, 7

_ 实际上是一个只写变量，你不能得到它的值。这样做是因为 Go 语言中你必须使用所有被声明的变量，但有时你并不需要使用从一个函数得到的所有返回值。

由于Go语言有个强制规定，在函数内一定要使用声明的变量，但未使用的全局变量是没问题的。为了避免有未使用的变量，代码将编译失败，我们可以将该未使用的变量改为 _。

另外，在Go语言中，如果引入的包未使用，也不能通过编译。有时我们需要引入的包，比如需要init()，或者调试代码时我们可能去掉了某些包的功能使用，你可以添加一个下划线标记符，_，来作为这个包的名字，从而避免编译失败。下滑线标记符用于引入，但不使用。

  1. package main
  3. import (  
  4.     _ "fmt"
  5.     "log"
  6.     "time"
  7. )
  9. var _ = log.Println
  10. func main() {  
  11.     _ = time.Now
  12. }

并行赋值也被用于当一个函数返回多个返回值时，比如这里的 val 和错误 err 是通过调用 Func1 函数同时得到：

  1. val, err = Func1(var1)

对于布尔值的好的命名能够很好地提升代码的可读性，例如以 is 或者 Is 开头的 isSorted、isFinished、isVisible，使用这样的命名能够在阅读代码的获得阅读正常语句一样的良好体验，例如标准库中的 unicode.IsDigit(ch)。

在 Go 语言中，指针属于引用类型，其它的引用类型还包括 slices，maps和 channel。

注意，Go中的数组是数值，因此当你向函数中传递数组时，函数会得到原始数组数据的一份复制。如果你打算更新数组的数据，可以考虑使用数组指针类型。

  1. package main
  3. import "fmt"
  5. func main() {  
  6.     x := [3]int{1, 2, 3}
  8.     func(arr *[3]int) {
  9.         (*arr)[0] = 7
  10.         fmt.Println(arr) // prints &[7 2 3]
  11.     }(&x)
  13.     fmt.Println(x) // prints [7 2 3]
  14. }

被引用的变量会存储在堆中，以便进行垃圾回收，且比栈拥有更大的内存空间。

引申：

编译器会做逃逸分析，所以由Go的编译器决定在哪(堆or栈)分配内存，保证程序的正确性。

3.2 零值nil

nil 标志符用于表示interface、函数、maps、slices和channels的“零值”。如果你不指定变量的类型，编译器将无法编译你的代码，因为它猜不出具体的类型。

  1. package main
  3. func main() {  
  4.     var x = nil // 错误
  6.     _ = x
  7. }

在一个 nil 的slice中添加元素是没问题的，但对一个map做同样的事将会生成一个运行时的panic：

  1. package main
  3. func main() {  
  4.     var m map[string]int
  5.     m["one"] = 1 //error
  7. }

字符串不会为 nil

这对于经常使用 nil 分配字符串变量的开发者而言是个需要注意的地方。

  1. var str string  = "" // ""是字符串的零值

根据前面的介绍，其实这样写和上面的效果一样：

  1. var str string