C語言詞法分析核心：符號序列、空白規則與貪心法原理

理解 C 語言詞法分析規則，是寫出無歧義、高可讀性代碼的關鍵。本文深入解析符號邊界、空白字符處理、貪心法原理，並以經典案例示範如何避免編譯器誤解。

編譯前端流程回顧

詞法分析 → 語法分析 → 語義分析 → 中間代碼生成 → 優化 → 目標代碼生成

詞法分析輸出「單詞」（Token），即程式的基本構成單元。

核心規則一：符號之間的空白被忽略

// 這兩段完全等效
if(1 < x)

if
(
1
<
x
)

關鍵點：

• 空白包括空格、製表符、換行符
• 僅限「符號之間」，「符號之內」不可有空白
• if 是單一符號，i f 是兩個符號（無效）

核心規則二：符號之內不能有空白

++      // 自增運算符（單一符號）
+ +     // 兩個加法運算符
+++     // 貪心法解析為 ++ +（自增 + 加法）

編譯器採用貪心法：從左到右，盡可能吞噬最長的有效符號。

貪心法詳細機制

1. 從位移 0 開始讀取字符
2. 若加上下一字符仍構成有效符號，繼續吞噬
3. 直到加上某字符後不再是有效符號
4. 該字符前的子串確認為一個 Token
5. 位移更新，重複直至行尾

經典陷阱案例：註釋誤觸發

result = num/*p;
// 貪心法解析：result = num  /  *p  還是  result = num  /*  註釋開始？
// 實際解析：result、=、num、/*、p、;  → 其餘視為註釋！

修正方法：

result = num / *p;       // 空格切斷貪心
result = num / (*p);     // 括號顯式指定（推薦）

為什麼這很重要？

• 代碼首先給人讀，其次給編譯器讀
• 人與編譯器理解偏差 → 執行結果不可預期
• 理解編譯器思維 → 寫出無歧義代碼

最佳實踐：善用空格與括號

總結

• ✅ 符號間空白自由，符號內禁空白
• ✅ 編譯器用貪心法匹配最長符號
• ✅ 用空格切斷貪心法連接（如 / *）
• ✅ 用括號消除歧義、提升可讀性
• ✅ 高質量代碼：人讀無歧義，機器讀無歧義