golang短变量命名空间问题

场景一

package main func main() { a := 1 println(&a) a, b := 2, true println(b) println(&a) } /** 结果 0xc000085f48 true 0xc000085f48 */

分析：由于在相同的命名空间下，a, b := 1, true中的变量a并没有覆盖掉之前定义的a变量，仅仅是创建了变量b。如果将b换成_，上面的代码会报:=没有新变量产生的错误，也可佐证。

场景二

package main func main() { a := 1 if a, b := 2, true; b { println(&a) } println(&a) } /** 结果 0xc00008bf40 0xc00008bf48 */

分析：因为if是一个新的命名空间，因此if语句中的变量a覆盖的外层命名空间的a变量。此外，if语句内部也是独立的命令空间。

场景三

package main var a = 1 func main() { println(&a) a, _ := 2, true println(&a) } /** 结果 0x80f230 0xc000085f48 */

分析：全局变量和函数也是两个命名空间，main函数中的变量a覆盖了全局变量a。注意到此时的代码没有报错，也说明了main函数中的a是一个新的变量。 另外，此次两个a变量的地址差别也很大。这是因为全局变量在程序的数据段，而局部变量在栈中分配。

总结

说了这么多有什么用呢？ 其实与go语言对error的处理方式有关，if的新语法，短变量定义，多返回值都有部分原因是为了处理error更方便。

package main func main() { a, err := testA() if err != nil { //handle error } if b, err := testB(); err == nil { //handle success } }

短变量声明可以减少变量声明的代码，但是使用的时候也要注意被赋值的变量是不是你想要的那个变量。特别是变量在别处已经声明过的情况，可能你在定义一个新变量，而不是给变量赋值。

对于以上三个场景，总结起来就是对于:=如果变量在同命名空间下已声明过，则不会产生新变量；否则都会产生新变量。