goto 语句是一种无条件跳转语句，它用于将程序的控制流无条件地转移到同一函数内的某个指定标签（Label）处。
它的存在历史悠久，在早期的结构化编程语言中很常见，但在现代编程实践中，由于其可能带来的问题，通常不建议使用。

基本语法

goto 语句包含两个部分：
1、goto 关键字后跟一个标签名。
2、一个标签定义，由标签名后跟一个冒号 : 组成。

goto label; // 跳转到标签处// ... 其他代码 ...label: // 标签定义// 要执行的代码

当程序执行到 goto label; 时，它会立即跳转到 label: 所在的位置，并从那里的代码继续执行。

代码示例

下面的程序演示了 goto 的基本用法，模拟了一个简单的循环：

#include <stdio.h>int main() {int count = 0;start: // 这是一个标签printf("Count = %d\n", count);count++;if (count < 5) {goto start; // 跳回 start 标签，实现循环效果}printf("Loop ended.\n");return 0;
}

输出：

Count = 0
Count = 1
Count = 2
Count = 3
Count = 4
Loop ended.

goto 的常见用途（尽管不推荐）

尽管不建议随意使用，但在某些特定场景下，goto 可以提供一种简洁的解决方案：
1、从多层嵌套中退出：
这是 goto 最被认可的合法用途之一。当代码有多层循环（for、while）或 switch 嵌套时，使用 goto 可以一次性跳出所有嵌套层，比使用多个 break 语句更清晰。

for (...) {while (...) {if (some_error_condition) {goto error_handler; // 直接跳出所有循环}}
}
error_handler:// 错误处理代码

2、集中清理资源：
在函数中，如果申请了多个资源（如内存、文件句柄、锁等），并且在后续步骤中可能出错，可以使用 goto 跳转到一个统一的清理代码块，避免代码重复。

int some_function() {FILE *file1 = NULL, *file2 = NULL;int *memory = NULL;file1 = fopen("file1.txt", "r");if (file1 == NULL) {goto cleanup;}memory = malloc(100 * sizeof(int));if (memory == NULL) {goto cleanup; // 分配失败，跳转到清理环节}file2 = fopen("file2.txt", "w");if (file2 == NULL) {goto cleanup; // 打开失败，跳转到清理环节}// ... 正常工作的代码 ...// 一切正常，先释放资源再返回fclose(file1);fclose(file2);free(memory);return 0;cleanup: // 统一的清理标签// 根据哪些资源申请成功了，来释放它们if (file1) fclose(file1);if (file2) fclose(file2);if (memory) free(memory);return -1; // 返回错误码
}

Linux内核代码中就大量使用了这种模式进行错误处理。

为什么 goto 声名狼藉？（goto的缺点）

滥用 goto 会导致非常严重的问题，形成所谓的“意大利面条代码（Spaghetti Code）”：
1、破坏程序结构：goto 使程序的控制流变得混乱且难以追踪，打破了单入口单出口的结构化编程原则。
2、降低可读性：代码的执行顺序不再是自上而下，而是跳来跳去，让阅读和维护代码的人非常困惑。
3、难以调试：调试器通常按顺序执行，goto 的随意跳转会增加调试的难度。
4、可能引入错误：例如，跳过一个变量的初始化语句会导致未定义行为。

如何避免使用 goto？（替代方案）

在大多数情况下，都有比 goto 更好的选择：
1、使用循环结构：for, while, do-while 可以清晰地实现循环逻辑。
2、使用函数和返回：将代码块提取成函数，用 return 语句代替跳转。
3、使用 break 和 continue：用于控制循环的流程。
4、使用标志变量：在多层循环中，可以设置一个标志变量，在每一层循环都检查它来实现退出。

改写上面的“多层嵌套退出”例子（不使用 goto）：

int flag = 0; // 设置一个标志
for (...) {while (...) {if (some_error_condition) {flag = 1;break; // 先跳出内层循环}}if (flag) {break; // 再跳出外层循环}
}
// 然后在这里进行错误处理

虽然代码多了一点，但结构更清晰，更容易理解。