4、流程控制语句：if-else、switch-case、while、do-while、for循环、嵌套循环、break与continue、goto语句、循环优化技巧

流程控制语句是C++程序逻辑的骨架，决定了代码的执行路径与重复行为。掌握这些语句，不仅意味着能写出语法正确的代码，更意味着能构建出清晰、高效、可维护的算法结构。本章将系统讲解C++中所有核心流程控制语句的语法、适用场景、执行细节，并结合实战案例与优化技巧，帮助你建立扎实的编程控制流思维。

4.1 分支控制：if-else 与 switch-case 的核心原理

核心原理：分支控制语句让程序能够根据条件表达式的真假选择不同的执行路径。if-else 基于布尔表达式进行判断，支持任意复杂的逻辑组合；switch-case 则基于整型或枚举类型的值进行精确匹配，编译器通常将其优化为跳转表（Jump Table），在分支较多时比 if-else 链更高效。

判断方法：选择分支语句时，先看条件类型。若条件是范围判断（如 x > 0 && x < 10）、浮点数比较或逻辑组合，必须使用 if-else。若条件是离散的整数值（如菜单选项、状态码、错误码），且分支数较多，优先考虑 switch-case。注意 switch 的 case 值必须是编译期常量。

// 示例：根据错误码输出信息
int errorCode = 404;
switch (errorCode) {
    case 200: std::cout << "OK"; break;
    case 404: std::cout << "Not Found"; break;
    case 500: std::cout << "Server Error"; break;
    default:  std::cout << "Unknown"; break;
}
// 若用 if-else 实现，需要 4 次比较，且代码更冗长

4.2 循环控制：while、do-while 与 for 的适用场景

核心原理：循环语句用于重复执行一段代码块。while 是入口条件循环，先判断后执行，可能一次都不执行；do-while 是出口条件循环，先执行后判断，至少执行一次；for 循环将初始化、条件判断、迭代更新集中在一起，适合已知迭代次数的场景。

操作流程：选择循环类型时，遵循以下判断路径：

1. 若循环次数已知（如遍历数组、计算固定次数），使用 for 循环。
2. 若循环次数未知，但需要先判断条件再执行（如读取文件直到 EOF），使用 while。
3. 若循环体必须至少执行一次（如菜单显示、用户输入校验），使用 do-while。
4. 若遍历容器（如 vector、map），优先使用范围 for（C++11 起）。

4.3 嵌套循环与跳转控制：break、continue、goto

核心原理：嵌套循环用于处理多维数据结构（如二维数组、矩阵运算）。break 用于立即终止当前最内层循环或 switch；continue 用于跳过当前迭代的剩余语句，直接进入下一次迭代；goto 提供无条件跳转，但滥用会破坏程序结构，仅在跳出多层嵌套循环时考虑使用。

案例拆解：假设需要在一个 5×5 的矩阵中查找第一个值为 0 的元素位置。使用嵌套循环配合 break 只能跳出内层循环，需要额外标志变量或 goto 才能完全退出。

// 使用标志变量跳出嵌套循环
bool found = false;
for (int i = 0; i < 5 && !found; ++i) {
    for (int j = 0; j < 5; ++j) {
        if (matrix[i][j] == 0) {
            std::cout << "Found at (" << i << "," << j << ")";
            found = true;
            break;  // 跳出内层循环
        }
    }
}

// 使用 goto（不推荐但可读性尚可）
for (int i = 0; i < 5; ++i) {
    for (int j = 0; j < 5; ++j) {
        if (matrix[i][j] == 0) {
            std::cout << "Found at (" << i << "," << j << ")";
            goto done;
        }
    }
}
done: ;

4.4 循环优化技巧与实战案例

核心原理：循环是程序性能的关键瓶颈。优化循环的目标是减少迭代次数、降低每次迭代的计算量、提高缓存命中率。编译器优化（如 -O2）能自动完成部分优化，但程序员的手工优化仍然重要。

实战场景：假设需要计算一个包含 100 万个整数的数组中所有元素的和，并统计正数个数。初始版本可能如下：

// 初始版本
long long sum = 0;
int positiveCount = 0;
for (int i = 0; i < vec.size(); ++i) {
    if (vec[i] > 0) positiveCount++;
    sum += vec[i];
}

优化过程：

1. 缓存 size()：将 vec.size() 移出循环条件，避免每次迭代调用函数。
2. 使用前置递增：将 i++ 改为 ++i，避免创建临时对象（对 int 影响不大，但对迭代器影响显著）。
3. 循环展开：每次处理 4 个元素，减少循环控制开销。
4. 分支优化：将高概率条件（正数）放在前面，利用 CPU 分支预测。

// 优化版本
long long sum = 0;
int positiveCount = 0;
size_t n = vec.size();
size_t i = 0;
// 每次处理 4 个元素
for (; i + 3 < n; i += 4) {
    sum += vec[i] + vec[i+1] + vec[i+2] + vec[i+3];
    positiveCount += (vec[i] > 0) + (vec[i+1] > 0) + (vec[i+2] > 0) + (vec[i+3] > 0);
}
// 处理剩余元素
for (; i < n; ++i) {
    sum += vec[i];
    if (vec[i] > 0) positiveCount++;
}

结果对比：在 Release 模式下（-O2），优化版本比初始版本快约 20%-30%，主要收益来自循环展开和分支优化。若使用 #pragma GCC ivdep 或 #pragma omp simd 等指令，还能进一步利用 SIMD 向量化。

复盘经验：循环优化应遵循“先测量，后优化”原则。使用性能分析工具（如 perf、Valgrind）定位热点循环，避免过早优化。同时注意，过度优化会降低代码可读性，应在可维护性和性能之间取得平衡。

4.5 常见误区与总结复盘

常见误区：

• switch 忘记 break：导致穿透执行多个 case，产生逻辑错误。编译器通常不会警告，需人工检查。
• 循环条件中的副作用：如 while (i < n) { ...; n--; } 修改循环边界，容易造成死循环或越界。
• do-while 误用：在不需要至少执行一次的场景使用 do-while，导致多余的一次执行。
• continue 与 break 混淆：continue 只跳过当前迭代，break 终止整个循环。
• goto 滥用：跳入循环内部或跳过变量初始化，导致未定义行为。
• 范围 for 中修改容器：在遍历时插入或删除元素会导致迭代器失效。

总结复盘：流程控制语句是C++编程的基础工具，正确选择和使用它们能显著提升代码质量。建议遵循以下原则：优先使用 for 循环处理已知次数的迭代；使用 while 处理条件未知的循环；使用 do-while 保证至少执行一次；使用 switch-case 处理多值匹配；使用 break/continue 控制循环流程；避免使用 goto。在性能敏感场景，结合循环展开、缓存边界、分支优化等技巧，并借助编译器优化标志，实现高效执行。