您现在的位置：程式碼之家 >> 編程語言 > >> .NET 網頁程式設計 >> C# >> 關於C#

用 C# 從零打造編譯器前端：詞法、語法分析與語法樹自動生成實戰

編輯：關於C#

專案概覽：完整編譯器前端框架

本專案實作一個教學級編譯器前端，包含：

基礎資料結構與流程框架 (可繼承擴充)
資料結構視覺化控制項
類 YACC 的詞法/語法分析器自動生成工具
WinForm 整合應用，支援原始碼輸入、Token 列表、語法樹視覺化

核心概念：從文法到編譯器

範例語言：數學表達式 Expression


// 支援輸入範例
37
19 * 19 - 18 * 18
(19 + 18) * (19 - 18)
a + (a + 1) + (a + 2)

文法定義 (BNF 風格)


 ::=   ;
   ::= "+"  | "-"  | null ;
  ::=   ;
 ::= "*"  | "/"  | null ;
      ::= identifier | "("  ")" | number ;

產生式：左部單一非終結符 `::=` 右部多個推導式 (以 `|` 分隔)。
推導式：右部的每一個選項。
句子：具體輸入字串 (如 `19 * 19 - 18 * 18`)。
初始結點：第一條產生式左部 (``)。

推導過程範例：`19 * 19 - 18 * 18`


⇒  
⇒   "-" 
⇒ number "*"  "-"  
⇒ number "*" number "-" number "*" 
⇒ number "*" number "-" number "*" number

三階段編譯管線

1. 詞法分析：原始碼 → Token 串流


var lexer = new LexicalAnalyzerExpression();
lexer.SetSourceCode("19 * 19 - 18 * 18");
var tokens = lexer.Analyze();

Token 結構：`[值] $[類別] $[行,列] $[是否錯誤] $[描述]`

[19]   $[Number]      $[0,0]  $[False] $[]
[*]    $[Multiply]   $[0,3]  $[False] $[]
[19]   $[Number]      $[0,5]  $[False] $[]
[-]    $[Minus]      $[0,8]  $[False] $[]
[18]   $[Number]      $[0,10] $[False] $[]
[*]    $[Multiply]   $[0,13] $[False] $[]
[18]   $[Number]      $[0,15] $[False] $[]

2. 語法分析：Token 串流 → 語法樹 (AST)


var parser = new SyntaxParserExpression();
parser.SetTokenList(tokens);
var syntaxTree = parser.Parse();

語法樹結構 (縮排表示)：


 ├─
 │  ├─ └─number(19)
 │  └─ ├─* └─ └─number(19)
 └─ ├─- └─ ...

3. 語義分析：語法樹 → 執行結果

為各節點賦予語義動作 (遞歸自頂向下)：

`` / ``：計算左右子節點。
`` / `` / ``：扁平化，以子節點取代自己。
運算符 `+ - * /`：對應左右子節點執行運算。
`number` / `identifier`：保留值。

偽碼：


SyntaxTree SemanticAnalyze(Node root)
{
    switch(root.Type)
    {
        case Expression: return Calc(SemanticAnalyze(root[0]), SemanticAnalyze(root[1]));
        case PlusOpt: root.Parent.ReplaceChild(root, root.Children); break;
        case Plus: return Calc(SemanticAnalyze(root.Parent[0]), SemanticAnalyze(root.Parent[2]));
        // ...
    }
}

上例最終得結果 **37**。