go version go1.11 windows/amd64
本文为阅读Go语言中文官网的规则说明书（https://golang.google.cn/ref/spec）而做的笔记，完整的介绍Go语言的 变量声明（Variable declarations）和 简短变量声明（Short variable declarations）。
Go语言有两种 变量声明方式：普通的、简短的。
普通的 方式 需要 使用 var关键字，简短的需要使用 := 组合符号。
普通的 方式 可以在任何作用域使用，而 简短的 方式 仅限于 函数的作用域内，或者，函数内的 if、for、switch 等语句中使用。
下面分别介绍。
注意，本文说的是 变量声明，而不是变量定义、初始化，但也会包含一些定义、初始化的内容。
普通的变量声明方式
和Python类似，可以在一行声明一个变量，也可以同时声明多个变量（变量列表）。
对于多个变量的声明，其中可以存在 空标识符（_），表示忽略对应位置的 值的表达式列表中的值。
官文示例 及 解释：
var i int // 这里的类型 int 不能少
var U, V, W float64 // 声明三个变量，初始化为 float64的默认值 0.0。这样来看，每个 声明了的变量 都是有值得，只不过，有些是默认值。可以查看 zero value。
var k = 0 // 没有指定类型，但基于了初始值，那么，k的类型是什么呢？下面会进行测试，结果为 int
var x, y float32 = -1, -2 // 指定了类型，也提供了值列表
var ( // 这个还不太理解，前面某博文说这样的方式是定义 全局变量！
i int
u, v, s = 2.0, 3.0, "bar"
)
var re, im = complexSqrt(-1)
var _, found = entries[name] // map lookup; only interested in "found" // 空标识符（_）表示忽略函数返回的第一个值，只需要（关注）第二个
进一步测试：
func main() {
var x1 = 0
fmt.Println(typeof(x1))
var x2 = 0.0
fmt.Println(typeof(x2))
}
// 测试函数
func typeof(v interface{}) string {
return fmt.Sprintf("%T", v)
}
测试结果：
int
float64
关于声明的变量的类型：
如果声明语句中存在类型名称，那么，变量就是这个类型；
否则，变量的类型为各自的初始化的值的类型（前面说过，变量的类型、初始化值 不能都不存在），此时，如果值是一位未类型化的常量（an untyped constant），变量的类型就是这个常量转换后的默认类型——如上面的测试中，0的默认类型是int、0.0的默认类型是float64；如果值是一个未类型化的布尔值（an untyped boolean value），那么，变量的类型为bool。
注意，预定义值 nil 不能用于给一个 没有指明类型 的变量赋值（指明了就可以了吧）。
官文示例：
var d = math.Sin(0.5) // d is float64
var i = 42 // i is int
var t, ok = x.(T) // t is T, ok is bool // 不懂！还需要dig
var n = nil // illegal // 没有指定类型
注意，编译器会将函数体内 声明了却从未使用 的变量设置为非法，编译 自然就不能通过，程序也不能执行了。
简短的变量声明方式
前面的变量声明需要关键字 var，而这里是 禁止用它的，也不需要指定变量类型，也不需要使用单独的等号（=），，需要用 := 组合符号——必须的，其后是一个或多个值，或者返回一个或多个值得 表达式。
声明中没有类型，不代表 变量没有类型，其类型根据赋予它们的值类进行推断的（推断规则TBD，我要去找找文档）。
官方示例：
i, j := 0, 10
f := func() int { return 7 }
ch := make(chan int)
r, w := os.Pipe(fd) // os.Pipe() returns two values
_, y, _ := coord(p) // coord() returns three values; only interested in y coordinate
进阶：
比普通变量声明方式多了一个 重新声明变量（redeclare） 的特性。
重新定义 可以 认为是 重新给 前面声明的变量赋值，因此，新的值得类型要匹配。
还有一个关键要求：
重新声明变量 只能出现在 变量列表的声明方式中，而且，在这个变量列表中，至少存在着一个 新的非空变量。
我的测试：
a := 123 // 声明变量a，成功，int型 a := 321 // 失败，只是一个变量，而不是变量列表，删除，再测试 a := "str" // 类型错误，单个变量错误，删除上面所有，再测试
// ----翻篇----
v1, a := "v1", 123 // 声明两个变量 v1、a
v1, a := "v11", 123 // 失败，不存在一个新的非空变量，删除此句，再测试
v2, a := "v2", 123 // 和变量v2一起重新声明a，成功 a, v3 := 999, "v2" // 切换变量a在重新声明语句中的位置
再次提示，简短声明语句 仅限于 函数的作用域内，或者，函数内的 if、for、switch 等语句中使用。
本文完。
需要结合 作用域、类型初始化值等一起看，会获得更完整的知识。