程序设计语言与编译ppt课件_1.3 程序单元.pptxVIP

第一章绪论;单元表示

编译时，单元表示为单元的源程序。

运行时，单元表示由一个代码段和一个活动记录组成，称为单元实例。

活动记录

执行单元需要的信息，及该单元的局部变量的存储区。

;非局部变量

一个程序单元可以引用未被本单元说明而被其它单元说明的变量。

全局变量

在一个程序中，各个程序单元都可以引用的变量。

引用环境

一个程序单元可以引用的局部变量、非局部变量和全局变量对应的数据对象。

;局部环境

局部变量绑定于存储在U的当前活动记录中的数据对象，称为局部环境。

非局部环境

非局部变量绑定于其他的程序单元（定义该非局部变量的程序单元）的活动记录中的数据对象；或非局部变量绑定全局数据区中的数据对象称为非局部环境。;别名

同一单元的引用环境中有两个或多个变量绑定于同一数据对象，称这些变量互为别名。

副作用

对一个非局部变量进行修改。

;以C语言为例，C程序运行时的存储空间：

(1) 程序代码区

存储程序代码（编译后形成的二进制机器指令序列）

(2) 数据静态存储区

存储程序的常量数据、全局数据和static数据。

(3) 数据动态存储区

活动记录（栈）：返回地址、CPU现场、形参、局部变量。

存储动态内存申请数据（堆）。