运行时存储空间经济组织.pptVIP

第三十一页，共五十四页。 参数传递 (1)procedure exchangel(i,j:integer); (2) var x:integer; (3) begin; (4) x:=a[i]; a[i]:=a[j]; a[j]:=x (5) end; 带有非局部变量和形参的PASCAL过程 非局变量a[i]和a[j]的值进行交换，i,j为形参（在这里是传值） 第三十二页，共五十四页。 (1)program reference(input,output); (2)var a,b:integer; (3)procedure swap({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程序 第三十三页，共五十四页。 传地址（变量参数） 例如：过程 swap(var x,y:integer); swap(a,b）；（ a,b为调用时的实参 ） 调用结果a,b的值被改变。 传值（值调用） 特点是对形式参数的任何运算不影响实参的值。 例如：过程 swap(x,y:integer); swap(a,b）；其结果： a,b调用前的值不改变。 第三十四页，共五十四页。 传值的实现 1.形式参数当作过程的局部变量处理，即在被调过程的活动记录中开辟了形参的存储空间，这些存储位置即是我们所说的形式单元（用以存放实参）。 2.调用过程计算实参的值，并将其放在对应形式单元开辟的空间中。 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-by-address)(call-by-location) 把实在参数的地址传递给相应的形参，即 调用过程把一个指向实参的存储地址的指针传递给被调用过程相应的形参： 1实在参数是一个名字，或具有左值的表达式----传递左值 2实在参数是无左值的表达式----计算值，放入一存储单元，传此存储单元地址 3目标代码中，被调用过程对形参的引用变成对传递给被调用过程的指针的间接引用 第三十七页，共五十四页。 procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用swap(i,a[i]) 其结果等价于执行下列运算： 1把 I和a[i]的地址分别放到x和y相应的单元a1,a2 2( temp :=x；)temp的内容置为a1所指单元中存的内容 3 (x :=y;) a1所指单元的内容置为a2所指单元值 4( y :=temp) a2所指单元的内容置为temp的值 第三十八页，共五十四页。 第九章 运行时存储空间组织 第一页，共五十四页。 概述 任务：编译程序对目标程序运行时的数据空间的组织和管理（设计运行环境和分配存储） 如 通常栈式存储分配布局可为： 目标代码区 静态数据区 Stack heap 第二页，共五十四页