《《编译程序设计原理》》教案.pptVIP

第七章 运行环境 标识符与数据目标的关系 变量名 ── 数据存储单元地址 过程名、函数名 ── 程序段地址 相关问题 变量和过程的作用域 过程调用的实现方法 7.1 绑定的完成 何时进行空间分配： 全局变量：程序装入时 局部变量：进入过程或分程序时 变量名的绑定 静态绑定：编译时指定（相对地址） 如：多数变量名 动态绑定：运行时指定 如：C++ 的引用变量 过程和函数的绑定 为过程指定程序代码段地址 静态绑定 编译时指定相对地址 如：多数各种函数、子例程 动态绑定 运行时指定 如：虚函数（C++）、Java 变量的静态绑定 词法分析 在符号表建立变量的表项 说明语句的语义分析 通过类型计算空间需求 填写变量的地址（供引用） 过程的静态绑定 词法分析 在符号表建立过程的表项 过程体的语义分析 统计目标代码长度 填写过程的地址（供引用） 7.2 存储组织 目标程序数据空间的典型分配 静态存储分配 特点 编译时刻确定存储位置 访问效率高 主要用途 子程序的目标代码段 全局数据目标（全局变量） 栈式存储分配 用途 过程的局部环境 （活动记录） 特点 嵌套调用次序 先进后出 生存期限于本次调用 自动释放 过程调用的活动记录 相关的语义处理 过程说明的翻译 计算实在参数、返回值的空间 过程体的翻译 计算局部变量、临时变量的空间 堆式存储分配 用于动态数据结构 存储空间的动态分配和释放