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语句上。