C# 語言規范解讀：文法表示法與產生式規則

前言：語言規范的元語言

C# 語言規范使用文法產生式 定義詞法與語法結構。理解這套表示法，是閱讀規范、實現編譯器、深度掌握語言語法的基礎。本文對應規范第 2.2.1 節「文法表示法」。

核心概念

• 非終結符：文法中可進一步展開的符號，規范中以斜體顯示
• 終結符：實際代碼中的關鍵字、標識符、運算符、字面量等，以等寬字體顯示
• 產生式：定義一個非終結符的所有可能展開形式

產生式語法結構

非終結符名稱：
    可能的展開序列1
    可能的展開序列2
    ...

• 第一行：非終結符名稱 + 冒號
• 後續縮進行：各種可能的展開，由終結符/非終結符序列組成

基本示例

單一展開：while 語句

while-statement:
    while ( boolean-expression ) embedded-statement

含義：`while` 語句由關鍵字 `while`、左括號、布爾表達式、右括號、嵌入語句構成。

多重選擇：語句列表

statement-list:
    statement
    statement-list statement

含義：語句列表要么是單條語句，要么是語句列表後跟一條語句。這是左遞歸定義，表示一個或多條語句。

可選項：代碼塊

block:
    { statement-listopt }

下標 `<sub>opt</sub>` 表示可選。等價於展開為兩條產生式：

block:
    { }
    { statement-list }

定義：代碼塊由大括號包裹的可選語句列表組成。

「下列之一」簡寫：實數類型後綴

real-type-suffix: one of
    F f D d M m

簡寫形式，等價於逐行列出：

real-type-suffix:
    F
    f
    D
    d
    M
    m

表示法總結表

實際應用價值

1. 編譯器實現：產生式直接映射為解析器生成工具 (如 ANTLR, Yacc) 的文法輸入
2. 語法糖理解：如 `using`、`foreach`、`lock` 等最終展開為基礎產生式
3. 語言設計洞察：C# 採用上下文無關文法 (CFG) 核心 + 上下文敏感約束，產生式清晰體現結構
4. 規范閱讀：後續章節 (表達式、聲明、類型等) 均遵循此表示法

擴展：詞法 vs 語法文法

• 詞法文法：輸入字符流 → Token 序列 (關鍵字、標識符、字面量、運算符、空白、註釋)
• 語法文法：Token 序列 → AST (抽象語法樹)，定義程序結構 (命名空間、類型、成員、語句、表達式)
• 兩者均使用本節定義的產生式表示法

總結

C# 規范的文法表示法簡而強大：斜體非終結符、等寬終結符、冒號定義、縮進選項、下標可選、one of 簡寫。掌握這套元語言，能讓你像閱讀數學定義一樣精確理解 C# 每一條語法規則的結構邊界，是從「會用」走向「懂原理」的關鍵一步。