简介本资源是天津理工大学《编译原理》课程配套实验三的完整报告文档面向计算机专业本科生及编译技术初学者聚焦语义分析与中间代码生成核心能力训练。报告基于表达式文法G[E]系统实现LL1、算符优先或LR任一分析法下的语法制导翻译包含属性文法设计、四元式中间代码生成、变量栈与符号表管理等关键环节并附有C源码、测试用例、分析过程表格及详细结果分析。压缩包为单个381KB的Word文档.doc涵盖17页完整实验内容含实验目的、要求、过程记录、源程序截图、语法分析表、心得体会等模块结构规范、注释清晰便于理解语义动作嵌入逻辑与错误处理机制。目前已有376人学习下载可直接用于课程作业参考、实验复现或编译器前端开发思路拓展。1. 为什么语义分析不是“多此一举”天津理工大学编译原理实验3的真实战场你在词法分析里能认出int x 3 y;是合法的字符串在语法分析里能画出它正确的抽象语法树AST但——编译器此时仍不知道y是否声明过、x和y类型是否兼容、3 y在运行时会不会溢出。这些才是语义分析要干的活。天津理工大学编译原理实验3之所以被学生称为“从语法到真实世界的断崖”正因为它第一次把编译器从“结构正确”逼向“逻辑可信”。这个实验不考你写个漂亮 parser而是让你亲手在 AST 上挂上类型检查、作用域查重、表达式求值约束并把每一条语义规则落地成可执行的中间代码——最典型的就是四元式op, arg1, arg2, result。它不是理论推演是用 Java 或 C 实现一个带符号表驱动的语法制导翻译器当语法分析器归约E → E1 T时你必须同步触发gen(, E1.addr, T.addr, newtemp())并把生成的四元式塞进中间代码序列。实验验收不看输出是否“像”而看四元式序列能否被后续的代码生成模块无歧义地翻译成汇编——这意味着你写的每一条语义动作都得经得起反向追溯和静态验证。适合谁刚啃完《编译原理第3版》第三章、手写过 LL(1) 分析器、但还没碰过符号表管理与属性计算的同学也适合想用真实项目理解“语法制导翻译”到底怎么“导”的工程实践者。2. 从语法树到四元式语义分析器的三层骨架设计语义分析不是在语法分析器上打补丁而是重建一套带状态的翻译引擎。我带过三届天津理工编译课设发现学生翻车最多的地方是把语义动作硬塞进语法分析过程结果符号表乱序、临时变量重名、类型传递断裂。真正可靠的架构必须拆成三层符号表管理层、属性计算层、中间代码生成层。这三层不是并列关系而是严格依赖链语法分析器只负责构建 AST 节点属性计算层遍历 AST为每个节点注入type、addr、offset等属性中间代码生成层再基于这些属性调用gen()函数。下面以if (a b) x 1; else y 2;为例说明如何用 Java 实现这三层协同。2.1 符号表用嵌套哈希表撑起作用域链符号表不是一张扁平列表而是按作用域嵌套的栈式结构。全局作用域在底每个{}块压入新作用域}弹出。每个作用域内用HashMapString, SymbolEntry存变量SymbolEntry至少含name、typeINT/FLOAT/VOID、kindVAR/CONST/FUNC、offset相对基址偏移、level嵌套深度。关键点在于查找时必须从当前作用域向上逐层搜索否则int x; { int x; ... }里的内层x就会覆盖外层声明。// 符号表核心类Java public class SymbolTable { private StackHashMapString, SymbolEntry scopes; private int currentLevel; public SymbolTable() { this.scopes new Stack(); this.currentLevel 0; enterScope(); // 初始化全局作用域 } public void enterScope() { scopes.push(new HashMap()); currentLevel; } public void exitScope() { if (!scopes.isEmpty()) { scopes.pop(); currentLevel--; } } public boolean insert(String name, SymbolEntry entry) { if (scopes.isEmpty()) return false; HashMapString, SymbolEntry current scopes.peek(); if (current.containsKey(name)) { return false; // 重复声明 } entry.setLevel(currentLevel); current.put(name, entry); return true; } public SymbolEntry lookup(String name) { // 从当前作用域向上查找 for (int i scopes.size() - 1; i 0; i--) { SymbolEntry entry scopes.get(i).get(name); if (entry ! null) return entry; } return null; // 未声明 } }提示lookup()的逆向搜索顺序是硬性要求。如果只查当前作用域if块内引用外层变量就会报“未声明”这是实验中最常见的编译错误之一。2.2 属性计算用继承属性综合属性打通 AST 信息流语法制导翻译的本质是让语法树节点携带两类属性综合属性synthesized自下而上传递如E.type表示表达式类型继承属性inherited自上而下传递如E.addr表示该表达式计算结果存放的临时变量地址。在E → E1 T规则中E1和T的type是综合属性E的addr是综合属性但E的addr依赖于E1.addr和T.addr—— 这就需要在归约时显式计算。我们不用 Yacc 风格的$1.$type而是为每个 AST 节点定义属性字段// AST 节点基类简化 abstract class ASTNode { protected Type type; // 综合属性类型 protected String addr; // 综合属性存放地址临时变量名或寄存器 protected int line; // 位置信息用于报错 } class BinaryExprNode extends ASTNode { private ASTNode left; private ASTNode right; private String op; // , -, *, / Override public void checkSemantics(SymbolTable table) { left.checkSemantics(table); right.checkSemantics(table); // 类型检查左右操作数必须同为 INT 或 FLOAT if (!left.getType().equals(right.getType()) || !(left.getType().equals(Type.INT) || left.getType().equals(Type.FLOAT))) { throw new SemanticError(Type mismatch in binary expr at line line); } this.type left.getType(); // 地址分配生成临时变量存储结果 this.addr t TempGenerator.next(); // 生成四元式, left.addr, right.addr, this.addr QuadGenerator.gen(op, left.getAddr(), right.getAddr(), this.addr); } }注意checkSemantics()是递归入口每个节点自己负责检查子节点、计算自身属性、生成对应四元式。TempGenerator.next()返回t0,t1,t2...确保临时变量不重名QuadGenerator.gen()将四元式追加到全局中间代码列表。2.3 四元式生成用结构化指令替代“拼字符串”四元式不是, a, b, t0这样的字符串而是一个有明确字段的 Java 对象。这样做的好处是后续优化阶段可直接访问op字段做模式匹配arg1/arg2可判断是否为常量从而触发常量折叠。实验要求输出.quad文件格式必须严格为op,arg1,arg2,result逗号分隔无空格所以Quad类需重写toString()class Quad { String op; String arg1; String arg2; String result; public Quad(String op, String arg1, String arg2, String result) { this.op op; this.arg1 arg1 null ? : arg1; this.arg2 arg2 null ? : arg2; this.result result null ? : result; } Override public String toString() { return String.format(%s,%s,%s,%s, op, arg1, arg2, result); } } // 全局四元式列表实验3输出目标 public class QuadGenerator { private static ListQuad quads new ArrayList(); public static void gen(String op, String arg1, String arg2, String result) { quads.add(new Quad(op, arg1, arg2, result)); } public static void dumpToFile(String filename) throws IOException { try (PrintWriter out new PrintWriter(new FileWriter(filename))) { for (Quad q : quads) { out.println(q.toString()); } } } }关键细节arg1和arg2可能为空如goto L1只有op和resultresult在label或goto中也可能为空。实验验收脚本会逐行比对.quad文件空格、逗号、大小写全错即判失败。3. 语法制导翻译的落地陷阱天津理工实验3的5个血泪避坑点语义分析实验的调试难度远超词法/语法分析因为错误不体现在“报错行号”而藏在生成的四元式序列里——你看到t0 a b却不知道a和b的地址是否真被正确绑定。以下是我在实验室盯了上百份作业后总结的5 个高频翻车点每个都附带现象、根因和实测解法3.1 现象四元式里出现t0 t0 t1导致无限循环或结果错乱原因临时变量addr未隔离作用域。t0在函数 A 和函数 B 中被重复分配B 中生成的t0覆盖了 A 的t0造成地址混淆。解决TempGenerator必须支持作用域感知。修改为TempGenerator.next(currentLevel)生成t0_1,t0_2_1表示 level1 的全局作用域或更稳妥地用t0_funcA,t0_funcB。实验中只要t编号全局唯一即可但必须保证同一作用域内不重名。3.2 现象if-else语句生成的四元式跳转标签错位goto L2指向L1之后而非else块开头原因if语句的语义动作中L1else标签和L2if结束标签的生成时机错误。常见误写是gen(goto, , , L2)放在if块末尾但没在else块前插入L1:标签。解决严格按教材 P127 的 SDT 规则归约IF cond THEN stmt时生成ifFalse cond goto L1并记录L1归约IF cond THEN stmt ELSE stmt时先生成ifFalse cond goto L1再生成goto L2然后在else块前插入L1:块末插入L2:。提示用LabelGenerator.next()获取唯一标签名避免手写L1导致冲突。3.3 现象数组访问a[i]生成t0 i * 4但a的基地址未传入t1 a[t0]中a被当作变量名而非地址原因数组元素的addr属性未区分“基地址”和“索引偏移”。a[i]的addr应是base offset但学生常把a的符号表条目addr如a直接当基地址用忘了数组名本身不存数据存的是首地址。解决ArrayAccessNode的checkSemantics()中先查a的符号表条目确认kind ARRAY取其baseAddr如a_base再计算offset i * size_of_element最后this.addr baseAddr [ offset ]。实验不要求生成真实内存地址但addr字段必须体现这种复合结构。3.4 现象函数调用f(x, y)生成param x,param y,call f但f的形参个数与实参不匹配却无报错原因函数调用的语义检查缺失。call节点未查询f的符号表条目中的paramCount也未遍历实参列表校验每个实参类型。解决在CallNode.checkSemantics()中SymbolEntry func table.lookup(funcName);if (func null || func.getKind() ! FUNC) throw ...;ListSymbolEntry params func.getParams(); // 预存形参列表if (actualArgs.size() ! params.size()) throw ...;for (int i 0; i actualArgs.size(); i) { if (!actualArgs.get(i).getType().equals(params.get(i).getType())) throw ...; }3.5 现象int x; x 3.14;未报错生成t0 3.14,x t0但x是INT类型原因隐式类型转换未禁止。教材明确要求“严格类型检查”FLOAT赋值给INT必须报错不能自动截断。解决在赋值节点AssignNode.checkSemantics()中if (!left.getType().equals(right.getType())) { throw new SemanticError(Cannot assign right.getType() to left.getType()); }。注意3.14字面量类型是FLOAT3是INT必须区分。4. 符号表与类型系统的协同如何让int a[10];和float b[5][3];同时存活天津理工实验3的进阶难点是支持一维/二维数组声明与访问。这要求符号表不仅能存标量还要能描述数组维度、元素类型、总大小。很多同学卡在a[i][j]的地址计算上——不是不会算base (i * cols j) * sizeof(elem)而是符号表根本没存cols和elemSize。这里给出一个轻量但完备的数组符号表扩展方案不引入复杂 IR只用现有 Java 结构支撑实验需求。4.1 符号表条目增强用ArrayInfo封装维度信息SymbolEntry新增字段arrayInfo仅当kind ARRAY时非空class ArrayInfo { int dimensions; // 维度数1 或 2 int[] sizes; // 每维大小[10] 或 [5,3] Type elemType; // 元素类型INT/FLOAT int totalSize; // 总元素数10 或 15 int elemSize; // 单元素字节数4INT或 8FLOAT public ArrayInfo(int[] sizes, Type elemType) { this.dimensions sizes.length; this.sizes sizes.clone(); this.elemType elemType; this.totalSize Arrays.stream(sizes).reduce(1, (a, b) - a * b); this.elemSize elemType Type.INT ? 4 : 8; } // 计算 a[i][j] 的线性偏移i * sizes[1] j 二维 public int getOffset(ListInteger indices) { if (indices.size() ! dimensions) throw new RuntimeException(Index count mismatch); int offset 0; int multiplier totalSize / sizes[0]; // 第一维步长 for (int i 0; i dimensions; i) { offset indices.get(i) * multiplier; if (i dimensions - 1) multiplier / sizes[i 1]; } return offset; } }注意getOffset()返回的是元素个数偏移不是字节偏移。最终地址计算为baseAddr offset * elemSize这部分由ArrayAccessNode完成。4.2 数组声明的语义动作解析[10]并存入符号表当语法分析器归约int id [ num ]一维或int id [ num ] [ num ]二维时语义动作需创建ArrayInfo传入sizes数组如new int[]{10}或new int[]{5,3}和elemType构造SymbolEntrykindARRAYarrayInfoinfo插入符号表。关键点在于num是终结符节点其value字段需在词法分析时解析为整数并存入 AST 节点。// 在 ArrayDeclNode.checkSemantics() 中 public void checkSemantics(SymbolTable table) { // 解析维度假设 dims 是 ListInteger从子节点提取 ListInteger dims extractDimensions(); // 如 [10] 或 [5,3] Type elemType this.elemType; // 从父节点继承如 INT ArrayInfo info new ArrayInfo(dims.stream().mapToInt(i - i).toArray(), elemType); SymbolEntry entry new SymbolEntry(name, SymbolEntry.Kind.ARRAY, elemType); entry.setArrayInfo(info); if (!table.insert(name, entry)) { throw new SemanticError(Redeclaration of array name at line line); } }4.3 数组访问的地址生成从a[i][j]到t0 i * 3 j,t1 a_base t0 * 4ArrayAccessNode的checkSemantics()是重头戏。它需查a的符号表条目确认是数组遍历所有下标表达式i,j检查类型是否为INT调用arrayInfo.getOffset(indices)得到线性索引生成计算偏移的四元式再生成基址加偏移的四元式。public void checkSemantics(SymbolTable table) { SymbolEntry arrayEntry table.lookup(arrayName); if (arrayEntry null || arrayEntry.getKind() ! SymbolEntry.Kind.ARRAY) { throw new SemanticError(Array arrayName not declared at line line); } ArrayInfo info arrayEntry.getArrayInfo(); ListASTNode indices this.indices; // [i, j] // 类型检查所有下标必须是 INT for (ASTNode idx : indices) { idx.checkSemantics(table); if (!idx.getType().equals(Type.INT)) { throw new SemanticError(Array index must be INT at line line); } } // 生成下标计算t0 i * cols j 二维 String offsetAddr t TempGenerator.next(); if (info.dimensions 1) { // 一维t0 i QuadGenerator.gen(, indices.get(0).getAddr(), , offsetAddr); } else { // 二维t0 i * sizes[1] j String t1 t TempGenerator.next(); QuadGenerator.gen(*, indices.get(0).getAddr(), String.valueOf(info.sizes[1]), t1); QuadGenerator.gen(, t1, indices.get(1).getAddr(), offsetAddr); } // 生成地址t2 a_base t0 * elemSize String baseAddr arrayName _base; // 约定数组基地址名为 a_base String elemSizeStr String.valueOf(info.elemSize); String t2 t TempGenerator.next(); String t3 t TempGenerator.next(); QuadGenerator.gen(*, offsetAddr, elemSizeStr, t3); QuadGenerator.gen(, baseAddr, t3, t2); this.addr t2; // 最终地址存入 addr 属性 }关键技巧a_base是约定俗成的基地址名无需在符号表中显式存储。实验不要求生成真实内存布局只要四元式逻辑自洽即可。t2就是a[i][j]的地址后续赋值或读取都用它。5. 验证四元式正确性的三板斧从人工比对到自动化脚本生成.quad文件只是第一步天津理工实验3的验收核心是四元式序列的语义等价性——你的if-else是否生成了与教材例题完全一致的跳转逻辑a[i][j]的地址计算是否与手动推导吻合靠人眼一行行比对.quad文件效率极低且易漏。我教学生用三招闭环验证90% 的逻辑错误当场暴露。5.1 第一板斧用 Python 脚本做结构化比对附可抄代码下载实验提供的标准.quad示例如test1.quad用 Python 解析成结构化对象再与你的输出比对。重点不是字符串相等而是指令类型、操作数语义、跳转目标可达性。以下脚本可直接运行需pip install pandas# quad_validator.py import sys import pandas as pd def parse_quad_file(filename): 解析.quad文件为DataFrame列op, arg1, arg2, result rows [] with open(filename, r) as f: for line_num, line in enumerate(f, 1): line line.strip() if not line: continue parts line.split(,) if len(parts) ! 4: raise ValueError(fInvalid quad format at line {line_num}: {line}) rows.append({ op: parts[0].strip(), arg1: parts[1].strip(), arg2: parts[2].strip(), result: parts[3].strip() }) return pd.DataFrame(rows) def validate_jump_targets(df): 检查所有 goto/ifFalse 的目标标签是否在文件中存在 labels set(df[df[op] label][result]) # 所有 label 指令的结果是标签名 jump_ops [goto, ifFalse, ifTrue, ifGoto] for _, row in df[df[op].isin(jump_ops)].iterrows(): target row[result] if row[op] goto else row[arg1] if target and target not in labels: print(fERROR: Jump target {target} not defined) return False return True def compare_quads(your_file, gold_file): your_df parse_quad_file(your_file) gold_df parse_quad_file(gold_file) # 1. 行数必须相同 if len(your_df) ! len(gold_df): print(fFAIL: Line count mismatch: {len(your_df)} vs {len(gold_df)}) return False # 2. 指令类型分布必须一致忽略临时变量名 your_ops your_df[op].value_counts().to_dict() gold_ops gold_df[op].value_counts().to_dict() if your_ops ! gold_ops: print(fFAIL: Op distribution mismatch: {your_ops} vs {gold_ops}) return False # 3. 跳转目标必须合法 if not validate_jump_targets(your_df): return False print(PASS: Quad structure validated) return True if __name__ __main__: if len(sys.argv) ! 3: print(Usage: python quad_validator.py your_output.quad gold_standard.quad) sys.exit(1) compare_quads(sys.argv[1], sys.argv[2])使用方法python quad_validator.py my_output.quad test1_gold.quad。它不比对t0/t1名字只验证goto L1的L1是否真实存在、ifFalse指令数量是否匹配。这是第一道防线。5.2 第二板斧手绘控制流图CFG反向推导对含if/while的测试用例强制自己画 CFG每个四元式是一节点goto/ifFalse是有向边。然后从入口开始 DFS标记所有可达节点。如果发现某条goto L2边指向一个从未生成L2:的位置或ifFalse的条件分支有一侧不可达就证明跳转逻辑有缺陷。我让学生用纸笔画因为 IDE 里容易忽略L1和L2的生成顺序。CFG 不是形式化工具是帮你把“脑内逻辑”外化成可检验的图结构。5.3 第三板斧用 Tiny-C 运行时验证终极手段天津理工配套的tiny-c解释器实验文档提供能加载.quad文件并模拟执行。把你的.quad丢进去输入测试数据观察输出是否与预期一致。例如test_if.c输入a5,b3应输出ab的分支结果。如果解释器报undefined label或计算结果错说明四元式序列存在底层语义错误。这是唯一能证明“你的编译器真的懂代码含义”的方式。我的习惯先跑quad_validator.py过结构关再画 CFG 过逻辑关最后用tiny-c过执行关。三关全过才敢提交。有一次学生quad文件和标准答案只差一个t编号但tiny-c执行结果错——查出是t重名导致地址覆盖这就是自动化脚本发现不了的深层 bug。希望帮到你。本文还有配套的精品资源点击获取
简介本资源是天津理工大学《编译原理》课程配套实验三的完整报告文档面向计算机专业本科生及编译技术初学者聚焦语义分析与中间代码生成核心能力训练。报告基于表达式文法G[E]系统实现LL1、算符优先或LR任一分析法下的语法制导翻译包含属性文法设计、四元式中间代码生成、变量栈与符号表管理等关键环节并附有C源码、测试用例、分析过程表格及详细结果分析。压缩包为单个381KB的Word文档.doc涵盖17页完整实验内容含实验目的、要求、过程记录、源程序截图、语法分析表、心得体会等模块结构规范、注释清晰便于理解语义动作嵌入逻辑与错误处理机制。目前已有376人学习下载可直接用于课程作业参考、实验复现或编译器前端开发思路拓展。1. 为什么语义分析不是“多此一举”天津理工大学编译原理实验3的真实战场你在词法分析里能认出int x 3 y;是合法的字符串在语法分析里能画出它正确的抽象语法树AST但——编译器此时仍不知道y是否声明过、x和y类型是否兼容、3 y在运行时会不会溢出。这些才是语义分析要干的活。天津理工大学编译原理实验3之所以被学生称为“从语法到真实世界的断崖”正因为它第一次把编译器从“结构正确”逼向“逻辑可信”。这个实验不考你写个漂亮 parser而是让你亲手在 AST 上挂上类型检查、作用域查重、表达式求值约束并把每一条语义规则落地成可执行的中间代码——最典型的就是四元式op, arg1, arg2, result。它不是理论推演是用 Java 或 C 实现一个带符号表驱动的语法制导翻译器当语法分析器归约E → E1 T时你必须同步触发gen(, E1.addr, T.addr, newtemp())并把生成的四元式塞进中间代码序列。实验验收不看输出是否“像”而看四元式序列能否被后续的代码生成模块无歧义地翻译成汇编——这意味着你写的每一条语义动作都得经得起反向追溯和静态验证。适合谁刚啃完《编译原理第3版》第三章、手写过 LL(1) 分析器、但还没碰过符号表管理与属性计算的同学也适合想用真实项目理解“语法制导翻译”到底怎么“导”的工程实践者。2. 从语法树到四元式语义分析器的三层骨架设计语义分析不是在语法分析器上打补丁而是重建一套带状态的翻译引擎。我带过三届天津理工编译课设发现学生翻车最多的地方是把语义动作硬塞进语法分析过程结果符号表乱序、临时变量重名、类型传递断裂。真正可靠的架构必须拆成三层符号表管理层、属性计算层、中间代码生成层。这三层不是并列关系而是严格依赖链语法分析器只负责构建 AST 节点属性计算层遍历 AST为每个节点注入type、addr、offset等属性中间代码生成层再基于这些属性调用gen()函数。下面以if (a b) x 1; else y 2;为例说明如何用 Java 实现这三层协同。2.1 符号表用嵌套哈希表撑起作用域链符号表不是一张扁平列表而是按作用域嵌套的栈式结构。全局作用域在底每个{}块压入新作用域}弹出。每个作用域内用HashMapString, SymbolEntry存变量SymbolEntry至少含name、typeINT/FLOAT/VOID、kindVAR/CONST/FUNC、offset相对基址偏移、level嵌套深度。关键点在于查找时必须从当前作用域向上逐层搜索否则int x; { int x; ... }里的内层x就会覆盖外层声明。// 符号表核心类Java public class SymbolTable { private StackHashMapString, SymbolEntry scopes; private int currentLevel; public SymbolTable() { this.scopes new Stack(); this.currentLevel 0; enterScope(); // 初始化全局作用域 } public void enterScope() { scopes.push(new HashMap()); currentLevel; } public void exitScope() { if (!scopes.isEmpty()) { scopes.pop(); currentLevel--; } } public boolean insert(String name, SymbolEntry entry) { if (scopes.isEmpty()) return false; HashMapString, SymbolEntry current scopes.peek(); if (current.containsKey(name)) { return false; // 重复声明 } entry.setLevel(currentLevel); current.put(name, entry); return true; } public SymbolEntry lookup(String name) { // 从当前作用域向上查找 for (int i scopes.size() - 1; i 0; i--) { SymbolEntry entry scopes.get(i).get(name); if (entry ! null) return entry; } return null; // 未声明 } }提示lookup()的逆向搜索顺序是硬性要求。如果只查当前作用域if块内引用外层变量就会报“未声明”这是实验中最常见的编译错误之一。2.2 属性计算用继承属性综合属性打通 AST 信息流语法制导翻译的本质是让语法树节点携带两类属性综合属性synthesized自下而上传递如E.type表示表达式类型继承属性inherited自上而下传递如E.addr表示该表达式计算结果存放的临时变量地址。在E → E1 T规则中E1和T的type是综合属性E的addr是综合属性但E的addr依赖于E1.addr和T.addr—— 这就需要在归约时显式计算。我们不用 Yacc 风格的$1.$type而是为每个 AST 节点定义属性字段// AST 节点基类简化 abstract class ASTNode { protected Type type; // 综合属性类型 protected String addr; // 综合属性存放地址临时变量名或寄存器 protected int line; // 位置信息用于报错 } class BinaryExprNode extends ASTNode { private ASTNode left; private ASTNode right; private String op; // , -, *, / Override public void checkSemantics(SymbolTable table) { left.checkSemantics(table); right.checkSemantics(table); // 类型检查左右操作数必须同为 INT 或 FLOAT if (!left.getType().equals(right.getType()) || !(left.getType().equals(Type.INT) || left.getType().equals(Type.FLOAT))) { throw new SemanticError(Type mismatch in binary expr at line line); } this.type left.getType(); // 地址分配生成临时变量存储结果 this.addr t TempGenerator.next(); // 生成四元式, left.addr, right.addr, this.addr QuadGenerator.gen(op, left.getAddr(), right.getAddr(), this.addr); } }注意checkSemantics()是递归入口每个节点自己负责检查子节点、计算自身属性、生成对应四元式。TempGenerator.next()返回t0,t1,t2...确保临时变量不重名QuadGenerator.gen()将四元式追加到全局中间代码列表。2.3 四元式生成用结构化指令替代“拼字符串”四元式不是, a, b, t0这样的字符串而是一个有明确字段的 Java 对象。这样做的好处是后续优化阶段可直接访问op字段做模式匹配arg1/arg2可判断是否为常量从而触发常量折叠。实验要求输出.quad文件格式必须严格为op,arg1,arg2,result逗号分隔无空格所以Quad类需重写toString()class Quad { String op; String arg1; String arg2; String result; public Quad(String op, String arg1, String arg2, String result) { this.op op; this.arg1 arg1 null ? : arg1; this.arg2 arg2 null ? : arg2; this.result result null ? : result; } Override public String toString() { return String.format(%s,%s,%s,%s, op, arg1, arg2, result); } } // 全局四元式列表实验3输出目标 public class QuadGenerator { private static ListQuad quads new ArrayList(); public static void gen(String op, String arg1, String arg2, String result) { quads.add(new Quad(op, arg1, arg2, result)); } public static void dumpToFile(String filename) throws IOException { try (PrintWriter out new PrintWriter(new FileWriter(filename))) { for (Quad q : quads) { out.println(q.toString()); } } } }关键细节arg1和arg2可能为空如goto L1只有op和resultresult在label或goto中也可能为空。实验验收脚本会逐行比对.quad文件空格、逗号、大小写全错即判失败。3. 语法制导翻译的落地陷阱天津理工实验3的5个血泪避坑点语义分析实验的调试难度远超词法/语法分析因为错误不体现在“报错行号”而藏在生成的四元式序列里——你看到t0 a b却不知道a和b的地址是否真被正确绑定。以下是我在实验室盯了上百份作业后总结的5 个高频翻车点每个都附带现象、根因和实测解法3.1 现象四元式里出现t0 t0 t1导致无限循环或结果错乱原因临时变量addr未隔离作用域。t0在函数 A 和函数 B 中被重复分配B 中生成的t0覆盖了 A 的t0造成地址混淆。解决TempGenerator必须支持作用域感知。修改为TempGenerator.next(currentLevel)生成t0_1,t0_2_1表示 level1 的全局作用域或更稳妥地用t0_funcA,t0_funcB。实验中只要t编号全局唯一即可但必须保证同一作用域内不重名。3.2 现象if-else语句生成的四元式跳转标签错位goto L2指向L1之后而非else块开头原因if语句的语义动作中L1else标签和L2if结束标签的生成时机错误。常见误写是gen(goto, , , L2)放在if块末尾但没在else块前插入L1:标签。解决严格按教材 P127 的 SDT 规则归约IF cond THEN stmt时生成ifFalse cond goto L1并记录L1归约IF cond THEN stmt ELSE stmt时先生成ifFalse cond goto L1再生成goto L2然后在else块前插入L1:块末插入L2:。提示用LabelGenerator.next()获取唯一标签名避免手写L1导致冲突。3.3 现象数组访问a[i]生成t0 i * 4但a的基地址未传入t1 a[t0]中a被当作变量名而非地址原因数组元素的addr属性未区分“基地址”和“索引偏移”。a[i]的addr应是base offset但学生常把a的符号表条目addr如a直接当基地址用忘了数组名本身不存数据存的是首地址。解决ArrayAccessNode的checkSemantics()中先查a的符号表条目确认kind ARRAY取其baseAddr如a_base再计算offset i * size_of_element最后this.addr baseAddr [ offset ]。实验不要求生成真实内存地址但addr字段必须体现这种复合结构。3.4 现象函数调用f(x, y)生成param x,param y,call f但f的形参个数与实参不匹配却无报错原因函数调用的语义检查缺失。call节点未查询f的符号表条目中的paramCount也未遍历实参列表校验每个实参类型。解决在CallNode.checkSemantics()中SymbolEntry func table.lookup(funcName);if (func null || func.getKind() ! FUNC) throw ...;ListSymbolEntry params func.getParams(); // 预存形参列表if (actualArgs.size() ! params.size()) throw ...;for (int i 0; i actualArgs.size(); i) { if (!actualArgs.get(i).getType().equals(params.get(i).getType())) throw ...; }3.5 现象int x; x 3.14;未报错生成t0 3.14,x t0但x是INT类型原因隐式类型转换未禁止。教材明确要求“严格类型检查”FLOAT赋值给INT必须报错不能自动截断。解决在赋值节点AssignNode.checkSemantics()中if (!left.getType().equals(right.getType())) { throw new SemanticError(Cannot assign right.getType() to left.getType()); }。注意3.14字面量类型是FLOAT3是INT必须区分。4. 符号表与类型系统的协同如何让int a[10];和float b[5][3];同时存活天津理工实验3的进阶难点是支持一维/二维数组声明与访问。这要求符号表不仅能存标量还要能描述数组维度、元素类型、总大小。很多同学卡在a[i][j]的地址计算上——不是不会算base (i * cols j) * sizeof(elem)而是符号表根本没存cols和elemSize。这里给出一个轻量但完备的数组符号表扩展方案不引入复杂 IR只用现有 Java 结构支撑实验需求。4.1 符号表条目增强用ArrayInfo封装维度信息SymbolEntry新增字段arrayInfo仅当kind ARRAY时非空class ArrayInfo { int dimensions; // 维度数1 或 2 int[] sizes; // 每维大小[10] 或 [5,3] Type elemType; // 元素类型INT/FLOAT int totalSize; // 总元素数10 或 15 int elemSize; // 单元素字节数4INT或 8FLOAT public ArrayInfo(int[] sizes, Type elemType) { this.dimensions sizes.length; this.sizes sizes.clone(); this.elemType elemType; this.totalSize Arrays.stream(sizes).reduce(1, (a, b) - a * b); this.elemSize elemType Type.INT ? 4 : 8; } // 计算 a[i][j] 的线性偏移i * sizes[1] j 二维 public int getOffset(ListInteger indices) { if (indices.size() ! dimensions) throw new RuntimeException(Index count mismatch); int offset 0; int multiplier totalSize / sizes[0]; // 第一维步长 for (int i 0; i dimensions; i) { offset indices.get(i) * multiplier; if (i dimensions - 1) multiplier / sizes[i 1]; } return offset; } }注意getOffset()返回的是元素个数偏移不是字节偏移。最终地址计算为baseAddr offset * elemSize这部分由ArrayAccessNode完成。4.2 数组声明的语义动作解析[10]并存入符号表当语法分析器归约int id [ num ]一维或int id [ num ] [ num ]二维时语义动作需创建ArrayInfo传入sizes数组如new int[]{10}或new int[]{5,3}和elemType构造SymbolEntrykindARRAYarrayInfoinfo插入符号表。关键点在于num是终结符节点其value字段需在词法分析时解析为整数并存入 AST 节点。// 在 ArrayDeclNode.checkSemantics() 中 public void checkSemantics(SymbolTable table) { // 解析维度假设 dims 是 ListInteger从子节点提取 ListInteger dims extractDimensions(); // 如 [10] 或 [5,3] Type elemType this.elemType; // 从父节点继承如 INT ArrayInfo info new ArrayInfo(dims.stream().mapToInt(i - i).toArray(), elemType); SymbolEntry entry new SymbolEntry(name, SymbolEntry.Kind.ARRAY, elemType); entry.setArrayInfo(info); if (!table.insert(name, entry)) { throw new SemanticError(Redeclaration of array name at line line); } }4.3 数组访问的地址生成从a[i][j]到t0 i * 3 j,t1 a_base t0 * 4ArrayAccessNode的checkSemantics()是重头戏。它需查a的符号表条目确认是数组遍历所有下标表达式i,j检查类型是否为INT调用arrayInfo.getOffset(indices)得到线性索引生成计算偏移的四元式再生成基址加偏移的四元式。public void checkSemantics(SymbolTable table) { SymbolEntry arrayEntry table.lookup(arrayName); if (arrayEntry null || arrayEntry.getKind() ! SymbolEntry.Kind.ARRAY) { throw new SemanticError(Array arrayName not declared at line line); } ArrayInfo info arrayEntry.getArrayInfo(); ListASTNode indices this.indices; // [i, j] // 类型检查所有下标必须是 INT for (ASTNode idx : indices) { idx.checkSemantics(table); if (!idx.getType().equals(Type.INT)) { throw new SemanticError(Array index must be INT at line line); } } // 生成下标计算t0 i * cols j 二维 String offsetAddr t TempGenerator.next(); if (info.dimensions 1) { // 一维t0 i QuadGenerator.gen(, indices.get(0).getAddr(), , offsetAddr); } else { // 二维t0 i * sizes[1] j String t1 t TempGenerator.next(); QuadGenerator.gen(*, indices.get(0).getAddr(), String.valueOf(info.sizes[1]), t1); QuadGenerator.gen(, t1, indices.get(1).getAddr(), offsetAddr); } // 生成地址t2 a_base t0 * elemSize String baseAddr arrayName _base; // 约定数组基地址名为 a_base String elemSizeStr String.valueOf(info.elemSize); String t2 t TempGenerator.next(); String t3 t TempGenerator.next(); QuadGenerator.gen(*, offsetAddr, elemSizeStr, t3); QuadGenerator.gen(, baseAddr, t3, t2); this.addr t2; // 最终地址存入 addr 属性 }关键技巧a_base是约定俗成的基地址名无需在符号表中显式存储。实验不要求生成真实内存布局只要四元式逻辑自洽即可。t2就是a[i][j]的地址后续赋值或读取都用它。5. 验证四元式正确性的三板斧从人工比对到自动化脚本生成.quad文件只是第一步天津理工实验3的验收核心是四元式序列的语义等价性——你的if-else是否生成了与教材例题完全一致的跳转逻辑a[i][j]的地址计算是否与手动推导吻合靠人眼一行行比对.quad文件效率极低且易漏。我教学生用三招闭环验证90% 的逻辑错误当场暴露。5.1 第一板斧用 Python 脚本做结构化比对附可抄代码下载实验提供的标准.quad示例如test1.quad用 Python 解析成结构化对象再与你的输出比对。重点不是字符串相等而是指令类型、操作数语义、跳转目标可达性。以下脚本可直接运行需pip install pandas# quad_validator.py import sys import pandas as pd def parse_quad_file(filename): 解析.quad文件为DataFrame列op, arg1, arg2, result rows [] with open(filename, r) as f: for line_num, line in enumerate(f, 1): line line.strip() if not line: continue parts line.split(,) if len(parts) ! 4: raise ValueError(fInvalid quad format at line {line_num}: {line}) rows.append({ op: parts[0].strip(), arg1: parts[1].strip(), arg2: parts[2].strip(), result: parts[3].strip() }) return pd.DataFrame(rows) def validate_jump_targets(df): 检查所有 goto/ifFalse 的目标标签是否在文件中存在 labels set(df[df[op] label][result]) # 所有 label 指令的结果是标签名 jump_ops [goto, ifFalse, ifTrue, ifGoto] for _, row in df[df[op].isin(jump_ops)].iterrows(): target row[result] if row[op] goto else row[arg1] if target and target not in labels: print(fERROR: Jump target {target} not defined) return False return True def compare_quads(your_file, gold_file): your_df parse_quad_file(your_file) gold_df parse_quad_file(gold_file) # 1. 行数必须相同 if len(your_df) ! len(gold_df): print(fFAIL: Line count mismatch: {len(your_df)} vs {len(gold_df)}) return False # 2. 指令类型分布必须一致忽略临时变量名 your_ops your_df[op].value_counts().to_dict() gold_ops gold_df[op].value_counts().to_dict() if your_ops ! gold_ops: print(fFAIL: Op distribution mismatch: {your_ops} vs {gold_ops}) return False # 3. 跳转目标必须合法 if not validate_jump_targets(your_df): return False print(PASS: Quad structure validated) return True if __name__ __main__: if len(sys.argv) ! 3: print(Usage: python quad_validator.py your_output.quad gold_standard.quad) sys.exit(1) compare_quads(sys.argv[1], sys.argv[2])使用方法python quad_validator.py my_output.quad test1_gold.quad。它不比对t0/t1名字只验证goto L1的L1是否真实存在、ifFalse指令数量是否匹配。这是第一道防线。5.2 第二板斧手绘控制流图CFG反向推导对含if/while的测试用例强制自己画 CFG每个四元式是一节点goto/ifFalse是有向边。然后从入口开始 DFS标记所有可达节点。如果发现某条goto L2边指向一个从未生成L2:的位置或ifFalse的条件分支有一侧不可达就证明跳转逻辑有缺陷。我让学生用纸笔画因为 IDE 里容易忽略L1和L2的生成顺序。CFG 不是形式化工具是帮你把“脑内逻辑”外化成可检验的图结构。5.3 第三板斧用 Tiny-C 运行时验证终极手段天津理工配套的tiny-c解释器实验文档提供能加载.quad文件并模拟执行。把你的.quad丢进去输入测试数据观察输出是否与预期一致。例如test_if.c输入a5,b3应输出ab的分支结果。如果解释器报undefined label或计算结果错说明四元式序列存在底层语义错误。这是唯一能证明“你的编译器真的懂代码含义”的方式。我的习惯先跑quad_validator.py过结构关再画 CFG 过逻辑关最后用tiny-c过执行关。三关全过才敢提交。有一次学生quad文件和标准答案只差一个t编号但tiny-c执行结果错——查出是t重名导致地址覆盖这就是自动化脚本发现不了的深层 bug。希望帮到你。本文还有配套的精品资源点击获取
