Go 的语句块

sunzhaohao · · 3691 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

声明会给标识符绑定值,例如包、变量、类型等等。完成声明后,有必要知道源码中的标识符在哪些地方引用了被指定的值(简单来讲,就是一个标识符在哪里是可用的)。 Go 属于词法作用域,所以标识符的解析会依赖于它在代码中声明的位置。这种方式和动态作用域语言截然不同,动态作用域语言中标识符的可见性不依赖于被声明的位置。看看下面这段 bash 脚本: ```bash #!/bin/bash f() { local v=1 g } g() { echo "g sees v as $v" } h() { echo "h sees v as $v" } f g h ``` 变量 v 是在函数 f 中定义的,但由于函数 g 被函数 f 调用,所以函数 g 可以访问 v: ``` > ./scope.sh g sees v as 1 g sees v as h sees v as ``` 当单独调用函数 g 或者在函数 h 中调用 g 时,可以看到 v 并没有被定义。动态作用域语言中的可见性并不是静态不变(词法作用域也被叫做静态作用域),而是依赖于控制流。 当试图编译 Go 版本的类似代码时会 报编译错误: ```go package main import "fmt" func f() { v := 1 g() } func g() { fmt.Println(v) // "undefined: v" } func main() { f() } ``` Go 的词法作用域使用了语句块,所以在学习可见性规则前有必要先理解什么是语句块。 语句块是一连串的语句序列(空序列也算)。语句块可以嵌套,并且被花括号标识出来。 ```go package main import "fmt" func main() { { // start outer block a := 1 fmt.Println(a) { // start inner block b := 2 fmt.Println(b) } // end inner block } // end outer block } ``` 除了显示标出的语句块之外,还有一些隐式语句块: - 主语句块:包括所有源码, - 包语句块:包括该包中所有的源码(一个包可能会包括一个目录下的多个文件), - 文件语句块:包括该文件中的所有源码, - for 语句本身也在它自身的隐式语句块中: ```go for i := 0; i < 5; i++ { fmt.Println(i) } ``` 所以在初始化语句中声明的变量 i 可以在整个循环体的条件语句,后置语句以及嵌套块中访问。但在 for 语句之后使用 i 的操作会引起 “未定义:i ” 编译错误。 - if 语句也是它自身的隐式语句块: ```go if i := 0; i >= 0 { fmt.Println(i) } ``` if 语句允许声明变量,当条件为真时该变量可以在嵌套块中使用,抑或条件为假时在 else 语句块中使用。 - switch 语句在它自身的隐式语句块中: ```go switch i := 2; i * 4 { case 8: fmt.Println(i) default: fmt.Println(“default”) } ``` ​和 if 语句类似,可以使用临时声明变量作为 case 子句的开头。 - 每个 switch 语句中的子句都是一个隐式语句块。 ```go switch i := 2; i * 4 { case 8: j := 0 fmt.Println(i, j) default: // "j" is undefined here fmt.Println(“default”) } // "j" is undefined here ``` 如果语法规定每个 case 子句都属于同一个语法块的话,那么就不会需要这个额外的例子。这将迫使每个子句都要使用花括号,使得代码变得不那么易读和简洁。 - select 语句中的每个子句都是一个隐式语句块,和 switch 语句中的子句类似: ```go tick := time.Tick(100 * time.Millisecond) LOOP: for { select { case <-tick: i := 0 fmt.Println(“tick”, i) break LOOP default: // "i" is undefined here fmt.Println(“sleep”) time.Sleep(30 * time.Millisecond) } } // "i" is undefined here ``` [“Scope in Go”](https://medium.com/@mlowicki/scopes-in-go-a6042bb4298c) 解释了作用域(可见性)。语句块在定义作用域的整个机制中起着关键作用。 ## 资源 - https://golang.org/ref/spec#Blocks

via: https://medium.com/golangspec/blocks-in-go-2f68768868f6

作者:Michał Łowicki  译者:sunzhaohao  校对:polaris1119

本文由 GCTT 原创编译,Go语言中文网 荣誉推出


有疑问加站长微信联系(非本文作者))

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

3691 次点击  
加入收藏 微博
被以下专栏收入,发现更多相似内容
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传