第10章存储组织.pptVIP

(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 /*reference*/ (11) a:=1; b:=2; (12) s); (13) writeln(‘a=‘,a);writeln(‘b=‘,b) (14) end. /*swap*/ 10.4 过程调用的参数传递 过程参数以传地址方式被调用的PASCAL程序 第三十一页，共八十页。 传地址（变量参数） 例如：过程 s x,y:integer); s）；（ a,b为调用时的实参 ） 调用结果a,b的值被改变。 传值（值调用） 例如：过程 s); 特点是对形式参数的任何运算不影响实参的值。 s）；其结果： a,b调用前的值不改变。 10.4 过程调用的参数传递 第三十二页，共八十页。 传值的实现 1.形式参数当作过程的局部变量处理，即在被调过程的活动记录中开辟形参的存储空间，这些存储位置即是我们所说的形式单元（用以存放实参）。 2.调用过程计算实参的值，并将其放在对应形式单元开辟的空间中。 3.被调用过程执行时，就像使用局部变量一样使用这些形式单元。 10.4 过程调用的参数传递 第三十三页，共八十页。 procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用s) 过程将不会影响a和b的值。 其结果等价于执行下列运算： x :=a； y :=b； temp :=x； x :=y； y :=temp 10.4 过程调用的参数传递 第三十四页，共八十页。 传地址的实现 把实参的地址传递给相应的形参，即调用过程把一个指向实参的存储地址的指针传递给被调用过程相应的形参： 1、实参是一个名字，或具有左值的表达式——传递左值 2、实在参数是无左值的表达式——计算值，放入到一存储单元，传此存储单元地址 3、目标代码中，被调用过程对形参的引用变成对传递给被调用过程的指针的间接引用 10.4 过程调用的参数传递 第三十五页，共八十页。 procedure s x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用s[i]) 其结果等价于执行下列运算： 1.把 i和a[i]的地址分别放到x和y相应的单元a1,a2 2.( temp :=x；)temp的内容置为a1所指单元中存的内容 3.(x :=y;) a1所指单元的内容置为a2所指单元值 4.( y :=temp) a2所指单元的内容置为temp的值 10.4 过程调用的参数传递 第三十六页，共八十页。 (1)s) (2)int *x,*y; (3){ int temp; (4) temp=*x; *x=*y; *y=temp; (5)} (6)main( ) (7){ int a=1,b=2; (8) s); (9) printf(“a is now %d,b is now %d\n”,a,b); (10)} 在一个值调用过程中使用指针的C程序在C程序 中无传地址所以用指针实现。 10.4 过程调用的参数传递 第三十七页，共八十页。 值结果传递 除了未建立真正的别名之外，这个机制得到的结果与引用传递类似：在过 程中复制和使用自变量的值，然后当过程退出时，再将参数的最终值复制回自变量的地址。因此，这个方法有时也被称为复制进，复制出，或复制存储。 值结果传递