4. 流程控制

流程控制是编程语言的骨架。Go 在保留经典控制结构的同时，做了大量简化与增强：没有 while/do-while，没有三元运算符，switch 默认不穿透，defer 成为资源管理的核心工具。本章逐一拆解每个控制原语的正确用法与工程陷阱。

4.1 if-else 分支：简洁与作用域

Go 的 if 条件表达式不需要括号，但必须跟大括号。支持在条件前执行一个简单语句，常用于错误处理与局部变量声明。

// 标准形式
if err := os.Remove("tmp.txt"); err != nil {
    log.Printf("remove failed: %v", err)
    return
}
// 注意：err 的作用域仅限于 if-else 块内
fmt.Println("remove success")

4.2 for 循环：三种形式覆盖所有场景

Go 只有 for 关键字，但通过三种变体覆盖了 while、do-while 和无限循环的全部能力。

// 形式一：完整三段式（类似 C 的 for）
for i := 0; i < 10; i++ {
    fmt.Println(i)
}

// 形式二：条件式（类似 while）
n := 0
for n < 5 {
    n++
}

// 形式三：无限循环
for {
    // 直到 break 或 return
}

// 错误示例
for _, v := range slice {
    go func() {
        fmt.Println(v) // 所有 goroutine 可能打印同一个值
    }()
}

// 正确做法
for _, v := range slice {
    v := v // 创建局部副本
    go func() {
        fmt.Println(v)
    }()
}

4.3 switch 语句：默认不穿透与类型判断

Go 的 switch 做了两项关键改进：每个 case 默认带 break，支持表达式列表。同时提供类型 switch 用于接口类型判断。

// 值 switch：默认不穿透
switch status {
case 200:
    fmt.Println("OK")
case 301, 302:
    fmt.Println("Redirect")
case 404:
    fmt.Println("Not Found")
default:
    fmt.Println("Unknown")
}

// 表达式 switch：case 中可以写任意布尔表达式
switch {
case score >= 90:
    grade = "A"
case score >= 80:
    grade = "B"
default:
    grade = "C"
}

// 类型 switch：用于接口类型断言
var v interface{} = "hello"
switch t := v.(type) {
case string:
    fmt.Println("string:", t)
case int:
    fmt.Println("int:", t)
default:
    fmt.Printf("unknown type: %T\n", t)
}

4.4 goto 与标签：受限制的跳转

Go 保留了 goto，但做了严格限制：不能跳入内层代码块，不能跳过变量声明。主要用于错误集中处理和深层循环的跳出。

// 错误集中处理
err := step1()
if err != nil {
    goto cleanup
}
err = step2()
if err != nil {
    goto cleanup
}
// 正常流程
return nil

cleanup:
    // 释放资源
    rollback()
    return err

// 跳出多层循环
outer:
    for i := 0; i < 10; i++ {
        for j := 0; j < 10; j++ {
            if i*j > 50 {
                break outer // 直接跳出外层循环
            }
        }
    }

4.5 defer 延迟执行：资源管理的基石

defer 将函数调用推迟到当前函数返回前执行，采用后进先出（LIFO）顺序。是 Go 中管理文件、锁、连接等资源的惯用模式。

// 基本用法：成对的资源获取与释放
f, err := os.Open("file.txt")
if err != nil {
    return err
}
defer f.Close() // 函数返回时自动关闭

mu.Lock()
defer mu.Unlock() // 解锁

// 多个 defer：LIFO 顺序
defer fmt.Println("first")  // 第三个执行
defer fmt.Println("second") // 第二个执行
defer fmt.Println("third")  // 第一个执行

// 参数即时求值
x := 10
defer fmt.Println(x) // 输出 10，即使后面 x 被修改
x = 20

// 命名返回值：defer 可以修改返回值
func example() (result int) {
    defer func() {
        result += 10 // 修改最终返回值
    }()
    return 5
}
// 调用 example() 返回 15

4.6 综合对比与选型指南