C語言陷阱與缺陷深度解析：第一章 詞法陷阱全攻略

前言：詞法分析器的「貪心」本質

C 編譯器前端的詞法分析器負責將原始碼切分為最小語法單元（Token）。理解其運作規則——特別是「最大吞噬原則」——是避開經典陷阱的關鍵。

陷阱 1：= 與 == 的致命混淆

錯誤代碼

int i = 10, j = 20;
if (i = j) {  // 本意是 i == j
    printf("i equal j\n");
}

發生什麼事？

1. i = j 是賦值運算，值為 20（非零）。
2. if 判斷條件為真，永遠執行 printf。
3. i 被意外修改為 20，後續邏輯全亂。

驗證實驗

int i = 10, j = 0;
if (i = j) {  // 賦值後 i=0，條件為假
    printf("i equal j\n"); // 不會執行
}

防禦策略

• 編譯器警告：啟用 -Wall -Wextra (GCC/Clang) 或 /W4 (MSVC)，會提示 warning: suggest parentheses around assignment used as truth value。
• Yoda 條件：習慣寫 if (20 == i)，誤寫成 = 會直接編譯報錯（無法賦值給常數）。
• 靜態分析：使用 Clang Static Analyzer、Coverity、Cppcheck 等工具掃描。

陷阱 2：詞法分析的「貪心法」—— a---b 是什麼？

代碼

int a = 10, b = 2;
printf("a---b = %d\n", a---b); // 輸出 8

Token 化過程

依「最大吞噬原則」，字元流 a - - - b 被切分為：

a  --  -  b
│  │  │  │
│  │  └── 減法運算子
│  └───── 後置遞減運算子 (a--)
└──────── 標識符 a

等價於 (a--) - b：

1. 先取 a 的值 10 參與減法。
2. 再將 a 遞減為 9。
3. 計算 10 - 2 = 8。

對比

• a - --b → a - (--b) → 10 - 1 = 9（先遞減 b 再相減）。
• a - - b → a - (-b) → 10 - (-2) = 12（減去負數）。

最佳實踐

加空格！ a-- - b 或 a - --b 讓意圖一目瞭然，別讓維護者（包括未來的自己）猜謎。

陷阱 3：整型常量的八進制陷阱

代碼

int a = 11, b = 011;
printf("a = %d, b = %d\n", a, b); // 輸出：a = 11, b = 9

規則

• 以 0 開頭的整型常量視為八進制。
• 011 (八進制) = 1×8¹ + 1×8⁰ = 9 (十進制)。
• C++14 引入 0o11 明確八進制前綴；C23 也將支援。

實戰災難

int month = 09; // 編譯錯誤！9 不是合法八進制數字
// 或更隱蔽：
int perms = 0777; // 正確八進制
int perms2 = 0787; // 錯誤：8 非法

建議

• 除非刻意用八進制（如 Unix 權限 0755），絕不寫前導零。
• 現代代碼規範（如 Google C++ Style Guide）禁止八進制字面量，改用 0o 前綴或十進制。

陷阱 4：字符 'a' vs 字符串 "a"

經典錯誤

char *p = "hello";
p[0] = 'H'; // 未定義行為！嘗試修改唯讀記憶體

// 正確做法：
char arr[] = "hello"; // 陣列在棧上，可修改
arr[0] = 'H'; // OK

等價關係

printf("Hello world\n");
// 等價於
char hello[] = {'H','e','l','l','o',' ','w','o','r','l','d','\n', 0};
printf(hello);

總結：詞法陷阱防禦清單

1. = vs ==：開啟編譯器警告，考慮 Yoda 條件。
2. 貪心法：複雜運算式加空格、加括號，讓 Token 邊界顯性化。
3. 八進制：禁用前導零整型常量，改用 0o 或十進制。
4. 字符/字符串：牢記 'a' 是整數，"a" 是指標；字符串常量不可修改。

掌握這些詞法細節，能讓你在 Code Review 時一眼識破隱藏 Bug，也能寫出更健壯、可維護的 C 代碼。