Go第四篇之流程控制

流程控制是每种编程语言控制逻辑走向和执行次序的重要部分,流程控制可以说是一门语言的“经脉”。

Go 语言的常用流程控制有 if 和 for,而 switch 和 goto 主要是为了简化代码、降低重复代码而生的结构,属于扩展类的流程控制。
本章主要介绍了 Go 语言中的基本流程控制语句,包括分支语句(if 和 switch)、循环(for)和跳转(goto)语句。另外,还有循环控制语句(break 和 continue),前者的功能是中断循环或者跳出 switch 判断,后者的功能是继续 for 的下一个循环。

Go语言分支结构

在 Go 语言中,可以通过 if 关键字进行条件判断,格式如下:

if 表达式1 {
分支1
} else if 表达式2 {
分支2
} else{
分支3
}

当表达式 1 的结果为 true 时,执行分支 1,否则判断表达式 2,如果满足则执行分支 2,都不满足时,则执行分支 3。表达式 2、分支 2 和分支 3 都是可选的,可以根据实际需要进行选择。
Go 语言规定与 if 匹配的左括号{必须与 if 和表达式放在同一行,如果尝试将{放在其他位置,将会触发编译错误。
同理,与 else 匹配的{也必须与 else 在同一行,else 也必须与上一个 if 或 else if 的右边的大括号在一行。

举例

通过下面的例子来了解 if 的写法:

var ten int = 11
if ten > 10 {
fmt.Println(">10")
} else {
fmt.Println("<=10")
}

代码输出如下:
>10
代码说明如下:

  • 第 1 行,声明整型变量并赋值 11。
  • 第 2 行,判断当 ten 的值大于 10 时执行第 3 行,否则执行第 4 行。
  • 第 3 和第 5 行,分别打印大于 10 和小于等于 10 时的输出。

特殊写法

if 还有一种特殊的写法,可以在 if 表达式之前添加一个执行语句,再根据变量值进行判断,代码如下:

if err := Connect(); err != nil {
fmt.Println(err)
return
}

Connect 是一个带有返回值的函数,err:=Connect() 是一个语句,执行 Connect 后,将错误保存到 err 变量中。
err!=nil 才是 if 的判断表达式,当 err 不为空时,打印错误并返回。
这种写法可以将返回值与判断放在一行进行处理,而且返回值的作用范围被限制在 if、else 语句组合中。

提示

在编程中,变量在其实现了变量的功能后,作用范围越小,所造成的问题可能性越小,每一个变量代表一个状态,有状态的地方,状态就会被修改,函数的局部变量只会影响一个函数的执行,但全局变量可能会影响所有代码的执行状态,因此限制变量的作用范围对代码的稳定性有很大的帮助。

循环结构

Go 语言中的所有循环类型均可以使用 for 关键字来完成。
基于语句和表达式的基本 for 循环格式如下:

for 初始语句;条件表达式;结束语句{
    循环体代码
}

循环体不停地进行循环,直到条件表达式返回 false 时自动退出循环,执行 for 的}之后的语句。
for 循环可以通过 break、goto、return、panic 语句强制退出循环。for 的初始语句、条件表达式、结束语句的详细介绍如下。

for 中的初始语句

初始语句是在第一次循环前执行的语句,一般使用初始语句执行变量初始化,如果变量在此处被声明,其作用域将被局限在这个 for 的范畴内。

初始语句可以被忽略,但是初始语句之后的分号必须要写,代码如下:

step := 2
for ; step > 0; step-- {
fmt.Println(step)
}

这段代码将 step 放在 for 的前面进行初始化,for 中没有初始语句,此时 step 的作用域就比在初始语句中声明 step 要大。

for 中的条件表达式——控制是否循环的开关

对每次循环开始前计算的表达式,如果表达式为 true,则循环继续,否则结束循环。条件表达式可以被忽略,被忽略条件的表达式默认形成无限循环。

1) 结束循环时带可执行语句的无限循环

下面代码忽略条件表达式,但是保留结束语句,代码如下:

var i int
for ; ; i++ {
if i > 10 {
break
}
}

代码说明如下:

  • 第 3 行,无须设置 i 的初始值,因此忽略 for 的初始语句。两个分号之间是条件表达式,也被忽略,此时循环会一直持续下去;for 的结束语句为 i++,每次结束循环前都会调用。
  • 第 5 行,判断 i 大于 10 时,通过 break 语句跳出 for 循环到第 9 行。

2) 无限循环

上面的代码还可以改写为更美观的写法,代码如下:

var i int
for {
if i > 10 {
break
}
i++
}

代码说明如下:

  • 第 3 行,忽略 for 的所有语句,此时 for 执行无限循环。
  • 第 9 行,将 i++ 从 for 的结束语句放置到函数体的末尾是等效的,这样编写的代码更具有可读性。

无限循环在收发处理中较为常见,但需要无限循环有可控的退出方式来结束循环。

3) 只有一个循环条件的循环

在上面代码的基础上进一步简化代码,将 if 判断整合到 for 中,变为下面的代码:

var i int
for i <= 10 {
i++
}

在代码第 3 行中,将之前使用 if i>10{} 判断的表达式进行取反,变为判断 i 小于等于 10 时持续进行循环。
上面这段代码其实类似于其他编程语言中的 while,在 while 后添加一个条件表达式,满足条件表达式时持续循环,否则结束循环。

for 中的结束语句——每次循环结束时执行的语句

在结束每次循环前执行的语句,如果循环被 break、goto、return、panic 等语句强制退出,结束语句不会被执行。

 

输出九九乘法表

熟悉了 Go 语言的基本循环格式后,让我们用一个例子来温习一遍吧。

输出九九乘法表:

package main
import "fmt"
func main() {
// 遍历, 决定处理第几行
for y := 1; y <= 9; y++ {
// 遍历, 决定这一行有多少列
for x := 1; x <= y; x++ {
fmt.Printf("%d*%d=%d ", x, y, x*y)
}
// 手动生成回车
fmt.Println()
}
}

结果输出如下:

1*1=1
1*2=2 2*2=4
1*3=3 2*3=6   3*3=9
1*4=4 2*4=8   3*4=12 4*4=16
1*5=5 2*5=10  3*5=15 4*5=20 5*5=25
1*6=6 2*6=12  3*6=18 4*6=24 5*6=30 6*6=36
1*7=7 2*7=14  3*7=21 4*7=28 5*7=35 6*7=42 7*7=49
1*8=8 2*8=16  3*8=24 4*8=32 5*8=40 6*8=48 7*8=56 8*8=64
1*9=9 2*9=18  3*9=27 4*9=36 5*9=45 6*9=54 7*9=63 8*9=72 9*9=81

代码说明如下:

  • 第 8 行,生成 1~9 的数字,对应乘法表的每一行,也就是被乘数。
  • 第 11 行,乘法表每一行中的列数随着行数的增加而增加,这一行的 x 表示该行有多少列。
  • 第 12 行,打印一个空行,实际作用就是换行。


这段程序按行优先打印,打印完一行,换行(第12行),接着执行下一行乘法表直到整个数值循环完毕。

键值循环

Go 语言可以使用 for range 遍历数组、切片、字符串、map 及通道(channel)。通过 for range 遍历的返回值有一定的规律:

  • 数组、切片、字符串返回索引和值。
  • map 返回键和值。
  • 通道(channel)只返回通道内的值。

遍历数组、切片——获得索引和元素

在遍历代码中,key 和 value 分别代表切片的下标及下标对应的值。下面的代码展示如何遍历切片,数组也是类似的遍历方法:

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

代码输出如下:
key:0  value:1
key:1  value:2
key:2  value:3
key:3  value:4

遍历字符串——获得字符

Go 语言和其他语言类似,可以通过 for range 的组合,对字符串进行遍历,遍历时,key 和 value 分别代表字符串的索引(base0)和字符串中的每一个字符。

下面这段代码展示了如何遍历字符串:

  1. var str = "hello 你好"
  2. for key, value := range str {
  3. fmt.Printf("key:%d value:0x%x\n", key, value)
  4. }

代码输出如下:
key:0 value:0x68
key:1 value:0x65
key:2 value:0x6c
key:3 value:0x6c
key:4 value:0x6f
key:5 value:0x20
key:6 value:0x4f60
key:9 value:0x597d

代码中的 v 变量,实际类型是 rune,实际上就是 int32,以十六进制打印出来就是字符的编码。

遍历map——获得map的键和值

对于 map 类型来说,for range 遍历时,key 和 value 分别代表 map 的索引键 key 和索引对应的值,一般被称为 map 的键值对,因为它们总是一对一对的出现。下面的代码演示了如何遍历 map。

m := map[string]int{
"hello": 100,
"world": 200,
}
for key, value := range m {
fmt.Println(key, value)
}

代码输出如下:
hello 100
world 200

注意

对 map 遍历时,遍历输出的键值是无序的,如果需要有序的键值对输出,需要对结果进行排序。

遍历通道(channel)——接收通道数据

for range 可以遍历通道(channel),但是通道在遍历时,只输出一个值,即管道内的类型对应的数据。

下面代码为我们展示了通道的遍历:

c := make(chan int)
go func() {
c <- 1
c <- 2
c <- 3
close(c)
}()
for v := range c {
fmt.Println(v)
}

代码说明如下:

  • 第 1 行创建了一个整型类型的通道。
  • 第 3 行启动了一个 goroutine,其逻辑的实现体现在第 5~8 行,实现功能是往通道中推送数据 1、2、3,然后结束并关闭通道。
  • 这段 goroutine 在声明结束后,在第 9 行马上被并行执行。
  • 从第 11 行开始,使用 for range 对通道 c 进行遍历,其实就是不断地从通道中取数据,直到通道被关闭。

在遍历中选择希望获得的变量

在使用 for range 循环遍历某个对象时,一般不会同时需要 key 或者 value,这个时候可以采用一些技巧,让代码变得更简单。下面将前面的例子修改一下,参考下面的代码示例:

m := map[string]int{
"hello": 100,
"world": 200,
}
for _, value := range m {
fmt.Println(value)
}

代码输出如下:
100
200

在例子中将 key 变成了下画线,那么这里的下画线就是匿名变量。什么是匿名变量?

  • 可以理解为一种占位符。
  • 本身这种变量不会进行空间分配,也不会占用一个变量的名字。
  • 在 for range 可以对 key 使用匿名变量,也可以对 value 使用匿名变量。


再看一个匿名变量的例子:

for key, _ := range []int{1, 2, 3, 4} {
fmt.Printf("key:%d \n", key)
}

代码输出如下:
key:0
key:1
key:2
key:3

在该例子中,value 被设置为匿名变量,只使用 key,而 key 本身就是切片的索引,所以例子输出索引。

我们总结一下for的功能:

    • Go 语言的 for 包含初始化语句、条件表达式、结束语句,这 3 个部分均可缺省。
    • for range 支持对数组、切片、字符串、map、通道进行遍历操作。
    • 在需要时,可以使用匿名变量对 for range 的变量进行选取。

switch语句

分支选择可以理解为一种批量的if语句,使用 switch 语句可方便地对大量的值进行判断。

Go 语言中的 switch,不仅可以基于常量进行判断,还可以基于表达式进行判断。

提示

C/C++ 语言中的 switch 语句只能支持数值常量,不能对字符串、表达式等复杂情况进行处理,这么设计的主要原因是性能。C/C++ 的 switch 可以根据 case 的值作为偏移量直接跳转代码,在性能敏感代码处,这样做显然是有好处的。

到了 Go 语言的时代,语言的运行效率并不能直接决定最终的效率,I/O 效率现在是最主要的问题。因此,Go 语言中的 switch 语法设计尽量以使用方便为主。

基本写法

Go 语言改进了 switch 的语法设计,避免人为造成失误。Go 语言的 switch 中的每一个 case 与 case 间是独立的代码块,不需要通过 break 语句跳出当前 case 代码块以避免执行到下一行。示例代码如下:

var a = "hello"
switch a {
case "hello":
fmt.Println(1)
case "world":
fmt.Println(2)
default:
fmt.Println(0)
}

代码输出如下:
1

上面例子中,每一个 case 均是字符串格式,且使用了 default 分支,Go 语言规定每个 switch 只能有一个 default 分支。

1) 一分支多值

当出现多个 case 要放在一起的时候,可以像下面代码这样写:

var a = "mum"
switch a {
case "mum", "daddy":
fmt.Println("family")
}

不同的 case 表达式使用逗号分隔。

2) 分支表达式

case 后不仅仅只是常量,还可以和 if 一样添加表达式,代码如下:

var r int = 11
switch {
case r > 10 && r < 20:
fmt.Println(r)
}

注意,这种情况的 switch 后面不再跟判断变量,连判断的目标都没有了。

跨越case的fallthrough——兼容C语言的case设计

在 Go 语言中 case 是一个独立的代码块,执行完毕后不会像C语言那样紧接着下一个 case 执行。但是为了兼容一些移植代码,依然加入了 fallthrough 关键字来实现这一功能,代码如下:

var s = "hello"
switch {
case s == "hello":
fmt.Println("hello")
fallthrough
case s != "world":
fmt.Println("world")
}

代码输出如下:
hello
world

新编写的代码,不建议使用 fallthrough。

goto语句

goto 语句通过标签进行代码间的无条件跳转。goto 语句可以在快速跳出循环、避免重复退出上有一定的帮助。Go 语言中使用 goto 语句能简化一些代码的实现过程。

使用goto退出多层循环

下面这段代码在满足条件时,需要连续退出两层循环,使用传统的编码方式如下

package main
import "fmt"
func main() {
var breakAgain bool
// 外循环
for x := 0; x < 10; x++ {
// 内循环
for y := 0; y < 10; y++ {
// 满足某个条件时, 退出循环
if y == 2 {
// 设置退出标记
breakAgain = true
// 退出本次循环
break
}
}
// 根据标记, 还需要退出一次循环
if breakAgain {
break
}
}
fmt.Println("done")
}

代码说明如下:

  • 第 10 行,构建外循环。
  • 第 13 行,构建内循环。
  • 第 16 行,当 y==2 时需要退出所有的 for 循环。
  • 第 19 行,默认情况下循环只能一层一层退出,为此就需要设置一个状态变量 isbreak,需要退出时,设置这个变量为 true。
  • 第 22 行,使用 break 退出当前循环,执行后,代码调转到第 28 行。
  • 第 28 行,退出一层循环后,根据 isbreak 变量判断是否需要再次退出外层循环。
  • 第 34 行,退出所有循环后,打印 done。

使用 goto 集中处理错误

将上面的代码使用 Go 语言的 goto 语句进行优化。

goto 跳出循环

package main
import "fmt"
func main() {
for x := 0; x < 10; x++ {
for y := 0; y < 10; y++ {
if y == 2 {
// 跳转到标签
goto breakHere
}
}
}
// 手动返回, 避免执行进入标签
return
// 标签
breakHere:
fmt.Println("done")
}

代码说明如下:

  • 第 13 行,使用 goto 语句跳转到指明的标签处,标签在第 23 行定义。
  • 第 20 行,标签只能被 goto 使用,但不影响代码执行流程,此处如果不手动返回,在不满足条件时,也会执行第 24 行代码。
  • 第 23 行,定义 breakHere 标签。


使用 goto 语句后,无须额外的变量就可以快速退出所有的循环。

统一错误处理

多处错误处理存在代码重复时是非常棘手的,例如

err := firstCheckError()
if err != nil {
fmt.Println(err)
exitProcess()
return
}
err = secondCheckError()
if err != nil {
fmt.Println(err)
exitProcess()
return
}
fmt.Println("done")

代码说明如下:

  • 第 1 行,执行某逻辑,返回错误。
  • 第 2~6 行,如果发生错误,打印错误退出进程。
  • 第 8 行,执行某逻辑,返回错误。
  • 第 10~14 行,发生错误后退出流程。
  • 第 16 行,没有任何错误,打印完成。

在上面代码中,加粗部分都是重复的错误处理代码。后期陆续在这些代码中如果添加更多的判断,就需要在每一块雷同代码中依次修改,极易造成疏忽和错误。

如果使用 goto 语句来实现同样的逻辑

err := firstCheckError()
if err != nil {
goto onExit
}
err = secondCheckError()
if err != nil {
goto onExit
}
fmt.Println("done")
return
onExit:
fmt.Println(err)
exitProcess()

代码说明如下:

    • 第 3 行和第 9 行,发生错误时,跳转错误标签 onExit。
    • 第 17 行和第 18 行,汇总所有流程进行错误打印并退出进程。

break(跳出循环)

break 语句可以结束 for、switch 和 select 的代码块。break 语句还可以在语句后面添加标签,表示退出某个标签对应的代码块,标签要求必须定义在对应的 for、switch 和 select 的代码块上。
跳出指定循环:

package main
import "fmt"
func main() {
OuterLoop:
for i := 0; i < 2; i++ {
for j := 0; j < 5; j++ {
switch j {
case 2:
fmt.Println(i, j)
break OuterLoop
case 3:
fmt.Println(i, j)
break OuterLoop
}
}
}
}
代码输出如下:
0 2


代码说明如下:

    • 第 7 行,外层循环的标签。
    • 第 8 行和第 9 行,双层循环。
    • 第 10 行,使用 switch 进行数值分支判断。
    • 第 13 和第 16 行,退出 OuterLoop 对应的循环之外,也就是跳转到第 20 行。

continue

continue 语句可以结束当前循环,开始下一次的循环迭代过程,仅限在 for 循环内使用。在 continue 语句后添加标签时,表示开始标签对应的循环。例如

package main
import "fmt"
func main() {
OuterLoop:
for i := 0; i < 2; i++ {
for j := 0; j < 5; j++ {
switch j {
case 2:
fmt.Println(i, j)
continue OuterLoop
}
}
}
}
代码输出结果如下:
0 2
1 2

代码说明:第 14 行将结束当前循环,开启下一次的外层循环,而不是第 10 行的循环。

 

posted @ 2019-01-14 21:08  丶无根生  阅读(184)  评论(0编辑  收藏  举报