Go在流程控制方面的特点如下：
没有do和while循环，只有一个更广义的for语句。
switch语句灵活多变，还可以用于类型判断。
if语句和switch语句都可以包含一条初始化子语句。
break语句和continue语句可以后跟一条标签（label）语句，以标识需要终止或继承的代码块。
defer语句可以使我们更加方便地执行异常捕获和资源回收任务。
select语句也用于多分支选择，但只与通道配合使用。
go语句用于异步启动goroutine并执行指定函数。
1.代码块和作用域
代码块就是一个由花括号包裹地表达式和语句的序列。当然，代码块中也可以不包含任何内容，即：空代码块。
除了显式地代码块之外，还有一些隐式地代码块，说明如下：
所有Go代码形成了一个最大地代码块，即：全域代码块；
每一个代码包中的代码共同组成了一个代码块，即：代码包代码块；
每一个源码文件都是一个代码块，即：源码文件代码块；
每一个if、for、switch和select语句都是一个代码块；
每一个在switch或select语句中的case分支都是一个代码块。
在Go中，使用代码块表示词法上的作用域范围，具体规则如下：
一个预定义标识符的作用域是全域代码块；
表示一个常量、变量、类型或函数（不包括方法），且声明在函数之外的标识符的作用域是当前的代码包代码块；
被导入的代码包的名称的作用域是当前的源码文件代码块；
表示方法接收者、方法参数、类型或函数的标识符，如果被声明在函数内部，那么作用域就是包含其声明的那个最内层的代码块。
此外，我们还可以重新声明已经在外层代码块中声明过的标识符。
当在内层代码块中使用这个标识符时，它表示的总是那个在该代码块中与它绑定在一起的那个程序实体。
可以说，此时在外层代码块中声明的那个同名标识符并屏蔽了。例如
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分支会被执行。
例如：
var number int
//省略
if 100 < number {
number++
}
又如：
if 100 < number {
number++
}else {
number--
}
if语句还可以包含一条初始化的子语句，用于初始化局部变量：
if diff := 100 - number;100 < diff {
number++
}else {
number--
}
此外，它还支持串联：
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表达式的结果。
示例：
package main
import (
"fmt"
)
var content string
//省略
switch content {
default:
fmt.Println("不知道什么语言")
case "python":
fmt.Fprintln("一门解释型语言")
case "go":
fmt.Println("一门编译型语言")
switch语句也可以包含一条子语句来初始化局部变量：
switch lang := strings.TrimSpace(content); lang {
default:
fmt.Println("不知道什么语言")
case "python":
fmt.Fprintln("一门解释型语言")
case "go":
fmt.Println("一门编译型语言")
}
可以在switch语句中使用fallthrough，来向下一个case语句转移流程控制权。
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语句将对类型进行判定，而不是值。
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表达式还有一种变形写法。
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子句可以包含初始化子句、条件子句和后置子句。
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子句的初始化子句和后置子句同时被省略，或者其中的所有部分都省略的情况下，分隔符":"可以省略。
var m = 1
for m < 50 {
m *= 3
}
（2）range子句
一条for语句可以携带一条range语句，这样就可以迭代出一个数组或者切片值中的每个元素、
一个字符串中的每个字符、或者一个字典值中的每个键-元素对，以及持续地接收一个通道类型值中的元素。
随着迭代的进行，每一次获取的迭代值（索引、元素、字符或键-元素对）都会赋给相应的迭代变量。
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语句上。