## 简短变量申明规则 ### 规则一： 多变量赋值可能会重新声明 我们知道使用`:=`一次可以声明多个变量，像下面这样： ~~~go field1, offset := nextField(str, 0) ~~~ 上面代码定义了两个变量，并用函数返回值进行赋值。 如果这两个变量中的一个再次出现在`:=`左侧就会重新声明。像下面这样： ~~~go field1, offset := nextField(str, 0) field2, offset := nextField(str, offset) ~~~ offset被重新声明。 重新声明并没有什么问题，它并没有引入新的变量，只是把变量的值改变了，但要明白，这是Go提供的一个语法糖。 * 当`:=`左侧存在新变量时（如field2），那么已声明的变量（如offset）则会被重新声明，不会有其他额外副作用。 * 当`:=`左侧没有新变量是不允许的，编译会提示`no new variable on left side of :=`。 我们所说的重新声明不会引入问题要满足一个前提，变量声明要在同一个作用域中出现。如果出现在不同的作用域，那很可能就创建了新的同名变量，同一函数不同作用域的同名变量往往不是预期做法，很容易引入缺陷 ### 规则二：不能用于函数外部 简短变量场景只能用于函数中，使用`:=`来声明和初始化全局变量是行不通的。 比如，像下面这样： ~~~go package sugar import fmt rule := "Short variable declarations" // syntax error: non-declaration statement outside function body ~~~ 这里的编译错误提示`syntax error: non-declaration statement outside function body`，表示非声明语句不能出现在函数外部。可以理解成`:=`实际上会拆分成两个语句，即声明和赋值。赋值语句不能出现在函数外部的 ## 变量作用域问题 几乎所有的工程师都了解变量作用域，但是由于`:=`使用过于频繁的话，还是有可能掉进陷阱里。 下面代码源自真实项目，但为了描述方便，也为了避免信息安全风险，简化如下： ~~~go func Redeclare() { field, err:= nextField() // 1号err if field == 1{ field, err:= nextField() //　2号err newField, err := nextField() // 3号err ... } ... } ~~~ 注意上面声明的三个err变量。 2号err与1号err不属于同一个作用域，`:=`声明了新的变量，所以2号err与1号err属于两个变量。 2号err与3号err属于同一个作用域，`:=`重新声明了err但没创建新的变量，所以2号err与3号err是同一个变量。 如果误把2号err与1号err混淆，就很容易产生意想不到的错误 ## 常见陷阱 #### 题目一 问：下面代码输出什么？ ~~~go func fun1() { i := 0 i, j := 1, 2 fmt.Printf("i = %d, j = %d\n", i, j) } ~~~ 程序输出如下： ~~~go i = 1, j = 2 ~~~ 再进一步想一下，前一个语句中已经声明了i, 为什么还可以再次声明呢？ #### 题目二 问：下面代码为什么不能通过编译？ ~~~go func fun2(i int) { i := 0 fmt.Println(i) } ~~~ 不能通过编译原因是形参已经声明了变量i，使用`:=`再次声明是不允许的 #### 题目三 问：下面代码输出什么？ ~~~go func fun3() { i, j := 0, 0 if true { j, k := 1, 1 fmt.Printf("j = %d, k = %d\n", j, k) } fmt.Printf("i = %d, j = %d\n", i, j) } ~~~ 程序输出如下： ~~~go j = 1, k = 1 i = 0, j = 0 ~~~ 这里要注意的是，block`if`中声明的j，与上面的j属于不同的作用域