golang中的变量阴影-CFANZ编程社区

索引：https://waterflow.link/articles/1666019023270

在 Go 中，在块中声明的变量名可以在内部块中重新声明。这种称为变量阴影的原理很容易出现常见错误。

以下示例显示了由于变量阴影而导致的意外副作用。它以两种不同的方式获取课件信息，根据printLog这个布尔值，判断是否打印日志而走到不同的代码分支：

package main

import "fmt"

type Courseware struct {
	Id int64
	Name string
	Code string
}

func main()  {
	printLog := false
	var courseware *Courseware // 1

	if printLog {
		courseware , err := getCoursewareAndLog() // 2
		if err != nil {
			fmt.Println("get courseware err: ", err)
		}
		fmt.Println(courseware) // 3
	} else {
		courseware, err := getCourseware() // 2
		if err != nil {
			fmt.Println("get courseware err: ", err)
		}
		fmt.Println(courseware) // 3
	}

	fmt.Println(courseware) // 4
}

func getCoursewareAndLog() (*Courseware, error) {
	fmt.Println("打印日志。。。")
	return &Courseware{
		Id: 1,
		Name: "多媒体课件",
		Code: "CW100",
	}, nil
}

func getCourseware() (*Courseware, error) {
	return &Courseware{
		Id: 2,
		Name: "多媒体课件1",
		Code: "CW101",
	}, nil
}

我们可以分析下上面的代码：

首先我们定义了一个courseware变量，初始化为指向Courseware的指针，默认为nil
我们在if代码块的内部调用了获取课件详情的方法，并返回Courseware的指针和error。我们仍然使用变量courseware去接收，注意这里我们使用了短变量声明的操作:=，说明在代码块内部我们重新声明了一个变量courseware，这个并不是外部的courseware变量。
我们在代码块内部打印下获取课件详情的信息
我们在在if代码块外部打印下获取课件详情的信息

如果现在我们用的是PHP语言，那这个绝对不会出现任何问题。if代码块内部会打印出获取课件的详情，外部也会打印出获取课件的详情。对应上面代码中的3、4。毕竟PHP是世界上最好的语言么。

但是在上面的结果中，3会正常打印课件详情，4会打印if代码块外部的courseware，所以是nil。

我们看下打印的结果：

go run 1.go
&{2 多媒体课件1 CW101}
<nil>

这就是所谓的变量阴影。

那我们该如何修改上面的代码使程序变得正常呢？

其实有2种方式修改：

增加一个临时变量

package main

import "fmt"

type Courseware struct {
	Id int64
	Name string
	Code string
}

func main()  {
	printLog := false
	var courseware *Courseware // 1

	if printLog {
		cw , err := getCoursewareAndLog() // 2
		courseware = cw // 增加临时变量
		if err != nil {
			fmt.Println("get courseware err: ", err)
		}
		fmt.Println(courseware) // 3
	} else {
		cw, err := getCourseware() // 2
		courseware = cw // 增加临时变量
		if err != nil {
			fmt.Println("get courseware err: ", err)
		}
		fmt.Println(courseware) // 3
	}

	fmt.Println(courseware) // 4
}

func getCoursewareAndLog() (*Courseware, error) {
	fmt.Println("打印日志。。。")
	return &Courseware{
		Id: 1,
		Name: "多媒体课件",
		Code: "CW100",
	}, nil
}

func getCourseware() (*Courseware, error) {
	return &Courseware{
		Id: 2,
		Name: "多媒体课件1",
		Code: "CW101",
	}, nil
}

看下打印结果，正常输出：

go run 1.go
&{2 多媒体课件1 CW101}
&{2 多媒体课件1 CW101}

不使用:=，err在外部初始化

package main

import "fmt"

type Courseware struct {
	Id int64
	Name string
	Code string
}

func main()  {
	printLog := false
	var courseware *Courseware // 1
	var err error // err放到外层

	if printLog {
		courseware , err = getCoursewareAndLog() // 2 =号赋值
		if err != nil {
			fmt.Println("get courseware err: ", err)
		}
		fmt.Println(courseware) // 3
	} else {
		courseware, err = getCourseware() // 2 =号赋值
		if err != nil {
			fmt.Println("get courseware err: ", err)
		}
		fmt.Println(courseware) // 3
	}

	fmt.Println(courseware) // 4
}

func getCoursewareAndLog() (*Courseware, error) {
	fmt.Println("打印日志。。。")
	return &Courseware{
		Id: 1,
		Name: "多媒体课件",
		Code: "CW100",
	}, nil
}

func getCourseware() (*Courseware, error) {
	return &Courseware{
		Id: 2,
		Name: "多媒体课件1",
		Code: "CW101",
	}, nil
}

看下结果，正常输出：

go run 1.go
&{2 多媒体课件1 CW101}
&{2 多媒体课件1 CW101}