go——变量

在数学概念中，变量（variable）表示没有固定值且可以改变的数。
但从计算机系统实现角度来看，变量是一段或多段用来存储数据的内存。
作为静态类型语言，Go语言总是有固定的数据类型，类型决定了变量内存的长度和存储格式。
通过类型转换或指针操作，我们可以修改变量值，但是却无法改变变量的类型。

因为内存分配发生在运行期，所以在编码阶段我们用一个易于阅读的名字来表示这段内存。
实际上，编译后的机器码从不会使用变量名，而是直接通过内存地址来访问目标数据。
保存在符号表中的变量名等信息可以被删除，或用于输出更详细的错误信息。

变量的命令由字母、数字和下划线组成，其中首个字符不能为数字。
关键字var用于定义变量，类型被放在变量名后面。
变量定义有三种方式：
第一种：指定变量类型，声明后若不赋值，使用默认值

?

1 2	var v_name v_type v_name = value

第二种：根据值自行判断变量类型

?

1	var v_name = value

第三种： 简短模式，省略var，注意:=左侧的变量不应该是已经声明过的，否则会导致编译错误

?

1	v_name := value

运行时内存分配操作会确保变量自动初始化为二进制零值（zero value），避免出现不可预测行为。

?

1	var x int //自动初始化为0

如果显式提供初始化值，可省略变量类型，由编译器推断。

?

1	var y = false //自动推断为bool类型

可一次性定义多个变量，包括用不同初始值定义不同类型。

?

1 2	var x, y int //一次定义相同类型的多个变量 var a, s = 100, “abc” //给不同类型初始化值

当我们需要一次定义多个变量的时候，可以以组的方式来定义，这种方式一般用来对全局变量的定义。

?

1 2 3 4

var { x, y int a, s = 100, “abc”   }

除了使用var关键字外，还可以使用更加简短的变量定义和初始化语法。

?

1 2 3 4

func main() { x := 100 a,s := 1, “abc” }

需要注意的是这种简短模式的定义方式不能提供数据类型，并且只能用在函数内部。
简短模式并不总是定义变量，可能是部分退化的赋值操作。

?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

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：

?

1 2 3 4 5 6 7 8 9 10 11 12 13

//最少有一个新变量被定义 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：
//必须是同一作用域

?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

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 */

如果你定义了一个局部变量但是却没有使用它，也会报错。

?

1 2 3 4 5 6 7

package main   var flag = false //全局变量没有被使用没有问题   func main() { x := 100 //没有使用局部变量会报错：x declared and not used }