go——流程控制

Go在流程控制方面的特点如下：
　　没有do和while循环，只有一个更广义的for语句。
　　switch语句灵活多变，还可以用于类型判断。
　　if语句和switch语句都可以包含一条初始化子语句。
　　break语句和continue语句可以后跟一条标签（label）语句，以标识需要终止或继承的代码块。
　　defer语句可以使我们更加方便地执行异常捕获和资源回收任务。
　　select语句也用于多分支选择，但只与通道配合使用。
　　go语句用于异步启动goroutine并执行指定函数。

1.代码块和作用域

代码块就是一个由花括号包裹地表达式和语句的序列。当然，代码块中也可以不包含任何内容，即：空代码块。
除了显式地代码块之外，还有一些隐式地代码块，说明如下：

 　　所有Go代码形成了一个最大地代码块，即：全域代码块；
　　每一个代码包中的代码共同组成了一个代码块，即：代码包代码块；
　　每一个源码文件都是一个代码块，即：源码文件代码块；
　　每一个if、for、switch和select语句都是一个代码块；
　　每一个在switch或select语句中的case分支都是一个代码块。

在Go中，使用代码块表示词法上的作用域范围，具体规则如下：
　　一个预定义标识符的作用域是全域代码块；
　　表示一个常量、变量、类型或函数（不包括方法），且声明在函数之外的标识符的作用域是当前的代码包代码块；
　　被导入的代码包的名称的作用域是当前的源码文件代码块；
　　表示方法接收者、方法参数、类型或函数的标识符，如果被声明在函数内部，那么作用域就是包含其声明的那个最内层的代码块。

此外，我们还可以重新声明已经在外层代码块中声明过的标识符。
当在内层代码块中使用这个标识符时，它表示的总是那个在该代码块中与它绑定在一起的那个程序实体。
可以说，此时在外层代码块中声明的那个同名标识符并屏蔽了。例如

?

1 2 3 4 5 6 7 8 9 10 11 12 13

package main import (     "fmt" ) var v = "1,2,3"  //最外层标识符 func main() {     v := []int{1, 2, 3}  //第二次赋值     if v != nil {         var v = 123  //第三次赋值         fmt.Printf("%v\n", v)      } } //结果：123

其中，变量v被声明3次。当判断v是否非nil时，v代表的时那个切片。
而当v被打印时，它代表的确实那个整数。

 

2.if语句

if语句会根据条件表达式来执行两个分支中的一个。
如果那个表达式的结果是true，那么if分支会被执行，否则else分支会被执行。

例如：

?

1 2 3 4 5

var number int //省略 if 100 < number {     number++ }

又如：

?

1 2 3 4 5

if 100 < number {     number++ }else {     number-- }

if语句还可以包含一条初始化的子语句，用于初始化局部变量：

?

1 2 3 4 5

if diff := 100 - number;100 < diff {     number++ }else {     number-- }

此外，它还支持串联：

?

1 2 3 4 5 6 7

if diff := 100 - number;100 < diff {  //先进行赋值操作，在逻辑判断     number++ }else if 200 < diff {     number-- }else {     number -= 2 }

其中条件表达式的求值顺序是自上而下的。只有第一个结果为true的表达式对应的分支会被选中并执行。
并且，只要上面的表达式的结果为true，其后的表达式就不会被求值。

 

3.switch语句

switch语句也提供了一种多行分支执行的方法。
它会用一个表达式或类型说明符与每一个case进行比较，并决定执行哪一个分支。

（1）表达式switch语句

在表达式switch语句中，switch表达式和所有case携带的表达式（也称为case表达式）都会被求值，并且执行顺序是自左向右、自下而上。
只有第一个与switch表达式的求值结果相等case表达式分支会被执行。
如果没有找到匹配的case表达式并且存在default case，那么default case的分支会执行。
注意，default case最多只有一个。
另外，switch表达式可以省略，这时true会作为switch表达式的结果。
示例：

?

1 2 3 4 5 6 7 8 9 10 11 12 13

package main import (     "fmt" ) var content string //省略 switch content {     default:         fmt.Println("不知道什么语言")     case "python":         fmt.Fprintln("一门解释型语言")     case "go":         fmt.Println("一门编译型语言")

switch语句也可以包含一条子语句来初始化局部变量：

?

1 2 3 4 5 6 7 8

switch lang := strings.TrimSpace(content); lang {     default:         fmt.Println("不知道什么语言")     case "python":         fmt.Fprintln("一门解释型语言")     case "go":         fmt.Println("一门编译型语言") }

可以在switch语句中使用fallthrough，来向下一个case语句转移流程控制权。

?

1 2 3 4 5 6 7 8 9 10

switch lang := strings.TrimSpace(content); lang {     case "Ruby":         fallthrough     case "Python":         fmt.Println("一门解释型语言")     case "C","Java","Go":         fmt.Println("一门编译型语言")     default:         fmt.Println("什么都不是") }

只要lang的值等于Ruby或python，第2个case语句就会执行。其实可以放在一个case中。
每个case语句中的case表达式还可以有多个。
另外，break语句可以用来退出当前的switch语句。它由一个break关键字和一个可选的标签组成。

 

（2）类型switch语句

类型switch语句将对类型进行判定，而不是值。

?

1 2 3 4 5 6 7 8 9 10

var v interface{} //省略 switch v.(type) {     case string:         fmt.Printf("The string '%s'.\n",v.(string))     case int,uint,int8,uint8:         fmt.Printf("The integer is %d.\n",v)     default:         fmt.Printf("Unsupported value.(type%T)\n",v) }

类型switch语句的switch表达式会包含一个特殊的类型断言，例如v.(type)。
它虽然特殊，但是也要遵循类型断言的规则。其次，每个case表达式中包含的都是类型字面量而不是表达式。
最后fallthrough语句不允许出现在类型switch语句中。

类型断言switch语句的switch表达式还有一种变形写法。

?

1 2 3 4 5 6 7 8

switch i := v.(type) {     case string:         fmt.Printf("The string '%s'.\n",i)     case int,uint,int8,uint8:         fmt.Printf("The integer is %d.\n",i)     default:         fmt.Printf("Unsupported value.(type%T)\n",i) }

这里的i := v.(type)使经类型转换后的值得以保存。i的类型一定会是v的值的实际类型。

 

4.for语句

for语句用于根据给定的条件重复执行一个代码块。这个条件或由for子句直接给出，或从range子句中获得。
（1）for子句

一条for语句中可以携带一条for子句。for子句可以包含初始化子句、条件子句和后置子句。

?

1 2 3 4 5 6 7 8 9 10 11 12 13 14

var number int for i := 0; i < 100; i++ {  //i := 0初始化语句  i++后置语句     number++ }   var j uint = 1 for;j%5 != 0; j *= 3 {  //省略初始化子句     number++ }   for k := 1; k%5 != 0; {  //省略后置子句     k *= 3     number++ }

在for子句的初始化子句和后置子句同时被省略，或者其中的所有部分都省略的情况下，分隔符":"可以省略。

?

1 2 3 4

var m = 1 for m < 50 {     m *= 3 }

 

（2）range子句

一条for语句可以携带一条range语句，这样就可以迭代出一个数组或者切片值中的每个元素、
一个字符串中的每个字符、或者一个字典值中的每个键-元素对，以及持续地接收一个通道类型值中的元素。
随着迭代的进行，每一次获取的迭代值（索引、元素、字符或键-元素对）都会赋给相应的迭代变量。

?

1 2 3 4

ints := []int{1, 2, 3, 4, 5} for i, d := range ints {     fmt.Printf("Index:%d,value:%d\n", i, d) }

在range关键字右边的是range表达式。range表达式一般只会在迭代开始前被求值一次.
针对range表达式的不同结果，range子句的行为也会不同。

使用range子句，有3点需要注意：
　　a.若对数组、切片或字符串值进行迭代，且:=左边只有一个迭代变量时，一定要小心。
　　　这时只会得到其中元素的索引，而不是元素本身。
　　b.迭代没有任何元素的数组值、为nil的切片值、为nil的字典值或为""的字符串值，
　　  并不会执行for语句中的代码。for语句在一开始就会直接结束执行，因为这些值的长度都为0.
　　c.迭代为nil的通道值会让当前流程永远阻塞在for语句上。