编译原理课件chap08(陈火旺).ppt

2．传地址 所谓传地址，是指把实在参数的地址传递给相应的形式参数所对应的形式单元。如果实在参数是一个变量(包括下标变量)，则直接将该变量的地址传给相应的形式单元；如果实在参数是常数或表达式，则先计算其值并存放在某一临时单元中，然后将这个临时单元的地址传给相应的形式单元。被调用过程执行时，对形式参数的任何引用或赋值都被处理成对形式单元的间接访问，即按形式单元中存放的地址转到调用过程的活动记录中去访问实在参数。 第八章 运行时存储空间组织 对形式参数的任何运算实际上都是对实在参数的运算，而形式参数只不过起到辅助查找到实在参数的指针的作用。因此，当被调用过程工作完毕返回时，形式单元所指的实在参数单元就保留了运算的结果。 第八章 运行时存储空间组织 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。 第八章 运行时存储空间组织 不同的参数传递方法得到的结果不同，因此，如何选择参数传递的方法将影响语言的语义，这是编译程序在处理参数传递时应引起重视