Scope

概述 #

词法块 是指由大括号围起来的一个语句序列,比如 for 循环语句块,if/else 判断语句块。 在 语句块 内部声明的变量对外部不可见,块把声明围起来,决定了它的作用域。

一个程序可以包含多个相同名称的变量,只要这些变量处在不同的 语句块 内。 虽然语法上支持,但是实践中不建议这样做。

全局变量 #

全局变量根据 可见行 规则,决定在包内可用还是全局可用。

package main

import "fmt"

var (
	number = 1024
)

func main() {
	// 直接访问全局变量
	fmt.Printf("number = %d\n", number)

	// 循环内访问全局变量
	for i := 0; i < 1; i++ {
		fmt.Printf("number = %d\n", number)
	}
}

// $ go run main.go
// 输出如下 
/**
  number = 1024
  number = 1024
*/

局部变量 #

不同的层级作用域 #

外层定义的变量在内层可以使用,内层定义的变量外层不可以使用。 常见的 if, for 等都是不同的代码块, 每个代码块组成了一个层级。

package main

func main() {
	number := 1024

	if number > 0 { // 第 1 层
		for i := 0; i < 10; i++ { // 第 2 层
			if i > 5 { // 第 3 层
				for j := 0; j < 10; j++ { // 第 4 层

				}
			}
		}
	}
}

如上代码组成了 4 个层级,其中:

  • 变量 number 在每个层级都可以使用
  • 变量 i 只在第 2 层级, 第 3 层级可以使用
  • 变量 j 只在第 4 层级可以使用

内层变量覆盖外层变量 #

如果在内层和外层块都存在相同名称的变量,那么内层变量会覆盖外层变量。

package main

import "fmt"

func main() {
	number := 1024
	fmt.Printf("number = %d\n", number)

	// 循环内部覆盖变量
	// 这里只是为了做演示,实践中建议区分变量名称
	for i := 0; i < 1; i++ {
		number := 1025
		fmt.Printf("number = %d\n", number)
	}
}

// $ go run main.go
// 输出如下 
/**
  number = 1024
  number = 1025
*/

小结 #

为了节省篇幅,本小结所有的声明均以变量为例子,所有规则同样适用于常量、结构体、函数等其他声明。

reference #

  1. Go 圣经

转载申请

本作品采用 知识共享署名 4.0 国际许可协议 进行许可,转载时请注明原文链接,图片在使用时请保留全部内容,商业转载请联系作者获得授权。

© 蛮荆 | 陕公网安备 61011302001681 号 | 陕ICP备2023004378号-1 | Rendered by Hugo