在数学概念中，变量（variable）表示没有固定值且可以改变的数。
但从计算机系统实现角度来看，变量是一段或多段用来存储数据的内存。
作为静态类型语言，Go语言总是有固定的数据类型，类型决定了变量内存的长度和存储格式。
通过类型转换或指针操作，我们可以修改变量值，但是却无法改变变量的类型。
因为内存分配发生在运行期，所以在编码阶段我们用一个易于阅读的名字来表示这段内存。
实际上，编译后的机器码从不会使用变量名，而是直接通过内存地址来访问目标数据。
保存在符号表中的变量名等信息可以被删除，或用于输出更详细的错误信息。
变量的命令由字母、数字和下划线组成，其中首个字符不能为数字。
关键字var用于定义变量，类型被放在变量名后面。
变量定义有三种方式：
第一种：指定变量类型，声明后若不赋值，使用默认值
var v_name v_type v_name = value
第二种：根据值自行判断变量类型
var v_name = value
第三种： 简短模式，省略var，注意:=左侧的变量不应该是已经声明过的，否则会导致编译错误
v_name := value
运行时内存分配操作会确保变量自动初始化为二进制零值（zero value），避免出现不可预测行为。
var x int //自动初始化为0
如果显式提供初始化值，可省略变量类型，由编译器推断。
var y = false //自动推断为bool类型
可一次性定义多个变量，包括用不同初始值定义不同类型。
var x, y int //一次定义相同类型的多个变量 var a, s = 100, “abc” //给不同类型初始化值
当我们需要一次定义多个变量的时候，可以以组的方式来定义，这种方式一般用来对全局变量的定义。
var {
x, y int
a, s = 100, “abc”
}
除了使用var关键字外，还可以使用更加简短的变量定义和初始化语法。
func main() {
x := 100
a,s := 1, “abc”
}
需要注意的是这种简短模式的定义方式不能提供数据类型，并且只能用在函数内部。
简短模式并不总是定义变量，可能是部分退化的赋值操作。
package main
import "fmt"
func main() {
x := 100
fmt.Println(&x, x)
x, y := 200, "abc" //x为退化赋值操作，y才是变量定义
fmt.Println(&x, x)
fmt.Println(y)
}
/*
结果：
0xc00004e080 100
0xc00004e080 200 //可以看出x的内存地址并没有改变，只是进行了重新赋值的操作
abc
*/
退化赋值的前提条件是：最少有一个新变量被定义，且必须是同一作用域。
示例1：
//最少有一个新变量被定义
package main
import "fmt"
func main() {
x := 100
fmt.Println(&x, x)
x := 200 //报错：no new variables on left side of :=
// x = 200 //这种方式是可行的
fmt.Println(&x, x)
}
示例2：
//必须是同一作用域
package main
import "fmt"
func main() {
x := 100
fmt.Println(&x, x)
{
x, y := 200, 100
fmt.Println(&x, x)
fmt.Println(&y, y)
}
}
/*
结果：
0xc00000a168 100
0xc00000a188 200 //两次的内存地址不相同，已经是一个新的变量，不能视作退化赋值
0xc00000a1b0 100
*/
如果你定义了一个局部变量但是却没有使用它，也会报错。
package main
var flag = false //全局变量没有被使用没有问题
func main() {
x := 100 //没有使用局部变量会报错：x declared and not used
}