Golang Block 到底是什么？ i:=i 合法？ 为什么能解决闭包变量冲突？
什么？ 你告诉我 i:=i 不仅合法，而且还常用。甚至能解决并发编程中的变量冲突？
以下这段代码出自 golang 官方 的 Effective GO 并发编程章节。 为了解决 goroute 中变量 req 冲突， 使用了语句 req := req
https://golang.org/doc/effective_go#concurrency
我们来看看代码
func Serve(queue chan *Request) {
for req := range queue {
req := req // Create new instance of req for the goroutine.
sem <- 1
go func() {
process(req)
<-sem
}()
}
}
req := req 这种写法是不是感到很奇怪？ 看看 Effective GO 怎么说？
but it's legal and idiomatic in Go to do this. You get a fresh version of the variable with the same name, deliberately shadowing the loop variable locally but unique to each goroutine.
不仅合法，而且还常用。 这么做是为了在循环体内部将得到一个同名变量， 以隐藏 循环变量 req， 从而每个 goroute 得到一个唯一
req。
直接这么看，还是有点拗口。 不过不重要， 在了解了 golang 的 区块(block) 定义范围之后， 就迎刃而解了。
Blocks
https://golang.org/ref/spec#Blocks
A
blockis a possibly empty sequence of declarations and statements within matching brace brackets.
什么是 Blocks？
- 用 大括号
{}包围的一个代码块。 - 这个代码块内容也可以为空， 也可以是有内容。
Block = "{" StatementList "}" .
StatementList = { Statement ";" } .
Block 的范围在哪里？
除了我们上面说的 以大括号{}包围的代码块 这种 显式 block 之外， go 语言还存在几种 隐式 的 block。
1. universe 全局
The universe block encompasses all Go source text.
universe 这个词不怎听说， 但是换成 全局 这个概念还是很好理解的。
2. package 包
Each package has a package block containing all Go source text for that package.
package 就是最常见的 package 包。 作用域也很明确， 使用类似 package.Variable 。
3. file 文件
Each file has a file block containing all Go source text in that file.
文件级别的隐式 block。 这个其实还是有点意思的。
目前发现现象，
- test文件
filename_test.go中的 变量/函数 ， 在 主程序文件filename.go中是无法引用的。 - 在 主程序文件 中的 ` 变量/函数 在 test文件 中是无法引用的。
- test文件 之间的是可以互相引用的。
- 主程序 之间的是可以互相引用的。
因此推测（无实锤）， 1. 存在 file block。 2. 并且有高低等级之分。
其实很好理解， _test 是用于测试的， 肯定不能干扰主干程序的的环境。
注意: 图片中是两个文件， 上 main_test.go 下 main.go。 并且 编译器 很明显的提示了， 在 main.go 中找不到变量 VarInTest。
4. for, if, switch 的隐式 block
Each "if", "for", and "switch" statement is considered to be in its own implicit block.
for,if,switch本身是一个 隐式的 block- 其语法中的 大括号
{}所包围的区域是一个 显式的 Block。
- for block (19-26 行) 本身就是一个 隐式的 block 。
- for 大括号
{}部分(20-25行) 的 是一个 显式的 block ， 作为for block的 子 block(statement block)存在
因此， 在 22 行 i:=i 是合法的， **在 statement block 中产生了 同名变量覆盖**。
也就是因为 {} 是 for 子block 的原因， for 的 post 可以修改变量 i， 在 statement 中也可以修改变量 i
- 因此， 在 35 行被注释的时候， for block 的变量 i 被继承，并在 if block 中被修改， 所以结果是
loop: 0,1,2,9 - 当 35 行存在的时候，
for block中的变量i被statement block继承， 并进行 同名覆盖 , 之后以_i说明。 所以， 在if block继承了statement block中的_i并修改。 此时，for block的i并未受到影响。 因此结果是:loop: 0-9
5. switch / select 中clause 的 隐式 block
Each clause in a "switch" or "select" statement acts as an implicit block.
switch / select更为特殊一点， 除了包含 大括号 以外， 还包含条件语句逻辑。 并且 条件语法代码块 也是一个 隐式的 block。- 这个 隐式 block 包含了
case / default:本身之外， 还包含了 下一层的缩进 Statement 区域 。
- 注释 20 行， 可以很清楚的看到报错，
func block中的i在申明后并未使用。 此说明了 switch 本身是一个 隐式 block。 switch clause 分支整体 (case 10-14 行)/(default 15-17) 是一个 block。
互相吹捧， 共同进步
欢迎和我一起学习进步， 如果有什么问题， 可以给我私信留言。 或者
