为何`if`语句会改变变量`str`的作用域？

核心原因 #

在Go语言里，if语句初始化子句（即if后分号前的部分）中用:=声明的变量，作用域仅限于整个if结构内部——包括初始化子句本身、条件判断逻辑，以及后续的if/else分支代码块。一旦代码执行跳出这个if结构，这些变量就会被销毁，外部代码无法访问。

对应案例分析 #

案例1：变量在if初始化子句中声明

if str, err := m.something(); err != nil {
        return err
    }

fmt.Println(str)  //str is undefined variable

这里str是在if的初始化子句里用:=声明的，它的作用域只覆盖整个if结构：从if开始的初始化语句，到if的大括号结束。当代码执行到fmt.Println(str)时，已经跳出了if的作用域，str已经不存在了，所以会报“未定义变量”的错误。

案例2：变量在外部代码块声明

str, err := m.something(); 

fmt.Println(str)  //str is ok

这里str是在当前函数（或外层代码块）的作用域下声明的，只要还在这个外层代码块里，str就始终有效，所以fmt.Println(str)能正常访问到它。

补充说明 #

Go语言里的变量作用域遵循“块级作用域”规则：

• 普通代码块（比如函数体、for循环块）中声明的变量，作用域是整个代码块；
• 而if的初始化子句是if结构的专属部分，它声明的变量被Go语言特殊限定在if结构的整个范围内，不会向外扩散到if之外的代码。

内容的提问来源于stack exchange，提问作者James Franco