C++ 中使用 goto 增强 break 和 continue

[jamesfancy]

C++ 的 goto 语句在大多数时间是被打入冷宫的，就因为它容易使代码晦涩难读。同时，break 和 continue 又经常在多重循环中黔驴技穷——不能越层控制循环。

相比之下，Java 就兼顾这两种情况，将 goto 彻底禁用，而标签则限制其只能用于循环之前，以此增加 break 和 continue 的功能，使其能越层控制循环 参阅：《带标签的 break 和 continue (Java)》

Java 尚能如此，为何不在 C++ 中用标签和 goto 语句模仿 Java 来增强 break 和 continue 的功能呢？

于是照 Java 代码写了一份 C++ 的试验样例，结果第一次试验失败。代码如下：

int main(int argc, char* argv[])
{
    cout << "[begin>" << endl;
continuei:
    for (int i = 0; i < 10; i++) {
        for (int j = 0; j < 5; j++) {
            if ((i + j) % 5 == 0) {
                cout << "continue i" <<endl;
                goto continuei;
            }
            cout << i << ", " << j << endl;
        }
    }
    cout << "<end]" << endl;
}

这样做的结果是死循环。每次 goto continuei 之后，就会重新执行第一个循环，所以造成了死循环。看来，只能把标签定义在紧接着循环结束符（}，完成花括号）之前，于是又起一例。这次测试成功。代码如下：

int main(int argc, char* argv[])
{
    cout << "[begin>" << endl;
    for (int i = 0; i < 10; i++) {
        for (int j = 0; j < 5; j++) {
            if ((i + j) % 5 == 0) {
                cout << "continue i" <<endl;
                goto continuei;
            }
            cout << i << ", " << j << endl;
        }
continuei: continue;
    }
    cout << "<end]" << endl;
}

不过，这里如果 break 和 continue 同时出现的话，continue 应该放在前面。因为，如果循环过程中没有触发 goto 语句，这个循环在执行到本次循环结束的时候，是应该继续下一次循环的。continue 定义在前面，就会先执行到它，也就会路过后面后 break 继续下一次循环。返之，如果把 break 放在 continue 前面，则会跳过后面的 continue，跳出循环——这就违背了初衷。还是兴趣个例子：

int main(int argc, char* argv[])
{
    cout << "[begin>" << endl;
    for (int i = 0; i < 10; i++) {
        for (int j = 0; j < 5; j++) {
            if ((i + j) % 5 == 0) {
                cout << "continue i" <<endl;
                goto continuei;
            }
            if (i == 7 && j == 1) {
                cout << "break i" << endl;
                goto breaki;
            }
            cout << i << ", " << j << endl;
        }
continuei: continue;
breaki: break;
    }
    cout << "<end]" << endl;
}

最后还是要说明一下，这个方法要慎用，因为多重循环本身就应该慎用的。多数需多重循环的代码，都可以拆分成每个循环一个函数来替代。这样做会让代码更易读，但是也会降低程序的执行效率。