C语言四大循环结构详解：do-while、while、for与goto的正确用法

C语言循环结构总览

C语言提供了四种控制流转向实现循环的方式，它们分别是 do...while 循环、while 循环、for 循环以及标签式跳转的 goto 语句。理解它们的执行时序与适用场景，是构建稳健代码的基础。

第一类：先执行后判断——do...while()循环

第1步：观察执行流程

do...while() 语句的特点是至少执行一次循环体。它不依赖前置条件判断，而是先运行内部代码块，再判定表达式是否继续循环。

第2步：代码结构与关键注意点

其基本语法结构如下：

do {
    // 循环体
} while (表达式); // 注意末尾的分号不能省略

在编写时，新手常犯的错误是遗漏了 while 后的分号。若漏掉分号，编译器会报错。只有当表达式的值为假（False）时，才会结束循环退出该语句。

第3步：实战示例——计算1到100的和

以下为利用 do...while 实现累加的代码：

#include <stdio.h>
int main() {
    int i = 0, sum = 0;
    do {
        sum += i;
        i++;
    } while (i <= 100);
    printf("sum = %d\n", sum);
    return 0;
}

运行结果：sum = 5050

第二类：先判断后执行——while()循环

第1步：观察执行流程

while() 循环与 do...while 最大的区别在于：如果初始条件就不满足，循环体内的代码将一次也不会被执行。 它在每次迭代前先检测表达式是否为真。

第2步：代码结构与核心逻辑

while (表达式) {
    // 循环体
}

其运行机制为：首先计算表达式，若为真则进入大括号内执行语句块；执行完毕后，再次回到顶部判断表达式，直至表达式为假才跳出。

第3步：实战示例——计算1到100的和

#include <stdio.h>
int main() {
    int i = 0, sum = 0;
    while (i <= 100) {
        sum += i;
        i++;
    }
    printf("sum = %d\n", sum);
    return 0;
}

运行结果：sum = 5050

第三类：集成化管理——for()循环

第1步：结构化流程解析

虽然 for 循环的底层逻辑与 while 相似，但其将初始化、条件判断与步进操作整合在了一个行内，特别适合用于已知循环次数或具有明显遍历规律的场合。

第2步：代码流程与参数详解

for (表达式1; 表达式2; 表达式3) {
    // 循环体
}

• 表达式1（初始化）：仅在进入循环的第一次执行，用于给变量赋初始值。
• 表达式2（条件判断）：作为循环终止的判断依据，每次执行循环体前都要检查，不为假即继续。
• 表达式3（步进）：每次执行完循环体后触发，通常用于更新计数器。

重要提示：在 C99 及以上标准中，可以在“表达式1”的位置直接声明变量（如 for(int i=0;...），变量的生命周期局限于该 for 循环体内。

第3步：实战示例——计算1到100的和

#include <stdio.h>
int main() {
    int i = 0, sum = 0;
    for (i = 0; i <= 100; i++) {
        sum += i;
    }
    printf("sum = %d\n", sum);
    return 0;
}

运行结果：sum = 5050

第四类：无条件跳转——goto语句

第1步：基本跳转原理

goto 是最底层的跳转指令，格式为 goto 标签名;。它会强制将程序控制流直接转移到代码中标记为相同标签的位置。由于它能打破结构化编程的顺序执行特性，容易造成代码阅读困难（即“面条代码”），因此在日常应用开发中尽量不使用。

第2步：常规模拟与风险警告

以下是一个用 goto 强行模拟循环的例子：

#include <stdio.h>
int main() {
    int i = 0, sum = 0;
loop:
    if (i <= 100) {
        sum += i;
        i++;
        goto loop;
    }
    printf("sum = %d\n", sum);
    return 0;
}

运行结果：sum = 5050

尽管能实现功能，但这种方式严重降低了可读性与可维护性。除非存在极其特殊的逻辑需求，否则不建议使用。

第3步：高阶场景——Linux内核中的资源管理

虽然日常编码禁用 goto，但在需要处理多个资源申请与异常退出的场景中，它是最佳实践。例如在 Linux 内核源码中，常利用 goto 统一出口进行错误清理：

#include <stdio.h>
#include <stdlib.h>
int main() {
    int *p1, *p2, *p3;
    p1 = malloc(10);
    if (p1 == NULL) {
        printf("malloc failed : 1\n");
        goto loop_1;
    }
    *p1 = 1;
    p2 = malloc(20);
    if (p2 == NULL) {
        printf("malloc failed : 2\n");
        goto loop_2; // 若失败，向上跳以释放p1
    }
    *p2 = 2;
    p3 = malloc(30);
    if (p3 == NULL) {
        printf("malloc failed : 3\n");
        goto loop_3; // 若失败，依次释放p2, p1
    }
    *p3 = 3;
    printf("*p1 = %d, *p2 = %d, *p3 = %d\n", *p1, *p2, *p3);
    
    // 定义资源回收栈点
loop_3:
    free(p2); // 跳过此处防止重复释放
loop_2:
    free(p1); // 跳过此处防止重复释放
loop_1:
    return 0;
}

在此场景下，goto 的优势显而易见：它不仅保持了资源释放逻辑的高度集中，还避免了多层嵌套的 if-else 判断。当发生分配失败时，能够顺着“栈”的方向依次释放前面已申请的内存，有效防止内存泄漏。这也是为什么在很多成熟的底层驱动与内核代码中广泛采用的原因。

总结

在绝大多数常规应用中，请优先选择语义清晰的 for 或 while。了解 do...while “至少执行一次”的特性有助于你在特定交互逻辑中做出正确选择。而对于 goto，保持敬畏之心，将其留给像资源管理与状态机跳转这样复杂的系统级编程场景即可。

以上就是C语言四大循环结构的详细内容，更多关于C语言循环语句的资料请关注本站其它相关文章！