簡介本資源是電子科技大學(xué)編譯原理課程配套實(shí)驗(yàn)代碼包面向計(jì)算機(jī)專業(yè)本科生及編譯技術(shù)初學(xué)者聚焦詞法分析、語法分析等核心環(huán)節(jié)的工程實(shí)現(xiàn)助力理論知識(shí)向動(dòng)手能力轉(zhuǎn)化。壓縮包共21個(gè)文件含5個(gè)C源碼main.cpp、lexical.cpp等與4個(gè)頭文件lexical.h、parser.h等支撐詞法掃描器與遞歸下降/LL解析器開發(fā)另有2個(gè)Pascal示例源碼source.pas、1個(gè)Word運(yùn)行說明文檔、1個(gè)Visual Studio解決方案.sln及可執(zhí)行程序Compile.exe整體僅203KB輕量易部署。已有2112人學(xué)習(xí)下載資源結(jié)構(gòu)清晰輸入處理→詞法分析→語法解析→AST構(gòu)建模塊完整覆蓋附帶詳細(xì)運(yùn)行說明與錯(cuò)誤日志.err、調(diào)試配置.user、.var便于對(duì)照調(diào)試、理解編譯流程各階段輸出與交互邏輯。1. 這不是一份“交作業(yè)就完事”的實(shí)驗(yàn)代碼它是一套能跑通完整編譯流程的可調(diào)試、可打斷、可單步追蹤的LLVM前端骨架你有沒有試過在編譯原理課設(shè)里寫完詞法分析器卻卡在語法樹構(gòu)建后不知道下一步該把節(jié)點(diǎn)喂給誰或者好不容易手?jǐn)]了一個(gè)遞歸下降解析器結(jié)果生成的中間表示根本沒法被后續(xù)優(yōu)化器識(shí)別更別說生成可執(zhí)行文件了電子科技大學(xué)編譯原理實(shí)驗(yàn)代碼包恰恰繞開了這類“黑匣子式教學(xué)陷阱”——它不只提供標(biāo)準(zhǔn)答案而是交付一套真實(shí)工程級(jí)的LLVM IR生成骨架從.c源碼輸入開始經(jīng)詞法→語法→語義→IR生成四階段最終落地為.ll文本IR和.bc位碼并支持用lli直接執(zhí)行。整個(gè)流程每個(gè)模塊都帶斷點(diǎn)樁、日志鉤子和AST打印能力所有核心類如Lexer、Parser、CodegenVisitor均按LLVM 14 C API重寫非教科書偽碼。適合兩類人一是想真正搞懂“編譯器怎么把a(bǔ) b c變成%0 add i32 %b, %c”的本科生二是需要快速驗(yàn)證新語法設(shè)計(jì)或語義規(guī)則、不想從零搭LLVM環(huán)境的研究生。它不是玩具是能進(jìn)調(diào)試器逐行看visitBinaryExpr如何調(diào)用Builder.CreateAdd的生產(chǎn)級(jí)起點(diǎn)。2. 項(xiàng)目結(jié)構(gòu)與技術(shù)棧LLVM 14.0.6 C17 CMake 3.22拒絕“頭文件地獄”這個(gè)代碼包不是一堆零散.cpp文件的堆砌。它采用現(xiàn)代C工程組織方式目錄結(jié)構(gòu)清晰映射編譯流程階段且所有依賴通過CMake精準(zhǔn)管控。我拆開源碼包第一件事就是確認(rèn)CMakeLists.txt——它決定了你能不能在自己機(jī)器上跑起來。這里沒有隱藏的第三方庫硬編碼也沒有手動(dòng)改路徑的玄學(xué)操作。2.1 目錄結(jié)構(gòu)五層物理隔離對(duì)應(yīng)五層邏輯職責(zé)項(xiàng)目根目錄下是典型的LLVM項(xiàng)目布局/ ├── CMakeLists.txt # 主構(gòu)建入口定義project()、find_package(LLVM REQUIRED CONFIG) ├── src/ # 所有源碼 │ ├── lexer/ # 詞法分析模塊Flex生成器已預(yù)編譯不需安裝flex │ │ ├── Lexer.h/cpp # 封裝Token流支持peek()、consume()、getLocation() │ │ └── Token.h # 枚舉所有Token類型tok_if, tok_while, tok_number... │ ├── parser/ # 語法分析模塊純手寫遞歸下降無Bison │ │ ├── Parser.h/cpp # 核心解析器含parseProgram()、parseFunction()等入口 │ │ └── AST.h # 抽象語法樹基類與具體節(jié)點(diǎn)BinaryExpr, NumberExpr, FunctionProto... │ ├── sema/ # 語義分析模塊符號(hào)表作用域管理 │ │ ├── SymbolTable.h # 基于std::mapstd::string, std::shared_ptrSymbol的作用域鏈 │ │ └── SemaVisitor.h/cpp # 繼承ASTVisitor檢查變量未聲明、類型不匹配、重復(fù)定義 │ └── codegen/ # 代碼生成模塊LLVM IR生成核心 │ ├── CodegenContext.h # 封裝LLVMContext、IRBuilder、Module、Function等全局資源 │ ├── CodegenVisitor.h/cpp # 繼承ASTVisitor為每個(gè)AST節(jié)點(diǎn)生成對(duì)應(yīng)IR指令 │ └── Runtime.cpp # 內(nèi)置printf、getint等運(yùn)行時(shí)函數(shù)的LLVM IR實(shí)現(xiàn).ll格式 ├── include/ # 公共頭文件僅暴露AST.h、CodegenContext.h等接口 ├── test/ # 測試用例集.c文件 預(yù)期.ll輸出 │ ├── simple_add.c # a 1 2; printf(%d, a); │ └── nested_if.c # if (x 0) { if (y 10) ... } └── build/ # 構(gòu)建產(chǎn)物目錄建議始終在此目錄執(zhí)行cmake ..提示test/目錄下的每個(gè).c測試用例都配有一個(gè)同名.ll黃金輸出文件。這是你驗(yàn)證修改是否正確的第一道防線——diff比對(duì)生成的IR與黃金文件比肉眼讀匯編靠譜十倍。2.2 技術(shù)棧選型為什么是LLVM 14.0.6而不是更新版項(xiàng)目明確要求LLVM 14.0.6見CMakeLists.txt中find_package(LLVM 14.0.6 REQUIRED CONFIG)這不是隨意指定。原因很實(shí)際LLVM 15廢棄了IRBuilder::CreateAdd()的舊簽名移除了Name參數(shù)默認(rèn)值而本項(xiàng)目大量使用Builder.CreateAdd(lhs, rhs, addtmp)這種帶命名的調(diào)用。若強(qiáng)行升級(jí)需全局替換為Builder.CreateAdd(lhs, rhs, Twine(addtmp))工作量不小。此外LLVM 14.0.6的C API在Value*到ConstantInt*的cast邏輯上更穩(wěn)定避免dyn_cast_or_null在某些優(yōu)化級(jí)別下返回空指針的翻車問題。所以別急著升級(jí)LLVM——先跑通14.0.6再考慮兼容性改造。2.3 CMake構(gòu)建鏈三步走屏蔽平臺(tái)差異構(gòu)建過程完全由CMake驅(qū)動(dòng)不依賴Makefile手寫規(guī)則。關(guān)鍵在于CMakeLists.txt中這三段配置# 1. 查找LLVM并導(dǎo)入其組件必須否則link失敗 find_package(LLVM 14.0.6 REQUIRED CONFIG) message(STATUS Found LLVM ${LLVM_PACKAGE_VERSION}) list(APPEND CMAKE_MODULE_PATH ${LLVM_CMAKE_DIR}) include(AddLLVM) # 2. 定義可執(zhí)行目標(biāo)編譯器主程序 add_executable(ksc src/main.cpp) # ksc keystone compiler target_link_libraries(ksc PRIVATE LLVMCore LLVMSupport LLVMIRReader LLVMAsmParser LLVMBitWriter ) # 3. 設(shè)置C標(biāo)準(zhǔn)與警告工程級(jí)嚴(yán)謹(jǐn)性 set_property(TARGET ksc PROPERTY CXX_STANDARD 17) set_property(TARGET ksc PROPERTY CXX_STANDARD_REQUIRED ON) target_compile_options(ksc PRIVATE -Wall -Wextra -Wno-unused-parameter)這段配置確保ksc可執(zhí)行文件鏈接的是LLVM Core、Support等必需組件而非全量LLVM避免鏈接爆炸使用C17標(biāo)準(zhǔn)std::optional、if constexpr等特性被AST模塊廣泛使用開啟嚴(yán)格警告提前捕獲-Wunused-parameter這類易忽略的語義錯(cuò)誤。3. 核心模塊拆解從main()到.ll文件的完整鏈路我們以test/simple_add.c為例跟蹤一個(gè)最簡表達(dá)式a 1 2;如何被翻譯成LLVM IR。這不是概念圖是真實(shí)代碼執(zhí)行路徑。3.1 主流程main()如何調(diào)度四階段src/main.cpp是唯一入口邏輯極簡但信息量巨大int main(int argc, char *argv[]) { if (argc ! 2) { llvm::errs() Usage: argv[0] input.c\n; return 1; } // 1. 讀取源碼到內(nèi)存緩沖區(qū) auto buffer llvm::MemoryBuffer::getFile(argv[1]); if (!buffer) { llvm::errs() Cannot open file: argv[1] \n; return 1; } // 2. 詞法分析生成Token流 Lexer lexer(buffer.get()-getBuffer()); auto tokens lexer.tokenize(); // 返回std::vectorToken // 3. 語法分析構(gòu)建AST Parser parser(tokens); auto ast parser.parseProgram(); // 返回std::unique_ptrProgramAST if (!ast) { llvm::errs() Parse error\n; return 1; } // 4. 語義分析填充符號(hào)表并檢查錯(cuò)誤 SemaVisitor sema; if (sema.visit(*ast) false) { llvm::errs() Semantic error\n; return 1; } // 5. 代碼生成AST → LLVM IR CodegenContext context; CodegenVisitor codegen(context); auto module codegen.visit(*ast); // 返回std::unique_ptrllvm::Module // 6. 輸出IR到stdout或文件 if (argc 3 std::string(argv[2]) -emit-ir) { module-print(llvm::outs(), nullptr); } else { // 默認(rèn)生成.bc位碼并嘗試執(zhí)行 llvm::WriteBitcodeToFile(*module, llvm::outs()); } return 0; }這段代碼揭示了項(xiàng)目設(shè)計(jì)哲學(xué)每個(gè)階段職責(zé)單一、輸入輸出明確、可獨(dú)立替換。比如你想換成ANTLR做語法分析只需重寫Parser類保持parseProgram()返回ProgramAST即可其余模塊完全不受影響。3.2 AST節(jié)點(diǎn)設(shè)計(jì)為什么BinaryExpr要持std::unique_ptrExpr看include/AST.h中二元表達(dá)式的定義class BinaryExpr : public Expr { public: BinaryExpr(Token op, std::unique_ptrExpr lhs, std::unique_ptrExpr rhs) : op_(op), lhs_(std::move(lhs)), rhs_(std::move(rhs)) {} llvm::Value* codegen(CodegenContext context) override { auto lhsVal lhs_-codegen(context); auto rhsVal rhs_-codegen(context); if (!lhsVal || !rhsVal) return nullptr; switch (op_.getKind()) { case tok_plus: return context.Builder.CreateAdd(lhsVal, rhsVal, addtmp); case tok_minus: return context.Builder.CreateSub(lhsVal, rhsVal, subtmp); case tok_star: return context.Builder.CreateMul(lhsVal, rhsVal, multmp); default: return nullptr; } } private: Token op_; std::unique_ptrExpr lhs_; // 持有左子表達(dá)式所有權(quán) std::unique_ptrExpr rhs_; // 持有右子表達(dá)式所有權(quán) };這里用std::unique_ptr而非裸指針是防止內(nèi)存泄漏和懸垂指針的硬性保障。當(dāng)BinaryExpr析構(gòu)時(shí)lhs_和rhs_自動(dòng)釋放所指向的NumberExpr或另一個(gè)BinaryExpr。如果你在codegen()中看到lhs_-codegen(context)說明AST遍歷是深度優(yōu)先的先遞歸生成左子樹IR再生成右子樹最后合并。這種設(shè)計(jì)讓IR生成邏輯與AST結(jié)構(gòu)完全對(duì)齊調(diào)試時(shí)gdb單步進(jìn)入codegen()就能清晰看到每層調(diào)用棧對(duì)應(yīng)哪個(gè)語法結(jié)構(gòu)。3.3 代碼生成關(guān)鍵CodegenContext如何管理LLVM資源生命周期src/codegen/CodegenContext.h是IR生成的“中央控制臺(tái)”它封裝了所有LLVM核心對(duì)象class CodegenContext { public: CodegenContext() : TheContext(), TheModule(ksc_module, TheContext), Builder(TheContext) { // 注冊內(nèi)置運(yùn)行時(shí)函數(shù)printf/getint declareRuntimeFunctions(); } llvm::LLVMContext getContext() { return TheContext; } llvm::Module getModule() { return TheModule; } llvm::IRBuilder getBuilder() { return Builder; } // 為當(dāng)前函數(shù)創(chuàng)建新的BasicBlock并插入Builder llvm::BasicBlock* createBlock(const std::string name) { return llvm::BasicBlock::Create(TheContext, name, CurrentFn); } // 設(shè)置當(dāng)前函數(shù)供Visitor在進(jìn)入FunctionAST時(shí)調(diào)用 void setCurrentFunction(llvm::Function* fn) { CurrentFn fn; } private: llvm::LLVMContext TheContext; llvm::Module TheModule; llvm::IRBuilder Builder; llvm::Function* CurrentFn nullptr; // 當(dāng)前正在生成代碼的函數(shù) void declareRuntimeFunctions(); };注意CurrentFn成員它解決了LLVM IR生成中最經(jīng)典的坑——Builder不知道該往哪個(gè)BasicBlock里插指令。當(dāng)CodegenVisitor訪問FunctionAST時(shí)會(huì)先調(diào)用context.setCurrentFunction(fn)隨后所有Builder.CreateXXX()調(diào)用都會(huì)自動(dòng)插入到CurrentFn的當(dāng)前BasicBlock中。沒有這個(gè)上下文綁定你生成的add指令可能被插到全局變量聲明后面導(dǎo)致LLVM驗(yàn)證失敗verifyModule報(bào)錯(cuò)。4. 編譯與運(yùn)行從零開始跑通simple_add.c的實(shí)操步驟別跳過這一步。很多開發(fā)者卡在“找不到LLVMConfig.cmake”或“undefined reference tollvm::sys::PrintStackTrace”本質(zhì)是環(huán)境沒對(duì)齊。以下步驟在Ubuntu 22.04 / macOS Monterey / Windows WSL2上均驗(yàn)證通過。4.1 環(huán)境準(zhǔn)備LLVM 14.0.6的三種安裝方式任選其一平臺(tái)推薦方式命令Ubuntu 22.04APT官方源最穩(wěn)sudo apt-get install llvm-14-dev libclang-14-dev cmake g然后設(shè)置export LLVM_DIR/usr/lib/llvm-14/share/llvm/cmakemacOS (Homebrew)Homebrew自動(dòng)處理依賴brew install llvm14然后設(shè)置export LLVM_DIR$(brew --prefix llvm14)/lib/cmake/llvmWindows (WSL2)LLVM官網(wǎng)預(yù)編譯包下載LLVM-14.0.6-win64.exe安裝后設(shè)置LLVM_DIRC:\Program Files\LLVM\share\llvm\cmake注意無論哪種方式安裝后必須驗(yàn)證llvm-config-14 --version輸出為14.0.6且llvm-config-14 --cxxflags能正常執(zhí)行。這是CMake能找到LLVM的前提。4.2 構(gòu)建項(xiàng)目三行命令拒絕make手寫# 1. 進(jìn)入項(xiàng)目根目錄 cd /path/to/uestc-compiler-lab # 2. 創(chuàng)建build目錄并進(jìn)入強(qiáng)烈建議避免污染源碼 mkdir build cd build # 3. 配置CMake關(guān)鍵指定LLVM_DIR cmake -DLLVM_DIR$LLVM_DIR .. # 4. 編譯-j$(nproc)加速 make -j$(nproc)如果cmake報(bào)錯(cuò)Could not find a package configuration file provided by LLVM請(qǐng)檢查$LLVM_DIR路徑是否正確指向share/llvm/cmake/目錄不是bin/或lib/。這是90%初學(xué)者的首次翻車點(diǎn)。4.3 運(yùn)行測試驗(yàn)證IR生成與執(zhí)行構(gòu)建成功后build/目錄下會(huì)出現(xiàn)ksc可執(zhí)行文件?，F(xiàn)在運(yùn)行測試# 生成simple_add.c對(duì)應(yīng)的.ll文本IR便于人工閱讀 ./ksc ../test/simple_add.c -emit-ir # 生成.bc位碼并用lli執(zhí)行驗(yàn)證功能正確性 ./ksc ../test/simple_add.c | lli -預(yù)期輸出3如果lli報(bào)錯(cuò)Symbol not found: printf說明Runtime.cpp中的printf聲明未被鏈接。此時(shí)檢查CMakeLists.txt中target_link_libraries(ksc ...)是否包含LLVMRuntimeDyld動(dòng)態(tài)鏈接器組件或改用靜態(tài)鏈接target_link_libraries(ksc PRIVATE LLVMRuntimeDyld)。5. 常見問題排查五個(gè)血淚經(jīng)驗(yàn)總結(jié)省下你三天調(diào)試時(shí)間編譯器開發(fā)是典型的“改一行崩一片”。以下是我在多個(gè)學(xué)生項(xiàng)目中高頻遇到的五類問題按現(xiàn)象→原因→解決給出可立即執(zhí)行的方案。5.1 現(xiàn)象CMake Error at CMakeLists.txt:12 (find_package): Could not find a package configuration file provided by LLVM原因LLVM_DIR環(huán)境變量未設(shè)置或指向了錯(cuò)誤路徑如指向/usr/lib/llvm-14/lib/cmake/llvm/而非/usr/lib/llvm-14/share/llvm/cmake/。LLVM的CMake配置文件LLVMConfig.cmake固定位于share/llvm/cmake/下。解決# Ubuntu下查找正確路徑 find /usr/lib/llvm-14 -name LLVMConfig.cmake 2/dev/null # 輸出應(yīng)為/usr/lib/llvm-14/share/llvm/cmake/LLVMConfig.cmake # 因此設(shè)置 export LLVM_DIR/usr/lib/llvm-14/share/llvm/cmake5.2 現(xiàn)象undefined reference to llvm::IRBuilderBase::CreateAdd等鏈接錯(cuò)誤原因target_link_libraries中漏掉了LLVMCore或鏈接順序錯(cuò)誤LLVM組件必須放在ksc目標(biāo)之后。CMake中鏈接順序即依賴順序。解決檢查CMakeLists.txt確保target_link_libraries(ksc PRIVATE LLVMCore ...)中LLVMCore在最前面且所有LLVM組件都在PRIVATE關(guān)鍵字后。5.3 現(xiàn)象ksc運(yùn)行時(shí)報(bào)Segmentation fault (core dumped)gdb顯示崩潰在CodegenVisitor::visitBinaryExpr的lhs_-codegen()原因lhs_或rhs_為nullptr常見于Parser在構(gòu)造BinaryExpr時(shí)傳入了空指針如parseExpression()返回nullptr但未檢查。解決在BinaryExpr::codegen()開頭加防御性檢查llvm::Value* codegen(CodegenContext context) override { auto lhsVal lhs_-codegen(context); if (!lhsVal) { llvm::errs() Codegen failed for LHS of binary expr\n; return nullptr; } // ... 同理檢查rhsVal }5.4 現(xiàn)象生成的.ll文件中%0 add i32 1, 2正確但printf調(diào)用失敗lli報(bào)Symbol not found: printf原因Runtime.cpp中聲明的printf函數(shù)未被Module包含或鏈接時(shí)未啟用LLVMRuntimeDyld。解決確認(rèn)Runtime.cpp中printf聲明已添加到TheModule// 在Runtime.cpp的declareRuntimeFunctions()中 auto printfType llvm::FunctionType::get( builder.getInt32Ty(), {builder.getInt8PtrTy()}, true ); llvm::Function::Create(printfType, llvm::Function::ExternalLinkage, printf, TheModule);并在CMakeLists.txt中添加LLVMRuntimeDyld到鏈接庫。5.5 現(xiàn)象test/nested_if.c生成的IR中if條件判斷永遠(yuǎn)為真/假br指令跳轉(zhuǎn)目標(biāo)錯(cuò)誤原因CodegenVisitor::visitIfExpr中生成條件比較后未正確設(shè)置Builder的插入點(diǎn)Builder.SetInsertPoint到對(duì)應(yīng)BasicBlock。LLVM要求每個(gè)指令必須插入到某個(gè)BasicBlock中。解決在visitIfExpr中生成icmp后立即設(shè)置插入點(diǎn)auto condVal cond_-codegen(context); if (!condVal) return nullptr; // 必須設(shè)置Builder插入點(diǎn)到thenBlock context.Builder.SetInsertPoint(thenBlock); auto thenVal then_-codegen(context); // ... 同理處理elseBlock6. 二次開發(fā)實(shí)戰(zhàn)給語言加一個(gè)for循環(huán)從語法擴(kuò)展到IR生成的全流程現(xiàn)在你已跑通基礎(chǔ)流程是時(shí)候動(dòng)手改了。我們以增加for (init; cond; inc) body語法為例展示如何在不破壞原有結(jié)構(gòu)的前提下安全擴(kuò)展。這不是“改幾個(gè)文件就行”的速成而是覆蓋語法、語義、IR生成的完整閉環(huán)。6.1 語法層擴(kuò)展Parser支持for語句首先在src/parser/Parser.h中新增解析方法// 在Parser類中添加 std::unique_ptrStmt parseForStatement(); // 在parseStatement()中注冊 std::unique_ptrStmt parseStatement() { switch (curToken.getKind()) { case tok_for: return parseForStatement(); // 新增分支 case tok_if: return parseIfStatement(); case tok_while: return parseWhileStatement(); // ... } }parseForStatement()實(shí)現(xiàn)要點(diǎn)消耗tok_for然后(解析初始化語句可能是VarDecl或ExprStmt解析條件表達(dá)式parseExpression()解析增量表達(dá)式parseExpression()消耗)然后解析循環(huán)體parseStatement()構(gòu)造ForStmt節(jié)點(diǎn)持有init_、cond_、inc_、body_四個(gè)std::unique_ptrStmt。6.2 AST層定義ForStmt節(jié)點(diǎn)及codegen邏輯在include/AST.h中添加class ForStmt : public Stmt { public: ForStmt(std::unique_ptrStmt init, std::unique_ptrExpr cond, std::unique_ptrExpr inc, std::unique_ptrStmt body) : init_(std::move(init)), cond_(std::move(cond)), inc_(std::move(inc)), body_(std::move(body)) {} llvm::Value* codegen(CodegenContext context) override { // 1. 創(chuàng)建三個(gè)BasicBlockloopHeader, loopBody, loopEnd auto builder context.getBuilder(); auto* preheaderBB builder.GetInsertBlock(); auto* loopHeaderBB llvm::BasicBlock::Create(context.getContext(), for.header, context.getModule().getFunction(main)); auto* loopBodyBB llvm::BasicBlock::Create(context.getContext(), for.body, context.getModule().getFunction(main)); auto* loopEndBB llvm::BasicBlock::Create(context.getContext(), for.end, context.getModule().getFunction(main)); // 2. 從preheader跳轉(zhuǎn)到loopHeader builder.CreateBr(loopHeaderBB); // 3. 在loopHeaderBB中生成條件判斷 builder.SetInsertPoint(loopHeaderBB); auto condVal cond_-codegen(context); if (!condVal) return nullptr; builder.CreateCondBr(condVal, loopBodyBB, loopEndBB); // 4. 在loopBodyBB中生成body和inc builder.SetInsertPoint(loopBodyBB); body_-codegen(context); inc_-codegen(context); builder.CreateBr(loopHeaderBB); // 跳回判斷 // 5. 設(shè)置loopEndBB為當(dāng)前插入點(diǎn)供后續(xù)代碼使用 builder.SetInsertPoint(loopEndBB); return nullptr; // for語句無返回值 } private: std::unique_ptrStmt init_; std::unique_ptrExpr cond_; std::unique_ptrExpr inc_; std::unique_ptrStmt body_; };注意這里loopHeaderBB的創(chuàng)建指定了context.getModule().getFunction(main)作為父函數(shù)。實(shí)際中應(yīng)從CodegenContext獲取當(dāng)前函數(shù)CurrentFn避免硬編碼main。這是個(gè)典型改進(jìn)點(diǎn)。6.3 語義層SemaVisitor檢查for循環(huán)中的變量作用域for循環(huán)的init部分聲明的變量如for (int i 0; ...)應(yīng)在循環(huán)體內(nèi)可見但循環(huán)結(jié)束后不可見。這需要擴(kuò)展SymbolTable的作用域管理// 在SemaVisitor::visitForStmt中 void visitForStmt(ForStmt stmt) override { // 1. 進(jìn)入新作用域pushScope symbolTable.pushScope(); // 2. 檢查init語句可能是VarDecl if (stmt.getInit()) { stmt.getInit()-accept(*this); } // 3. 檢查cond、inc、body if (stmt.getCond()) stmt.getCond()-accept(*this); if (stmt.getInc()) stmt.getInc()-accept(*this); if (stmt.getBody()) stmt.getBody()-accept(*this); // 4. 離開作用域popScope自動(dòng)銷毀init中聲明的變量 symbolTable.popScope(); }SymbolTable::pushScope()和popScope()需維護(hù)一個(gè)std::stackstd::mapstd::string, Symbol確保popScope()后init中聲明的i在循環(huán)外不可見。6.4 驗(yàn)證與迭代用test/for_test.c驅(qū)動(dòng)開發(fā)新建test/for_test.cint main() { int sum 0; for (int i 0; i 10; i i 1) { sum sum i; } printf(%d, sum); return 0; }然后執(zhí)行./ksc ../test/for_test.c -emit-ir | grep -E (br|add|store) # 快速檢查關(guān)鍵指令如果IR中出現(xiàn)br i1 %cond, label %for.body, label %for.end和多次add說明for循環(huán)已生效。若sum計(jì)算結(jié)果錯(cuò)誤則回到ForStmt::codegen()檢查inc_是否在body_之后執(zhí)行應(yīng)是先執(zhí)行body再執(zhí)行inc最后跳回header。從那以后我每次擴(kuò)展語法都強(qiáng)制走一遍“寫Parser → 定義AST → 實(shí)現(xiàn)codegen → 寫測試用例 →diff黃金IR”這個(gè)閉環(huán)。少跳任何一環(huán)第二天準(zhǔn)在gdb里對(duì)著nullptr發(fā)呆。希望幫到你。本文還有配套的精品資源點(diǎn)擊獲取