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

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

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

 

posted @ 2018-12-09 00:20  明王不动心  阅读(296)  评论(0编辑  收藏  举报