第5章 语义分析
用符号表、绑定、类型检查和Tiger声明规则实现语义分析项目；用C编译流水线、状态轨迹和端到端验证门交付环境快照、类型推导、错误路径与作用域恢复日志
学习目标
- 能说明“第5章 语义分析”如何用符号表、绑定、类型检查和Tiger声明规则实现语义分析项目，并区分作者C/Java/ML轨道、中文C版与本站重写
- 能先预测“名字、类型和作用域怎样沿表达式与声明递归传播？”会改变哪一个C接口、树/图状态、AST/IR、汇编或运行结果，再操作三类交互证据
- 能只注入“互递归函数在全部签名进入环境前就检查函数体”，定位首个偏离“第5章 语义分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”的状态，并从同一快照完成恢复
为什么从这个问题开始
“第5章 语义分析”围绕“名字、类型和作用域怎样沿表达式与声明递归传播？”建立贯穿任务：在Tiger C实现轨道中复现“第5章 语义分析”的输入、状态、变换与验证。先写下哪个C接口、树/图状态、AST/IR、汇编或运行结果会最先变化，再运行参考、故障和恢复路径；运行后补理由不算预测。只有守住“第5章 语义分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”并交付环境快照、类型推导、错误路径与作用域恢复日志，单模块测试、编译成功或性能变化才构成机制证据。
原版书目、296个正式坐标与C轨道边界
“第5章 语义分析”以Andrew W. Appel作者官方目录核对 Modern Compiler Implementation 的C、Java、ML三种实现轨道、2部分、21章和Tiger语言附录；以作者C版页面核对Andrew·W·Appel与Maia Ginsburg、Cambridge University Press、C实现轨道、平装ISBN 0-521-60765-5、软件/练习模块与勘误入口，再以Cambridge C版页面核对原版身份。
“第5章 语义分析”以中文版修订版完整目录核对赵克佳、黄春、沈志宇译《现代编译原理：C语言描述（修订版）》，人民邮电出版社，2018年，385页，ISBN 9787115476883。“第5章 语义分析”的正式分母为2个部分标题、21个章标题、1个附录标题、251个编号节/小节、附录4节和17个正式“程序设计”项目，合计296个核心层级；每章重复的推荐阅读与习题不另计。
作者页面可访问不等于允许复制书稿，“第5章 语义分析”不复制、翻译或改写原文、图表、伪码与习题；所有中文讲解、C接口示意、状态轨迹、反例、交互、练习和答案均为独立教学重写。本页独立核对 1只用于核对本页C实现或现代IR边界，不能混入Java/ML轨道或反向证明原书采用本站表述。
原版目录层级与C项目机制
第5章 语义分析
↡语义分析对应正式目录坐标“第5章 语义分析”，在“第5章 语义分析”中用于把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 1/15。 原版目录键 第5章 语义分析。在“第5章 语义分析”的第1个正式坐标中，「第5章 语义分析」通过把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹推进符号环境、类型与声明检查；复核者保存正则—自动机、token流、项目集、分析表、栈轨迹与冲突，出现最长匹配、展望符、冲突或恢复状态错误就撤回结论。
5·1 符号表
↡符号表对应正式目录坐标“5.1 符号表”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 2/15。 原版目录键 5.1 符号表。围绕“名字、类型和作用域怎样沿表达式与声明递归传播？”，“第5章 语义分析”在坐标2把「5·1 符号表」落实为构造带源位置AST并沿作用域环境执行名字绑定和类型检查；只有CST—AST映射、环境快照、类型推导、错误路径与作用域恢复可重放且反例排除节点语义、绑定顺序、类型约束或作用域恢复错位，本节点才算掌握。
5·1·1 多个符号表
↡多个符号表对应正式目录坐标“5.1.1 多个符号表”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 3/15。 原版目录键 5.1.1 多个符号表。“第5章 语义分析”的目录节点3「5·1·1 多个符号表」不能停在术语或伪码：它要构造带源位置AST并沿作用域环境执行名字绑定和类型检查，交付CST—AST映射、环境快照、类型推导、错误路径与作用域恢复，并把节点语义、绑定顺序、类型约束或作用域恢复错位设为单一反事实。
5·1·2 高效的命令式风格符号表
↡高效的命令式风格符号表对应正式目录坐标“5.1.2 高效的命令式风格符号表”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 4/15。 原版目录键 5.1.2 高效的命令式风格符号表。对“第5章 语义分析”而言，「5·1·2 高效的命令式风格符号表」在第4次检查中改变可观察状态，因为它负责构造带源位置AST并沿作用域环境执行名字绑定和类型检查；CST—AST映射、环境快照、类型推导、错误路径与作用域恢复必须与“第5章 语义分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受节点语义、绑定顺序、类型约束或作用域恢复错位。
5·1·3 高效的函数式符号表
↡高效的函数式符号表对应正式目录坐标“5.1.3 高效的函数式符号表”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 5/15。 原版目录键 5.1.3 高效的函数式符号表。在“第5章 语义分析”的第5个正式坐标中，「5·1·3 高效的函数式符号表」通过构造带源位置AST并沿作用域环境执行名字绑定和类型检查推进符号环境、类型与声明检查；复核者保存CST—AST映射、环境快照、类型推导、错误路径与作用域恢复，出现节点语义、绑定顺序、类型约束或作用域恢复错位就撤回结论。
5·1·4 Tiger编译器的符号
↡Tiger编译器的符号对应正式目录坐标“5.1.4 Tiger编译器的符号”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 6/15。 原版目录键 5.1.4 Tiger编译器的符号。围绕“名字、类型和作用域怎样沿表达式与声明递归传播？”，“第5章 语义分析”在坐标6把「5·1·4 Tiger编译器的符号」落实为构造带源位置AST并沿作用域环境执行名字绑定和类型检查；只有CST—AST映射、环境快照、类型推导、错误路径与作用域恢复可重放且反例排除节点语义、绑定顺序、类型约束或作用域恢复错位，本节点才算掌握。
5·1·5 函数式风格的符号表
↡函数式风格的符号表对应正式目录坐标“5.1.5 函数式风格的符号表”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 7/15。 原版目录键 5.1.5 函数式风格的符号表。“第5章 语义分析”的目录节点7「5·1·5 函数式风格的符号表」不能停在术语或伪码：它要构造带源位置AST并沿作用域环境执行名字绑定和类型检查，交付CST—AST映射、环境快照、类型推导、错误路径与作用域恢复，并把节点语义、绑定顺序、类型约束或作用域恢复错位设为单一反事实。
5·2 Tiger编译器的绑定
↡Tiger编译器的绑定对应正式目录坐标“5.2 Tiger编译器的绑定”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 8/15。 原版目录键 5.2 Tiger编译器的绑定。对“第5章 语义分析”而言，「5·2 Tiger编译器的绑定」在第8次检查中改变可观察状态，因为它负责构造带源位置AST并沿作用域环境执行名字绑定和类型检查；CST—AST映射、环境快照、类型推导、错误路径与作用域恢复必须与“第5章 语义分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受节点语义、绑定顺序、类型约束或作用域恢复错位。
5·3 表达式的类型检查
↡表达式的类型检查对应正式目录坐标“5.3 表达式的类型检查”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 9/15。 原版目录键 5.3 表达式的类型检查。在“第5章 语义分析”的第9个正式坐标中，「5·3 表达式的类型检查」通过构造带源位置AST并沿作用域环境执行名字绑定和类型检查推进符号环境、类型与声明检查；复核者保存CST—AST映射、环境快照、类型推导、错误路径与作用域恢复，出现节点语义、绑定顺序、类型约束或作用域恢复错位就撤回结论。
5·4 声明的类型检查
↡声明的类型检查对应正式目录坐标“5.4 声明的类型检查”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 10/15。 原版目录键 5.4 声明的类型检查。围绕“名字、类型和作用域怎样沿表达式与声明递归传播？”，“第5章 语义分析”在坐标10把「5·4 声明的类型检查」落实为构造带源位置AST并沿作用域环境执行名字绑定和类型检查；只有CST—AST映射、环境快照、类型推导、错误路径与作用域恢复可重放且反例排除节点语义、绑定顺序、类型约束或作用域恢复错位，本节点才算掌握。
5·4·1 变量声明
↡变量声明对应正式目录坐标“5.4.1 变量声明”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 11/15。 原版目录键 5.4.1 变量声明。“第5章 语义分析”的目录节点11「5·4·1 变量声明」不能停在术语或伪码：它要构造带源位置AST并沿作用域环境执行名字绑定和类型检查，交付CST—AST映射、环境快照、类型推导、错误路径与作用域恢复，并把节点语义、绑定顺序、类型约束或作用域恢复错位设为单一反事实。
5·4·2 类型声明
↡类型声明对应正式目录坐标“5.4.2 类型声明”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 12/15。 原版目录键 5.4.2 类型声明。对“第5章 语义分析”而言，「5·4·2 类型声明」在第12次检查中改变可观察状态，因为它负责构造带源位置AST并沿作用域环境执行名字绑定和类型检查；CST—AST映射、环境快照、类型推导、错误路径与作用域恢复必须与“第5章 语义分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受节点语义、绑定顺序、类型约束或作用域恢复错位。
5·4·3 函数声明
↡函数声明对应正式目录坐标“5.4.3 函数声明”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 13/15。 原版目录键 5.4.3 函数声明。在“第5章 语义分析”的第13个正式坐标中，「5·4·3 函数声明」通过构造带源位置AST并沿作用域环境执行名字绑定和类型检查推进符号环境、类型与声明检查；复核者保存CST—AST映射、环境快照、类型推导、错误路径与作用域恢复，出现节点语义、绑定顺序、类型约束或作用域恢复错位就撤回结论。
5·4·4 递归声明
↡递归声明对应正式目录坐标“5.4.4 递归声明”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 14/15。 原版目录键 5.4.4 递归声明。围绕“名字、类型和作用域怎样沿表达式与声明递归传播？”，“第5章 语义分析”在坐标14把「5·4·4 递归声明」落实为构造带源位置AST并沿作用域环境执行名字绑定和类型检查；只有CST—AST映射、环境快照、类型推导、错误路径与作用域恢复可重放且反例排除节点语义、绑定顺序、类型约束或作用域恢复错位，本节点才算掌握。
程序设计：类型检查
↡类型检查对应正式目录坐标“程序设计：类型检查”，在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，并受C接口、内存所有权、状态、目标机与验证边界约束。正式坐标 15/15。 原版目录键 程序设计：类型检查。“第5章 语义分析”的目录节点15「程序设计：类型检查」不能停在术语或伪码：它要构造带源位置AST并沿作用域环境执行名字绑定和类型检查，交付CST—AST映射、环境快照、类型推导、错误路径与作用域恢复，并把节点语义、绑定顺序、类型约束或作用域恢复错位设为单一反事实。
先预测，再操作三个C轨道实验
1. C模块、输入与翻译流水线
为“第5章 语义分析”选择正式目录坐标，在参考流水线与单一故障间切换，逐阶段核对接口、状态、输出和不变量。
输入—表示—翻译流水线
第5章 语义分析
选择正式目录坐标，再比较参考编译合同与单一故障的首个状态分岔。
阶段 1/4
第5章 语义分析 · C模块与输入
- 输入
- 在Tiger C实现轨道中复现“第5章 语义分析”的输入、状态、变换与验证
- 变换
- 冻结符号环境、类型与声明检查所需的C接口、源程序、规则、数据结构和版本
- 输出证据
- 第5章 语义分析的模块合同、输入快照与所有权表
- 不变量检查
- 第5章 语义分析的类型、所有权、源位置、名字和接口布局没有错位
第5章 语义分析的可重放协议
| 阶段 | 允许动作 | 必留证据 | 拒绝条件 |
|---|---|---|---|
| 第5章 语义分析 · C模块与输入 | 冻结符号环境、类型与声明检查所需的C接口、源程序、规则、数据结构和版本 | 第5章 语义分析的模块合同、输入快照与所有权表 | 未满足“第5章 语义分析的类型、所有权、源位置、名字和接口布局没有错位” |
| 第5章 语义分析 · 算法与状态 | 执行用符号表、绑定、类型检查和Tiger声明规则实现语义分析项目的最小算法并保存每一步状态 | 第5章 语义分析的参考轨迹、故障轨迹与首个状态分岔 | 未满足“第5章 语义分析每一步可由同一C接口、输入、规则和执行顺序复算” |
| 第5章 语义分析 · 输出与整合 | 比较变换前后AST/IR/汇编/运行时状态和跨模块传递 | 第5章 语义分析的前后差、接口谱系与恢复路径 | 未满足“第5章 语义分析没有把单模块通过或单一样例正确当作端到端正确性” |
| 第5章 语义分析 · 独立验证 | 重放预测、单故障、恢复和不适用边界 | 第5章 语义分析的接受、回退或拒绝理由 | 未满足“第5章 语义分析满足“第5章 语义分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”” |
unit: "tbc-unit-05"
question: "名字、类型和作用域怎样沿表达式与声明递归传播？"
scenario: "在Tiger C实现轨道中复现“第5章 语义分析”的输入、状态、变换与验证"
invariant: "第5章 语义分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致"
fault: "互递归函数在全部签名进入环境前就检查函数体"
evidence: "环境快照、类型推导、错误路径与作用域恢复日志"
reset: restore_concept_mode_stage_trace_step_case_gates_and_artifact“第5章 语义分析”要求从同一C接口、源程序、规则、数据结构、目标机、预算和执行顺序重放参考、故障与恢复路径。重置后若目录选择、模式、阶段、轨迹步骤、案例、证据门或交付包没有回到基线，本次比较已经混入状态泄漏。
本页回顾
掌握“第5章 语义分析”不是背术语、表格或伪码，而是围绕“名字、类型和作用域怎样沿表达式与声明递归传播？”重建C接口、输入、状态变换、输出、整合和端到端验证，并用“第5章 语义分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”拒绝“互递归函数在全部签名进入环境前就检查函数体”。最终交付为环境快照、类型推导、错误路径与作用域恢复日志。
练习与答案
练习
- 问题 1：C实现合同。 “第5章 语义分析”为什么必须先冻结C接口、源程序、规则、数据结构、目标机和验证口径？
- 问题 2：目录逐项覆盖。 怎样证明“第5章 语义分析”的正式目录坐标已经进入机制、交互和程序设计项目？
- 问题 3：故障恢复。 怎样证明“互递归函数在全部签名进入环境前就检查函数体”已经被修正？
名词解释
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 语义分析
检索键 tbc-A 对应正式目录坐标「第5章 语义分析」；在“第5章 语义分析”中用于把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 符号表
检索键 tbc-B 对应正式目录坐标「5·1 符号表」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 多个符号表
检索键 tbc-C 对应正式目录坐标「5·1·1 多个符号表」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 高效的命令式风格符号表
检索键 tbc-D 对应正式目录坐标「5·1·2 高效的命令式风格符号表」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 高效的函数式符号表
检索键 tbc-E 对应正式目录坐标「5·1·3 高效的函数式符号表」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- Tiger编译器的符号
检索键 tbc-F 对应正式目录坐标「5·1·4 Tiger编译器的符号」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 函数式风格的符号表
检索键 tbc-G 对应正式目录坐标「5·1·5 函数式风格的符号表」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- Tiger编译器的绑定
检索键 tbc-H 对应正式目录坐标「5·2 Tiger编译器的绑定」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 表达式的类型检查
检索键 tbc-I 对应正式目录坐标「5·3 表达式的类型检查」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 声明的类型检查
检索键 tbc-J 对应正式目录坐标「5·4 声明的类型检查」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 变量声明
检索键 tbc-K 对应正式目录坐标「5·4·1 变量声明」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 类型声明
检索键 tbc-L 对应正式目录坐标「5·4·2 类型声明」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 函数声明
检索键 tbc-M 对应正式目录坐标「5·4·3 函数声明」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 递归声明
检索键 tbc-N 对应正式目录坐标「5·4·4 递归声明」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。
- 类型检查
检索键 tbc-O 对应正式目录坐标「程序设计：类型检查」；在“第5章 语义分析”中用于构造带源位置AST并沿作用域环境执行名字绑定和类型检查，需要连接C轨道范围、状态轨迹、整合证据和不适用边界。