第10章目标程序运行时的组织

1、第10章 目标程序运行时的组织 10.1 概述概述10.2数据表示数据表示11.10.3目标程序运行时的栈式存储组织目标程序运行时的栈式存储组织10.4 参数传递参数传递10.5堆式存储组织的讨论堆式存储组织的讨论概述-代码生成解决语义gap高级语言支持的概念Type value expressionVariable procedureFunction parameters目标机支持的概念 bits bytes wordsRegistersStack addressRoutine(sub routine)概 述代码生成前如何安排目标机资源运行时组织的几个问题运行时组织的几个问题数据表示-如何在

2、目标机中表示每个源语言类型的值表达式求值-如何组织表达式的计算存储分配-如何组织不同作用域变量的存储过程实现-如何以例程实现过程，函数，参数传递概 述任务：编译程序对目标程序运行时的组织（设任务：编译程序对目标程序运行时的组织（设计运行环境和分配存储）计运行环境和分配存储） 如如 通常存储区布局通常存储区布局可为：可为： 目标代码区目标代码区 静态数据区静态数据区 Stack heap运行环境和存储分配设计分析逻辑阶段：在目标代码生成前，作准备逻辑阶段：在目标代码生成前，作准备实质：实质： 关联（关联（Binding）将源程序的文本将源程序的文本 程序运行动作的实现程序运行动作的实现 源文件中

3、的名字源文件中的名字N 运行时的存储运行时的存储S S在语义学中，使用术语在语义学中，使用术语environment函数表示函数表示env: NS (NS (N到到S S的映射的映射) )静静态态文文本本中中 运运行行时时动动作作及及为为实实现现其其动动作作的的准准备备 （与与运运行行时时数数据据对对象象的的表表示示有有关关）过过程程定定义义 过过程程名名执执行行过过程程体体 过过程程体体 控控制制数数据据对对象象的的分分配配，为为执执行行过过程程体体使使用用源源文文本本中中同同样样的的名名字字 目目标标程程序序中中不不同同的的数数据据空空间间因因为为一一个个过过程程可可以以是是递递归归的的，

4、这这时时同同一一个个名名字字在在不不同同的的时时间间可可能能代代表表不不同同的的存存储储单单元元决定运行管理复杂程度的因素决定运行管理复杂程度的因素源语言本身源语言本身1. 允许的数据类型的多少允许的数据类型的多少2语言中允许的数据项是语言中允许的数据项是 静态确定静态确定 动态确定动态确定3程序结构程序结构 决定名字的作用域的规则和结构决定名字的作用域的规则和结构A 段结构段结构B 过程定义不嵌套，只允许过程递归调用过程定义不嵌套，只允许过程递归调用C 分程序结构分程序结构分程序嵌套分程序嵌套过程定义嵌套过程定义嵌套 4 4存储类别的多少存储类别的多少GlobalStaticLocaldyn

5、amic术 语u静态：如果一个名字的性质通过说明语句静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是或隐或显规则而定义，则称这种性质是“静态静态”确定的。确定的。u动态：如果名字的性质只有在程序运行时动态：如果名字的性质只有在程序运行时才能知道，则称这种性质为才能知道，则称这种性质为“动态动态”确定确定的。的。u例例 procedure A(m,n:integer);u begin real z;u array Bm:n;u beginu u u u end;u end;声声明明的的作作用用域域 词词法法作作用用域域 动动态态作作用用域域例例：（1）program dyn

6、amic(i,0);(2) var r:real(3) procedure show;(4) begin write(r:5:3) end;(5) procedrue small;(6) var r:real;(7) begin r:=0.125; show end;(8) begin(9) r:=0.25;(10) show; small; write/n;(11) show; small; write/n;(12) end.lexical scope0.250 0.2500.250 0.250dynamic scope0.250 0.1250.250 0.125数据表示（各种数据对象的存储

7、分配）数据对象的属性 name 名字，名称 type 类型 location 内存地址 value 值 component 成分 数据表示（固定长度，直接或间接表示）简单变量： char: 1 byteintegers: 2 or 4 bytesfloats: 4 to 16 bytesbooleans: 1 bit (but usually 1 byte)指针：unsigned integers一维数组：一块连续的存储区多维数组：一块连续的存储区，按行存放结构（记录）：把所有域（field)存放在一块连续的存储区对象：类的实例变量象结构的域一样存放在一块连续的存储区， 但方法（成员函数）不存

8、在该对象里指令：例例：按按行行 A 是是 10 20 的的二二维维数数组组A1, 1A1, 2. . 第第一一行行. .A1, 20A2, 1. . 第第二二行行. . . . .A10, 20 第第十十行行数组元素的地址计算数组元素的地址计算设设 A1，1的地址为的地址为 a，每个元素占一个字，每个元素占一个字Ai，j的地址：的地址： a+（i-1） 20+（j-1）=（a-21）+（20i+j）一般：一般：arrayAl1：u1，l2：u2，ln：un令令 di=ui-li+1元素元素 Ai1，i2，in的地址的地址 D D=a+（i1-l1）d2d3dn+（i2-l2）d3d4dn+（i

9、n-1-l n-1）dn+（in-ln）经因子分解后得经因子分解后得 D=CONSPART+VARPART其其中中 CONSPART=a-C C=（l1d2+l2）d3+ l3）d4+ l n-1）dn+ ln VARPART=（i1d2+i2）d3+ i3）d4+ i n-1）dn+ in四四元元式式 两两组组 VARPART T CONSPARTT1T1 T表表示示数数组组元元素素的的地地址址数数组组元元素素引引用用： X：=T1 T对对数数组组元元素素赋赋值值： T1 T：=Xl 可变可变 (动态动态)数组数组： 若一个数组所需的存储空间的大小在编译时就已知道，则称它为确定数组，否则称为

10、可变(动态)数组。数组内情向量：数组内情向量： 编译将数组的有关信息记录在一些单元中，称为数组的 “内内情向量情向量”Al 1:u 1,l 2:u 2, ,l ln n : : u un n l1 u1 l2 u2 : : type a（首地址）（首地址） n C目标程序运行时的存储组织存储分配策略：存储分配策略：简单的栈式分配方案简单的栈式分配方案 嵌套过程的栈式分配方案嵌套过程的栈式分配方案 分程序结构的存储分配方案分程序结构的存储分配方案静态存储分配静态存储分配动态存储分配动态存储分配栈式栈式堆式堆式l 术语术语- -过程活动记录过程活动记录AR:为说明方便，假定程序是由过程组成，过程区

11、分为源文本，为说明方便，假定程序是由过程组成，过程区分为源文本，运行时称作过程的激活。运行时称作过程的激活。一个过程的一次执行所需要的信息使用一个连续的存储区来一个过程的一次执行所需要的信息使用一个连续的存储区来管理，这个区管理，这个区 （块）叫做一个活动记录或（块）叫做一个活动记录或frame（帧帧）一般这个段要记录：一般这个段要记录：l 临时值，如计算表达式时的中间工作单元。临时值，如计算表达式时的中间工作单元。l 局部变量局部变量（数据）（数据）l 保存运行过程前的状态保存运行过程前的状态 （返回地址，寄存器值（返回地址，寄存器值）l 存取链存取链（可选）（可选） 对于非局部量的引用。对

12、于非局部量的引用。l 控制链控制链（可选）（可选） 指向调用者的活动记录，释放栈。指向调用者的活动记录，释放栈。l 实参实参（形式单元）（形式单元）l 返回值返回值（对函数）（对函数）（有时可使用寄存器存放返回值）（有时可使用寄存器存放返回值） 简单的栈式分配方案u程序结构特点程序结构特点:过程定义不嵌套，过程可递归过程定义不嵌套，过程可递归调用，含可变数组调用，含可变数组; u例例: mainu 全局变量的说明全局变量的说明 proc R end R; proc Q end Q; 主程序执行语句主程序执行语句 uend mainMain-Q-R Main-Q-Q TOP- R 的活动记录的活

13、动记录 Q 的活动记录的活动记录 SP- Q 的活动记录的活动记录 Q 的活动记录的活动记录 主程序全局主程序全局 主程序全局主程序全局 数据区数据区 数据区数据区TOP- 临时工作单元临时工作单元 局部简单变量局部简单变量 局部数组的内情向量局部数组的内情向量 保存运保存运 行过程前的状态行过程前的状态（返回地址，寄存器值）（返回地址，寄存器值） 实参实参（形式单元）和参数个数（形式单元）和参数个数 SP- 控制链控制链（老（老 SP） TOP R 的数组区的数组区 SP R 的活动记录的活动记录 Q 的活动记录的活动记录 主程序全局主程序全局 数据区数据区 嵌套过程语言的栈式分配方案l主要

14、特点主要特点：（语言）一个过程可以引用包围它的任（语言）一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，一外层过程所定义的标识符（如变量，数组或过程等）。数组或过程等）。（实现）一个过程可以引用它的任一外（实现）一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。层过程的最新活动记录中的某些数据。 u关键技术：解决对非局部量的引用（存关键技术：解决对非局部量的引用（存取）。取）。u设法跟踪每个外层过程的最新活动记录设法跟踪每个外层过程的最新活动记录AR的位置。的位置。u跟踪办法：跟踪办法： 1. 用静态链（如用静态链（如PL/0的的SL）。）。 2. 用用DISPLAY表。

15、表。const a=10;const a=10;var var b,c;b,c;procedure p;procedure p; beginbegin c:=b+a; c:=b+a; end; end;beginbegin read(b); read(b); while while b#0b#0 do do begin begin call p; call p; write(2 write(2* *c);c); read(b); read(b); end endend.end.( 0) ( 0) jmpjmp 0 8 0 8 转向转向主程序入口主程序入口( 1) ( 1) jmpjmp 0 2

16、 0 2 转向转向过程过程p p入口入口( 2)( 2) intint 0 3 0 3 过程过程p p入口入口, ,为过程为过程p p开辟空间开辟空间( 3) ( 3) lodlod 1 1 3 3 取变量取变量b b的值到栈顶的值到栈顶( 4) ( 4) lit 0 10 lit 0 10 取常数取常数1010到栈顶到栈顶( 5) ( 5) opropr 0 2 0 2 次栈顶与栈顶相加次栈顶与栈顶相加( 6) ( 6) stosto 1 1 4 4 栈顶值送变量栈顶值送变量c c中中( 7) ( 7) opropr 0 0 0 0 退栈并返回调用点退栈并返回调用点(16)(16)( 8)(

17、 8) intint 0 5 0 5 主程序入口开辟主程序入口开辟5 5个栈空间个栈空间( 9) ( 9) opropr 0 16 0 16 从命令行读入值置于栈顶从命令行读入值置于栈顶(10) (10) stosto 0 3 0 3 将栈顶值存入变量将栈顶值存入变量b b中中(11) (11) lodlod 0 3 0 3 将变量将变量b b的值取至栈顶的值取至栈顶(12) (12) lit 0 0 lit 0 0 将常数值将常数值0 0进栈进栈(13) (13) opropr 0 9 0 9 次栈顶与栈顶是否不等次栈顶与栈顶是否不等(14) (14) jpcjpc 0 24 0 24 等时

18、转等时转(24)(24)（条件不满足转条件不满足转）(15) (15) cal 0 2cal 0 2 调用过程调用过程p p(16) lit 0 2 (16) lit 0 2 常数值常数值2 2进栈进栈(17) (17) lodlod 0 0 4 4 将变量将变量c c的值取至栈顶的值取至栈顶(18) (18) opropr 0 4 0 4 次栈顶与栈顶相乘次栈顶与栈顶相乘(2(2* *c)c)(19) (19) opropr 0 14 0 14 栈顶值输出至屏幕栈顶值输出至屏幕(20) (20) opropr 0 15 0 15 换行换行(21) (21) opropr 0 16 0 16

19、从命令行读取值到栈顶从命令行读取值到栈顶(22) (22) stosto 0 0 3 3 栈顶值送变量栈顶值送变量b b中中(23) (23) jmpjmp 0 11 0 11 无条件转到循环入口无条件转到循环入口(11)(11)(24) (24) opropr 0 0 0 0 结束退栈结束退栈目标代码解释执行时数据栈的布局（运行栈的存储分配）每个过程的每个过程的ARAR有有3 3个联系单元：个联系单元：SLSL： 静态链静态链，指向，指向定义定义该过程的该过程的直接外过程直接外过程 （或主程序）运行时（或主程序）运行时最新最新数据段的基地址数据段的基地址。DLDL： 动态链动态链，指向，指向

20、调用调用该过程前正在运行过该过程前正在运行过 程的数据段基地址。程的数据段基地址。RARA： 返回地址返回地址，记录调用该过程时，记录调用该过程时目标程序目标程序的的断点断点，即调用过程指令的下一条指令的地址，即调用过程指令的下一条指令的地址。局部变量中间结果 目标代码的解释执行 运行栈SuM M调用过程调用过程P P RA RA DL DL SL SLb. ttbPM解决对非局部量的引用（存取）用Display表Display表表-嵌套层次显示表嵌套层次显示表当前激活过程的层次为当前激活过程的层次为K，它的它的Display表含有表含有K+1个单元，依次存个单元，依次存放着现行层，直接外层放

21、着现行层，直接外层直至最外层的每一过程的最新活动记录直至最外层的每一过程的最新活动记录的基地址的基地址例：例：program main(i,0); 程序结构图程序结构图 proc R(c,d); R end /*R*/ proc P (a); 主主 proc Q (b); P Q call R R(x,y); end /*Q*/ call Q Q(z); call P end /*P*/ call R P（W）；）； R（U，V）；）； end /*main*/用Display表的方案(1)主程序主程序-(2)P-(3)Q-(4)R P 的的活动记录活动记录主程序的主程序的活动记录活动记录 d

22、1d0displaysptop主程序的主程序的活动记录活动记录 d0spdisplaytop（1）（2）用Display表的方案u主程序主程序-P-Q-RR 的的活动记录活动记录 Q 的的活动记录活动记录 P 的的活动记录活动记录主程序的主程序的活动记录活动记录Q 的的活动记录活动记录 P 的的活动记录活动记录主程序的主程序的活动记录活动记录 displayd2d1d0 d1d0 displaysptoptopsp（3）（4）DISPLAY表的维护和建立 DISPLAY表表d 运行栈运行栈 0 主程活动记录地址主程活动记录地址 1 R活动记录地址活动记录地址 . 0 老老 SP 1 返回地址返

23、回地址 2 全局全局 DISPLAY地址地址 3 参数个数参数个数 4形式单元形式单元 . . . d DISPLAY . . . 简单变量简单变量 数组内情向量数组内情向量 临时变量临时变量 当过程的层次为当过程的层次为n，它的它的 display为为n+1个个值。值。 一个过程被调用时，一个过程被调用时，从调用过程的从调用过程的DISPLAY表中自下向表中自下向上抄录上抄录n个个SP值，再加值，再加上本层的上本层的SP值。值。全局全局DISPLAY地址地址 分分程序结构程序结构Procedure A(m,n); integer m,n; B1:begin real z; array Bm:

24、n; B2:begin real d, e; L3: 2 end; B4:begin array C1:m; 1 B5:begin real e; L6: 5 4 end; end; L8:end; 分程序结构的存储分程序结构的存储分配方案分配方案 处理分程序结构存储分配方案的一种简单办法是，把处理分程序结构存储分配方案的一种简单办法是，把分程序看成分程序看成 “无名无参过无名无参过 程程”，它在哪里定义就在哪里被，它在哪里定义就在哪里被调用。因此，可以把处理过程的存储办法应用到处理分程调用。因此，可以把处理过程的存储办法应用到处理分程序中。但这种做法是极为低效的。序中。但这种做法是极为低效的

25、。 一则，每逢进入一则，每逢进入 一个分程序，就照样建立连接数据和一个分程序，就照样建立连接数据和DISPLAY表表,这是不必要的。这是不必要的。 二则二则 ，当从内层分程序向外，当从内层分程序向外层转移时，可能同时要结束若干个分程序。层转移时，可能同时要结束若干个分程序。 按照过程处理办法，意味着必须一层一层地通过按照过程处理办法，意味着必须一层一层地通过“返返回回” 来恢复所要到达的那个分程序的数据区，但不能直接来恢复所要到达的那个分程序的数据区，但不能直接到达。到达。例如：如果有一个从第例如：如果有一个从第5层分程序转出到达第层分程序转出到达第1层分程序的层分程序的标号标号L，虽然在第虽

26、然在第5层分程序工作时知道层分程序工作时知道L所属的层数，我所属的层数，我们极易从们极易从DISPLAY中获得第中获得第1层分程序的活动记录基址层分程序的活动记录基址（SP），），但是怎么知道第但是怎么知道第1层分程序进入时的层分程序进入时的TOP呢？唯一呢？唯一的办法是从的办法是从 5,4,3和和2各层顺序退出。但这种办法是很浪费时各层顺序退出。但这种办法是很浪费时间的。间的。 为了解决上述问题，可采取两种措施。第一为了解决上述问题，可采取两种措施。第一，对每个过程或分程序都建立有自己的栈，对每个过程或分程序都建立有自己的栈顶指示器顶指示器TOP，代替原来仅有过程的栈顶代替原来仅有过程的栈顶

27、指示器指示器, 每个每个TOP的值保存在各自活动记的值保存在各自活动记录中。这样，上述的第二个问题便可解决录中。这样，上述的第二个问题便可解决。第二，不把分程序看作。第二，不把分程序看作“无参过程无参过程”，每个分程序享用包围它的那个最近过程的每个分程序享用包围它的那个最近过程的DISPLAY。每个分程序都隶属于某个确定每个分程序都隶属于某个确定的过程，分程序的层次是相对于它所属的的过程，分程序的层次是相对于它所属的那个过程进行编号的。那个过程进行编号的。： 每个过程被当作是每个过程被当作是0层分程序。而过程体分程序（假定层分程序。而过程体分程序（假定是一个分程序）当作是它所管辖的第是一个分程

28、序）当作是它所管辖的第1层分程序。层分程序。这样，每个过程的活动记录所含的内容有：这样，每个过程的活动记录所含的内容有：1.过程的过程的TOP值，它指向过程活动记录的栈顶位置。值，它指向过程活动记录的栈顶位置。2.连接数据，共四项：连接数据，共四项： （1)老老SP值；值；（2)返回地址；返回地址； (3)全局全局DISPAY地址；地址；（4)调用时的栈顶单元地址，老调用时的栈顶单元地址，老TOP。 3. 参数个数和形式单元参数个数和形式单元 4. DISPAY表。表。5. 过程所辖的各分程序的局部数据单元。过程所辖的各分程序的局部数据单元。 对于每个分对于每个分程序来说，它们包括：程序来说，

29、它们包括：（1)分程序的分程序的TOP值。当进入分程序时它含现行栈顶地值。当进入分程序时它含现行栈顶地址，以后，用来定义栈的新高度（分程序的址，以后，用来定义栈的新高度（分程序的TOP值）；值）；（2)分程序的局部变量，分程序的局部变量， 数组内情向量和临时工作单元。数组内情向量和临时工作单元。 变 量 e B5 的 T O P 数 组 C 的 内 情 向 量 变 量 e 和 d B4 的 T O PB2的 TOP 数 组 B 的 内 情 向 量 变 量 zKB1 的 T O PDD I S P L A Y6形 式 单 元 m,n5参 数 个 数：24调 用 时 的 栈 顶 地 址（老 T O

30、 P）3全 局 D I S P L A Y 地 址2返 回 地 址1老 S P0过 程 的 T O P，指 向 活 动 记 录 之 顶B的 内 情 向 量 Z B1的 T O PD I S P L A YD I S P L A Y 形 式 单 元 m , n 2 形 式 单 元 m , n 2连 接 数 据连 接 数 据 A 的 T O PA的 T O P (a) (b)(a) 到 达 标 号 B1处 ; (b)进 入 分 程 序 B1;B Z B1T O 数 组 B 数 组 B e dB22的 T O PB 的 内 情 向 量B 的 内 情 向 量 z zB1 的 T O PB1的 T O

31、PD I S P L A YD I S P L A Y 形式单元 m,n 2 形式单元 m,n 2连 接 数 据连接 数 据A 的 T O PA 的 T O P (c) (d)(c )数组 B 分配之后； （d）进入分程序 B22; 数 组C 数 组 C 数 组B 数 组 B C的 向 量 内 情 eB5的T O PC 的 内 情 向 量B4的T O PB4的T O PB 的 内 情 向 量B的 内 情 向 量 z ZB1的T O PB1 的T O PD I S P L A YD I S P L A Y 形式单元 m,n 2 形式单元 m,n 2连接数据连 接 数 据A的T O PA的T O

32、P (e) (f)(e)进入分程序B4分配数组C之后； (f)进入分程序B5 。 参数传递参数传递(1)procedure exchangel(i,j:integer);(2) var x:integer;(3) begin;(4) x:=ai; ai:=aj; aj:=x(5) end; 带有非局部变量和形参的带有非局部变量和形参的PASCAL过程过程非局变量非局变量ai和和aj的的值进行交换，值进行交换，i,j为形参（在为形参（在这里是传值）这里是传值） (1)program reference(input,output);(2)var a,b:integer;(3)procedure s

33、wap(var x,y:integer);(4) var temp:integer;(5) begin (6) temp:=x;(7) x:=y;(8) y:=temp(9) end;(10)begin(11) a:=1; b:=2;(12) swap(a,b);(13) writeln(a=,a);writeln(b=,b)(14)end. 带有过程带有过程swap的的PASCAL程序程序 u传地址（变量参数）传地址（变量参数） 例如：过程例如：过程 swap(var x,y:integer); swap(a,b）；（）；（ a,b为为调用时的调用时的实参实参 ） 调用结果调用结果a,b的值

34、被改变。的值被改变。u传值（值调用）传值（值调用）特点是对形式参数的任何运算不影响实参的值。特点是对形式参数的任何运算不影响实参的值。 例如：过程例如：过程 swap(x,y:integer); swap(a,b）；）；其结果：其结果： a,b调用前的值不改变调用前的值不改变。传值的实现传值的实现1.形式参数当作过程的局部变量处理，即在被调过程的活形式参数当作过程的局部变量处理，即在被调过程的活动记录中开辟了形参的存储空间，这些存储位置即是我动记录中开辟了形参的存储空间，这些存储位置即是我们所说的形式单元（用以存放实参）。们所说的形式单元（用以存放实参）。2.调用过程计算实参的值，并将其放在对

35、应形式单元开辟调用过程计算实参的值，并将其放在对应形式单元开辟的空间中。的空间中。3.被调用过程执行时，就像使用局部变量一样使用这些形被调用过程执行时，就像使用局部变量一样使用这些形式单元。式单元。procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用swap(a,b) 过程将不会影响a和b的值。 其结果等价于执行下列运算： x :=a； y :=b； temp :=x； x :=y； y :=temp传地址的实现传地址的实现（call- by- reference )(call-

36、by-address)(call-by-location) 把实在参数的地址传递给相应的形参，即把实在参数的地址传递给相应的形参，即 调用过程把一个指向实参的存储地址的指针传调用过程把一个指向实参的存储地址的指针传递给被调用过程相应的形参。递给被调用过程相应的形参。1实在参数是一个名字，或具有左值的表达式实在参数是一个名字，或具有左值的表达式-传递左值。传递左值。2实在参数是无左值的表达式实在参数是无左值的表达式-计算值，放入一计算值，放入一存储单元，传此存储单元地址。存储单元，传此存储单元地址。3目标代码中，被调用过程对形参的引用变成对目标代码中，被调用过程对形参的引用变成对传递给被调用过程

37、的指针的间接引用。传递给被调用过程的指针的间接引用。procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用swap(i,ai) 其结果等价于执行下列运算： 1把 i和ai的地址分别放到x和y相应的单元a1,a2 ； 2( temp :=x；)temp的内容置为a1所指单元中存的内容； 3 (x :=y;) a1所指单元的内容置为a2所指单元值；4( y :=temp) a2所指单元的内容置为temp的值。 (1)swap(x,y)(2)int *x,*y;(3) int temp;

38、(4) temp=*x; *x=*y; *y=temp;(5)(6)main( )(7) int a=1,b=2;(8) swap(&a,&b);(9) printf(“a is now %d,b is now %dn”,a,b);(10) 在一个值调用过程中使用指针的在一个值调用过程中使用指针的C程序程序在在C程序中无传地址所以用指针实现。程序中无传地址所以用指针实现。过程调用的四元式序列 S call id() ,E Epar T1par T2par Tncall id,n(1)S call id()for 队列.q的 每一项P do gen(par,-,-,p);n:=n

39、+1; gen(call,-,-,entry(id) (2) 1,E把E.place排在.q 的末端；(3) E 过程作为参数传递三种环境：词法环境 传递环境 活动环境 program param(input,output); procedure b(function h(n:integer):integer);(*) var m:integer; begin m:=3; writeln(h(2) endb; procedure c;(*) var m:integer; function f(n:integer):integr;(&) begin f:=m+n endf; begin

40、m:=0; b(f) end c begin c end. u(1)program param(input,output);u(2)procedure b(function h(n:integer):integer);u(3) begin writeln(h(2) endb;u(4)procedure c;u(5) var m:integer;u(6) function f(n:integer):integr;u(7) begin f:=m+n endf;u(8)begin m := 0; b(f) end c;u(9)beginu(10) cu(11)end 图10-27 嵌套过程作为参数传

41、递 param c 存取链 m b 存取链图 10-28 连同存取链一起 传递过程实参值结果传递除了未建立真正的别名之外，这个机制得到的结果与引用传递类似：在过程中复制和使用自变量的值，然后当过程退出时，再将参数的最终值复制回自变量的地址。因此，这个方法有时也被称为复制进，复制出，或复制存储。值结果传递与引用传递的唯一区别在于别名的表现不同。例如，在以下的代码中（C语法）：void p (int x, int y)+x;+y;main()int a=1;p(a,a);return 0;在调用p之后，若使用了引用传递，则a的值为3；若使用了值结果传递，则a的值为2。 名字传递这是传递机制中最复杂

42、的参数了。由于名字传递的思想是直到在被调用的程序真正使用了自变量（作为一个参数）之后才对这个自变量赋值，所以它还称作延尽赋值（delayed evaluation）。因此，自变量的名称或是它在调用点上的结构表示取代了它对应的参数的名字。例如在代码void p (int x)+x;中，若做了一个如p(ai)的调用时，其结果是计算+(ai)。因此，若在p中使用x之前改变i，那么它的结果就与在引用传递或在值结果传递中的不同 int i;int a 10;void p (int x)+i;+x;main ()i=1;a1=1;a2=2;p(ai);return 0;对p的调用的结果是将a2设置为3并保

43、持a1不变。名字传递的解释如下：在调用点上的自变量的文本被看作是它自己右边的函数，生当在被用的过程的代码中到达相应的参数名时，就要计算它。我们总是在调用程序的环境中计算自变，而总是在过程的定义环境中执行过程。建立内情向量，分配内存的目标代码（n维可变数组, type-每个元素占一个字）begin k:=1;n:=1;c:=0; while k=n do begin di:=ui-li+ 1; m:=m*di; c:=c*di+li; 把li,ui和di填进内情向量表区； k:=k+1 end; 申请m个空间, 令首地址为a;把n,c,type ,a填进内情 向量表区end赋值中数组元素的翻译A

44、 V:=EV id | id ,E | EV | id , E | id E结构（记录），抽象数据类型对象类实例变量的存储结构(CIR)class parent | class parent public int a,b,c; | public a,b,c; public void draw() .; | public virtual void draw(); | .class child:public parent | public d,e; | public void sift(); | void draw();堆式动态存储分配堆变量堆空间的管理策略减少碎片的技术空间的释放C+的堆变量In

45、t *Ptr;Ptr=new int(5)； Int *ptr= new int 10Delete ptrDelete ptr堆变量是可以在程序运行时根据需要随时创建或删除的变量#includeClass MyclassPublic: Myclass(); Myclass(int k,int j); void Set(int,int)m=k;n=j; Myclass();Private: int m,n;Myclass:Myclass() Set(0,0);CoutDefaultendl;Myclass:Myclass(int k,int j) Set(k,j);Cout“m=“mendl;M

46、yclass: Myclass() Cout“Destructor”endl;使用new和delete的示例#includeInt main() Cout“one”endl;Myclass *ptr1=new Myclass;Delete ptr1;Cout“two”endl;Ptr1=new Myclass(5,10);Delete ptr1;Return 0; oneDefaltDestructortwom=5Destructor堆式动态存储分配Const int ArraySize=24;/ default sizeClass IntArrayPublic:/operations per

47、formed on arrays IntArray(int sz=ArraySize); IntArray(const IntArray&); IntArray() delete ia; IntArray& operator= (const IntArray&); int& operator (int); int getSize() return size;protected:/internal data representation int size; int * ia; IntArray()函数的实现，引入新的运算符newIntArray:IntArray

48、（int sz) size= sz;/ allocate an integer array of size/ and set ia to point to itia= new int size;/ initialize arrayfor (int i=0;is. next = memptr = mem;memptr-s. usedsize = 1;memptr-s. freesize = MEMSIZE-1;for (p=memptr;(p-s. next!= memptr) &(p-s. freesize s. next);if (p-s. freesize nunits) return NULL;/* no block big enough */newp = p+p-s. usedsize;newp-s. usedsize= nunits;newp-s. freesize = p-s. freesize-nunits;newp-s.next = p-s. next;p-s. freesize=0;p-s. next= newp;memptr=newp;return (void *)(newp+1);void free (void *ap)Header * bp, *p, *prev;bp= (Header *) ap 1;for (prev= memptr, p=me