第2章笔记：名字、作用域与绑定

联系

• 名字为何需要环境：写出结构、语义状态、反例和测试。
• 词法作用域与动态作用域：写出结构、语义状态、反例和测试。
• 遮蔽、捕获与重命名：写出结构、语义状态、反例和测试。
• 环境链与帧：写出结构、语义状态、反例和测试。
• 声明提升与暂时死区：写出结构、语义状态、反例和测试。
• 模块名字空间：写出结构、语义状态、反例和测试。
• 绑定综合实验：写出结构、语义状态、反例和测试。

练习

以名字为何需要环境为输入，一直推进到绑定综合实验，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第2章笔记：名字、作用域与绑定

联系

• 名字为何需要环境：写出结构、语义状态、反例和测试。
• 词法作用域与动态作用域：写出结构、语义状态、反例和测试。
• 遮蔽、捕获与重命名：写出结构、语义状态、反例和测试。
• 环境链与帧：写出结构、语义状态、反例和测试。
• 声明提升与暂时死区：写出结构、语义状态、反例和测试。
• 模块名字空间：写出结构、语义状态、反例和测试。
• 绑定综合实验：写出结构、语义状态、反例和测试。

练习

以名字为何需要环境为输入，一直推进到绑定综合实验，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第2章笔记：名字、作用域与绑定

联系

• 名字为何需要环境：写出结构、语义状态、反例和测试。
• 词法作用域与动态作用域：写出结构、语义状态、反例和测试。
• 遮蔽、捕获与重命名：写出结构、语义状态、反例和测试。
• 环境链与帧：写出结构、语义状态、反例和测试。
• 声明提升与暂时死区：写出结构、语义状态、反例和测试。
• 模块名字空间：写出结构、语义状态、反例和测试。
• 绑定综合实验：写出结构、语义状态、反例和测试。

练习

以名字为何需要环境为输入，一直推进到绑定综合实验，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。