C++ 中的 `goto` 语句及替代方案（七十一）

1. goto 的基本语法

void example() {
    // …  
    goto label;    // 无条件跳转
    // …
label:
    // 目标语句：跳转到这里继续执行
    return;
}

• 声明方式：goto label;
• 目标语句：在同一函数内，以 label: 前缀标记
• 标签名可以与其他变量重名，不互相冲突。

2. 为什么尽量避免 goto

1. 破坏代码结构
   直接跳转会让阅读者不知道下一步要去哪儿，增加理解难度。
2. 难以维护与扩展
   当程序逻辑变复杂后，任意跳转可能交织成“GoTo 地狱”，修改时容易引入遗漏或死循环。
3. 作用域与析构危险
   跳转可能绕过对象的构造或析构，导致资源泄露或未定义行为。

3. 合法 vs. 非法的 goto 跳转

3.1 非法示例：跨越初始化

void fn() {
    goto end;         // 错误：跳过了 ix 的定义与初始化
    int ix = 10;      

end:
    ix = 42;          // 错误：ix 尚未在此作用域中初始化
}

规则：不能从一个作用域外跳入到有自动（带初始化）变量的作用域内。

3.2 合法示例：向后重新执行初始化

void retry_example() {
begin:
    int sz = get_size();    // 每次到这里都会重建并初始化 sz
    if (sz <= 0) {
        goto begin;         // 合法：sz 的旧实例先被销毁
    }
    // …
}

说明：跳过这条语句后，控制流回到 begin，旧的 sz 销毁，新的 sz 再次构造。

4. 结构化编程的替代方案

• break：跳出最近的 for/while/switch
• continue：结束本次迭代，进入下一次循环
• 函数封装：将逻辑拆成多个小函数，用 return 代替跳转
• 异常处理：对于真正的错误或超出预期条件，用 throw/catch 抛出并终止流程

4.1 将 goto 转为函数调用

void process() {
    if (!prepare()) return;
    if (!step1()) return;
    if (!step2()) return;
    // …
}

这样，每个阶段失败都能清晰地退出，不用在函数内部四处跳转。

结语

虽然 C++ 仍然保留了 goto，但在大多数场合，你完全可以借助循环控制结构、早期返回或函数拆分来获得更清晰、更安全的代码。让我们一起拒绝“GoTo 地狱”，拥抱结构化、可维护的编程风格！