C 語言未定義行為完全指南：常見陷阱、後果與避坑策略

一、什麼是未定義行為？

C 標準 (ISO/IEC 9899) 規定：某些程式碼構造若被執行，標準不施加任何要求。編譯器可產生任意結果：正常執行、崩潰、輸出垃圾資料、甚至刪除硬碟 (理論上)。

關鍵區別：

• 未定義行為 (UB)：標準完全不限制，任何結果合法。
• 未指定行為：標準提供多種可能實作，編譯器須選一且文件化 (如函數參數求值順序)。
• 實作定義行為：編譯器必須文件化其選擇 (如 int 位寬、位元欄位分配順序)。

二、經典 UB 類型與實例

1. 緩衝區溢位與記憶體越界

int a[5]; a[5] = 0;        // 寫入第 6 個元素
char *p = "hello"; p[0] = 'H'; // 修改字串常值 (唯讀記憶體)
int *q = malloc(4); q[1] = 2; free(q); q[0] = 1; // Use-after-free

2. 有號整數溢位

int x = INT_MAX; x++; // UB! 無號整數溢位定義為模 2^n 環繞，有號則 UB

3. 空指標解參考

int *p = NULL; *p = 42; // 崩潰或靜默破壞

4. 未初始化變數使用

int x; printf("%d", x); // 值不確定，可能觸發陷阱表示

5. 修改字串常值

char *s = "hello"; s[0] = 'H'; // UB，s 指向唯讀段

6. 重複修改無序列點

int i = 0; i = i++;        // UB: i 在同一序列點被修改兩次
int a[10]; a[i++] = i;     // UB: 存取 i 且修改 i 無序列點
printf("%d %d", i++, i++); // UB: 參數求值順序未指定，且 i 重複修改

7. 違反嚴格別名規則

float f = 1.0f;
int *p = (int*)&f; // 透過 int* 存取 float 物件
int bits = *p;     // UB (C99 6.5/7)，除非用 union 或 memcpy

8. 位移超寬或負數

1 << 32;    // UB: 位移量 >= 型別寬度
1 << -1;    // UB: 負數位移
-1 << 1;    // UB: 有號負數左移

三、UB 的危害：不只是崩潰

• 編譯器最佳化陷阱：GCC/Clang 假設 UB 不會發生，據此刪除程式碼。
  例：if (x+1 < x) ... 有號溢位 UB → 編譯器判定條件永假 → 整個 if 被優化掉。
• 安全性漏洞：緩衝區溢位、Use-after-free 是駭客主要攻擊面。
• 可移植性失效：同樣程式碼在不同編譯器/優化等級/架構表現完全不同。
• 除錯極難：症狀與錯誤源頭相距甚遠，Release 模式出現 Debug 正常。

四、偵測與防禦工具鏈

五、防禦性程式設計清單

1. 所有指標使用前檢查 NULL。
2. 陣列存取加入邊界斷言或檢查。
3. 優先使用無號整數進行位運算/位移。
4. 避免同一運算式中多次修改同一變數。
5. 用 memcpy 或 union 型別轉換，而非指標強制轉型。
6. 字串常值宣告為 const char *。
7. 變數定義處初始化。
8. 釋放後立即置 NULL。
9. 啟用 -fstack-protector-strong -D_FORTIFY_SOURCE=2 編譯器強化。
10. CI 流程整合 Sanitizers + 靜態分析。

六、總結

未定義行為是 C/C++ 程式設計師的「達摩克利斯之劍」。深入理解標準規範、善用現代偵測工具、養成防禦性編碼習慣，才能在享受 C 語言高效能與底層控制力的同時，避開隱藏的地雷區。

1. 上一篇文章： 面向對象與面向過程編程範式深度對比
2. 下一篇文章： C 語言原始碼字符集與執行字符集：編碼轉換、多位元組支援與實務指南

關於C語言

MFC 命令訊息處理函數命名與對應規則詳解

命令訊息處理的核心原則 MFC 應用程式的使用者介面物件由開

NYOJ 79 攔截導彈：最長遞減子序列動態規劃解法

導彈攔截系統：最長嚴格遞減子序列（LDS） 經典動態規劃入門

C語言快速入門教程（一）：開發環境與第一個程式

C語言概述與開發準備 計算機與程式語言關係 計算機 = 硬

C語言字元資料完整指南：常數、字串、轉義字元、符號常量與變數

字元常數 定義：單引號括起的單一字元，如 a、9、!。 儲存