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; // 再跳出外層循環}
}
// 然后在這里進行錯誤處理

雖然代碼多了一點，但結構更清晰，更容易理解。