專案背景與目標
本教程將帶領你在 Visual Studio 2010 環境下，從零開始構建一個簡易的 C 語言編譯器。涵蓋詞法分析、語法分析、語義分析、中間代碼生成、目標代碼優化與輸出等核心編譯流程，適合編譯原理課程實踐或編譯器開發入門者。
開發環境搭建
- 安裝 Visual Studio 2010（建議 Professional 或 Ultimate 版）
- 配置 C++ 專案：空專案 → 添加主文件
main.cpp、詞法分析器 lexer.*、語法分析器 parser.* 等模組
- 引入靜態庫支援：如需使用 Flex/Bison 生成的代碼，需在屬性頁「C/C++ → 代碼生成」設定運行時庫為「多執行緒 (/MT)」。
核心模組實現要點
1. 詞法分析器
- 使用有限狀態機（FSM）識別關鍵字、標識符、常數、運算符、分隔符
- 輸出 Token 序列：
<類型, 值, 行號, 列號>
- 錯誤恢復：遇非法字符跳過並報告，繼續掃描
2. 語法分析器
- 採用遞歸下降或 LL(1) 分析表驅動
- 構建抽象語法樹（AST），節點包含運算符、操作數、類型資訊
- 語法錯誤同步集合：分號、右大括號、
else、while 等
3. 語義分析與符號表
- 作用域管理：棧式符號表，進入塊壓棧，退出塊出棧
- 類型檢查：隱式轉換規則、函數參數匹配、數組下標越界靜態檢測
- 錯誤類型：重複聲明、未聲明使用、類型不匹配、void 參與運算
4. 中間代碼生成（三地址碼）
- 四元式結構：
op, arg1, arg2, result
- 表達式翻譯：後綴遍歷 AST 生成臨時變量
- 控制流翻譯：
if-else、while、for 回填標號技術
5. 目標代碼生成與優化
- 目標平台：x86 汇編（MASM 語法）或虛擬機字節碼
- 寄存器分配：圖著色演算法或簡化的線性掃描
- 窺孔優化：常量傳播、死代碼消除、冗余載入/存儲消除
調試與測試策略
- 單元測試：每個模組編寫獨立測試用例（如
test_lexer.cpp）
- 集成測試：準備標準 C 子集測試套件（如
testsuite/ 目錄）
- 差異比對：輸出與 GCC/Clang 編譯結果對比驗證語義一致性
常見坑點避雷
- VS2010 對 C99 標準支援有限，
stdint.h、complex.h 需自行補齊
- 遞歸下降分析器易棧溢出，深度嵌套語句建議改用迭代或增大棧
- 中間代碼臨時變量命名衝突，採用
t0, t1, ... 統一分配器
擴展方向
完成基礎編譯器後，可嘗試：
• 添加 C++ 子集支援（類、模板、重載）
• 接入 LLVM 後端生成優化機器碼
• 實現 IDE 整合：語法高亮、錯誤標記、代碼補全
結語
親手構建編譯器是理解計算機系統「從源碼到可執行文件」全鏈路的最佳途徑。Visual Studio 2010 雖屬舊版，但其穩定的 C++ 編譯器與強大調試器，依然是教學實踐的優選平台。祝你編譯之路愉快！
