[工学]编译原理课件chap08陈火旺.ppt

3．传名 传名是高级语言ALGOL 60所定义的一种特殊的参数传递方式，其传递参数的方法如下： (1) 过程调用的作用相当于把被调用过程的过程体复制到调用处(替换调用语句)，并将过程体中所有出现的形式参数在文字上替换成相应的实在参数。这种文字上的替换称为宏扩展(Marcro Expansion)。 第八章 运行时存储空间组织 (2) 被调用过程中的局部名如果与过程调用的实在参数名发生冲突，则在宏扩展前对被调用过程中的这些局部名重新命名以避免重名冲突。 (3) 为表现实在参数的整体性，必要时在替换前把实在参数用括号括起来。 传名这种参数传递方法因其操作过于复杂现在已很少采用。 第八章 运行时存储空间组织 6.5.2 不同参数传递方法的比较 为了描述不同参数传递方法下程序的执行，我们将动态栈和活动记录结合起来简化为一种动态图。采用动态图的方法来对程序的执行进行描述时，即记录主程序和过程(或函数)的调用、运行及撤消各个阶段的状态，以及程序运行期间所有变量和过程(或函数)中传值与传地址的变化过程。动态图规则如下： 第八章 运行时存储空间组织 (1) 动态图纵向描述主程序、过程或函数各层之间的调用关系，横向由左至右按执行的时间顺序记录主程序、过程(或函数)中各变量值的变化情况。 (2) 过程(或函数)的传值的形式参数均看作是带初值的局部变量(也可用箭头来表示实在参数传给形式参数的指向)，其后，形式参数就作为局部变量参与过程(或函数)的操作。对于传地址方式，由于形式参数的作用就像指向实在参数的指针，故动态图中形式参数一律指向与其对应的实在参数变量(注意，两者位于动态图相邻的两层上； 第八章 运行时存储空间组织 如果实在参数为表达式，则用一个临时变量来代表这个表达式)；此后，所有对形式参数的操作都是根据形式参数箭头所指对实参变量进行的。 ? (3) 主程序，过程(或函数)按运行中的调用关系由上向下分层，各层(相当于活动记录)说明的变量(包括形式参数)都依次列于该层首列，各变量值的变化情况按时间顺序记录在与该变量对应的同一行上。 第八章 运行时存储空间组织 以下面的程序为例，对三种参数传递方法进行比较。 program parament; int: A,B procedure P(x,y,z); { Y=Y+1; Z=Z+X } { 第八章 运行时存储空间组织 A=2; B=3; P(A+B,A,A); print A } (1) 传值：用T代表A+B的临时变量，则对图6–17所示的动态图分析得A=2。 (2) 传地址：用T代表A+B的临时变量，则对图6–18所示的动态图分析得A=8。 第八章 运行时存储空间组织 图6–17 传值时的动态图 第八章 运行时存储空间组织 图6–18 传地址时的动态图 第八章 运行时存储空间组织 (3) 传名：由于传名时的过程调用就是把过程体抄到调用出现的地方，所以实际执行的程序为： A=2; B=3; A=A+1; /*形参Y换成A*/ A=A+(A+B); /*形参Z换成A，形参X换成(A+B)*/ print A 经分析得A=9。 第八章 运行时存储空间组织 不同的参数传递方法得到的结果不同，因此，如何选择参数传递的方法将影响语言的语义，这是编译程序在处理参数传递时应引起重视的问题。 第八章 运行时存储空间组织 由图8–11可以看出，指针SP总是指向当前正在执行过程的活动记录起点，控制链(老SP)则指向调用运行过程的父过程的活动记录起点。因此，当运行过程调用结束返回时，利用控制链老SP值可以得到调用前原父过程活动记录的起点。从程序的静态结构来看，P是S和Q的静态直接外层，所以，S和Q活动记录中的存取链均指向其直接外层P的活动记录起点。 第八章 运行时存储空间组织 图8–11 过程调用时运行栈的变化 第八章 运行时存储空间组织 例8.1 某程序的结构如图8–12所示，其中A、B、C为过程名，请分别画出过程C调用A前后的栈顶活动记录。 第八章 运行时存储空间组织 图8–12 例8.1的程序结构示意 第八章 运行时存