北航研究生课程_程序语言设计原理教程_第04章.pptVIP

第4章 存 储 4.1 程序变量的时空特性 4.1.1 引用和指针 4.1.2 递引用 dereference 4.1.3 变量的时态 分配/未分配/除分配 分配: 为程序对象创建—存储对象 编译时分配叫静态分配 allocate 运行时分配叫动态分配如声明指针p, 执new才分配 未分配: 声明了未分配运行时分配 除分配: 取消存储对象(程序对象) delete操作显式 自动除配: 无用单元收集Garbage collection 动态语言有，静态可有Ada可没有C 续 4.2 存储模型 基元类型值 仅除数组 记录、构造、表 不可更新其中一元素 函数抽象, ——ML重过程 变量引用 4.2.1存储对象的生存期 全局变量 和引用程序寿命一样长 局部变量 和程序中的一个模块寿命一样长 持久变量 比程序寿命长除非显式撤销 文件变量 瞬间变量（transient)持久变量的逆 4.2.2 静态存储对象 4.2.4 动态存储对象 4.2.5 堆栈帧管理 续 4.2.6 动态堆存储 忽略死对象 不超过一页浪费, 若寿命差不多浪费不大 保持一个自由表(链表)8个字节头说明数据 按类型长度保持多个表减少识别域开销(Ada) 4.3 悬挂引用Dangling Reference 4.4 变量更新 4.4.2 动态更新 续 4.5 有