北京工商大学编译原理第013章.ppt

一. 数据参数(3种参数传递方式) 引址调用 值调用 名调用 传值 得结果 传值得结果 program main var A , B ：integer ; procedure P ( x , y , z ) ; begin y:= y + 1 ; z:= z + x end ; begin A := 2 ; B:= 3 ; P(A + B, A , A ) ; write ( A ) end 将实参的地址传递给对应的形参， 作为形参的地址 形参与实参是别名。 PASCAL:变量参数 C++:引用参数 1. 引用调用（传地址） (1)传值(单向): 实参的值?形参 (2)结果调用(单向): 形参的结果值?实参 (3)传值得结果(双向)： 实参的值?形参 形参的结果值?实参 2. 值调用 3. 名调用（换名） 用实参名字原样替换形参 把实参用括号括起来 若被调用单元的局部变量名与主调单元的变量名发生冲突，则对局部名重新命名 二. 过程参数的传递 （略） 三.类型参数（略） 第十三章习题 13-2、13-4 课程结束 谢谢同学们！ 祝 学业更进一步 考 前 答 疑 安 排 时间、地点 另行通知！ 0 1 2 3 4 5 common main X I 返回地址 J 返回地址 K J ip=5 数据存储器 2 D[3]:=ip+2 ip:=5 ip:=3 noop halt D[4]:=5 D[0]:=6 D[5]:=D[0]+D[4] ip:=D[3] halt 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 common main X I 返回地址 J 返回地址 K J ip=7 数据存储器 6 2 5 D[3]:=ip+2 ip:=5 ip:=3 noop halt D[4]:=5 D[0]:=6 D[5]:=D[0]+D[4] ip:=D[3] halt 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 common main X I 返回地址 J 返回地址 K J ip=2 数据存储器 6 2 5 11 D[3]:=ip+2 ip:=5 ip:=3 noop halt D[4]:=5 D[0]:=6 D[5]:=D[0]+D[4] ip:=D[3] halt 0 1 2 3 4 5 6 7 8 9 第三节 栈式分配 语言特点： 允许递归 允许半动态数组 允许过程嵌套定义 1. 特点： 仅允许递归调用 变量及活动记录长度可静态确定 一个单元可多次激活而有多个实例 单元每次激活时动态建立活动记录 一. 只含半静态变量的栈式分配 (1)设置当前栈指针current 表示当前活动记录的开始位置 (2)指针free 表示数据存储器下一个可用单元 (3)变量绑定于它在活动记录中的常数位移, 通过current变址访问 2. 处理方法 (4)A调用B时， 在A活动记录的栈顶之上建立绑定于B的的活动记录 (5)B结束时 释放其活动记录 ?动态连接： A调用B时，B的活动记录中保存的A的活动记录地址 ?动态链： 由动态连接组成的一个调用链 3. 动态连接和动态链 A E F G F A call E; E call F; F call G; G call F; ... ... ... ... ... (1)保存返回地址 D [ free ] := ip + 5 或 20 (2)保存主调过程的current D [free + 1] := current (3)建立P的current current := free (4)调整free free := free + L (5)转子 ip := C[P,0] P的代码段首地址 4. CALL P 的处理 翻译为5条中间代码 返回地址 动态连接 返回地址 动态连接 A的活动记录 即将建立的 P的活动记录 current free 过程A中调用P时 还未进入过程P 返回地址 动态链 返回地址 动态链 A的活动记录 P的活动记录 current free 进入过程P以后（执行完5条指令）