编译原理 符号表5.ppt

《编译原理 符号表5.ppt》由会员分享，可在线阅读，更多相关《编译原理 符号表5.ppt（48页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第第9 9章符号表管理和错误处理章符号表管理和错误处理1.1.明确符号表的作用、内容、组织明确符号表的作用、内容、组织2.2.明确错误处理的两种方法：错误校正和局部化处理明确错误处理的两种方法：错误校正和局部化处理教学目标教学目标9.1 9.1 符号表管理符号表管理9.2 9.2 错误处理错误处理教学内容教学内容编译程序中使用最多的数据结构是表编译程序中使用最多的数据结构是表源程序中的各种信息，以便查询或修改源程序中的各种信息，以便查询或修改在这些表中，尤以在这些表中，尤以符号表符号表最为重要最为重要生存期最长生存期最长使用最为频繁使用最为频繁 9.19.1符号表管理符号表管理9.1.1 符号

2、表的作用和内容符号表的作用和内容 作用：作用：（1）收集符号的各种信息）收集符号的各种信息（2）语义检查的依据）语义检查的依据（3）目标代码生成阶段地址分配的依据）目标代码生成阶段地址分配的依据 内容：内容：名字栏信息栏名字栏信息栏 9.1.2 符号表的组织符号表的组织 操作：操作：（1）向表中填入一个新标识符。）向表中填入一个新标识符。（2）对于给定一个标识符：）对于给定一个标识符：查找是否在表中；查找是否在表中；访问它在表中的相关信息；访问它在表中的相关信息；在表中填写或更新它的某些信息。在表中填写或更新它的某些信息。（3）更新或删除一个或一组无用的项。）更新或删除一个或一组无用的项。9.

3、1.2 符号表的组织符号表的组织 符号表的总体组织：符号表的总体组织：（1）多张）多张（2）一张一张 （3）前两种的折中）前两种的折中符号表项的组织：符号表项的组织：（1）线性组织）线性组织（2）排序组织）排序组织 （3）散列组织）散列组织:效率高，为多数编译程序采用效率高，为多数编译程序采用Hash表的基本思想是：表的基本思想是：p为符号表设置一个足够大的空间为符号表设置一个足够大的空间Mp为符号构造一个散列函数为符号构造一个散列函数Hash(Ki)，使得使得0 Hash(Ki)M-1,i=1，2，np这样查找这样查找Ki时，时，Hash(Ki)就决定了就决定了Ki在符号表中在符号表中的位置

4、的位置 构造构造Hash函数的方法：函数的方法：p将标识符中的每个字符转换为一个非负整数将标识符中的每个字符转换为一个非负整数p将得到的各个整数组合成一个整数（可以将第一将得到的各个整数组合成一个整数（可以将第一个、中间的和最后一个字符值加在一起，也可以将个、中间的和最后一个字符值加在一起，也可以将所有字符的值加起来）所有字符的值加起来）p将结果数调整到将结果数调整到0M-1范围内，可以利用取模的方范围内，可以利用取模的方法，法，Ki%M（M为素数）为素数）解决地址冲突的方法：解决地址冲突的方法：由于用户定义标识符的随机性，由于用户定义标识符的随机性，Hash函数值在函数值在0M-1范围内范围

5、内不一定唯一不一定唯一若两个标识符具有相同的函数值，则可用开放地址法或链地若两个标识符具有相同的函数值，则可用开放地址法或链地址法解决冲突，有关内容可以参考址法解决冲突，有关内容可以参考数据结构数据结构的教材。的教材。词法词法错误错误语法语法错误错误语义语义错误错误违反了语言的环境限制违反了语言的环境限制数组维数太大数组维数太大循环嵌套层数太多循环嵌套层数太多6.26.2错误处理错误处理词法错误、语法错误和语义错误词法错误：不合法单词词法错误：不合法单词例：mian()int 3sum;语法错误：语法错误：源程序在语法上不符合文法源程序在语法上不符合文法例：例：Ax,y =B+*C超越系统限制

6、：超越系统限制：(计算机系统和编译系统计算机系统和编译系统)1.数据溢出错误，常数太大，计算结果溢出。数据溢出错误，常数太大，计算结果溢出。2.符号表、静态存储分配数据区溢出符号表、静态存储分配数据区溢出。3.动态存储分配数据区溢出。动态存储分配数据区溢出。语义规则语义规则1.标识符先说明后引用标识符先说明后引用2.标识符引用要符合作用域规定标识符引用要符合作用域规定3.过程调用时实参与形参类型一致过程调用时实参与形参类型一致4.参与运算的操作数类型一致参与运算的操作数类型一致5.下标变量的下标不能越界下标变量的下标不能越界语义错误主要包括：语义错误主要包括：程序不符合语义规则程序不符合语义规

7、则或或 超越具体计算机系统的限制超越具体计算机系统的限制错误处理方法有两种：错误处理方法有两种：错误校正法：错误校正法：根据文法进行错误改正根据文法进行错误改正错误局部化法：错误局部化法：把错误的影响限制在一个局部的范围，避免把错误的影响限制在一个局部的范围，避免错误扩散和影响程序其他部分的分析错误扩散和影响程序其他部分的分析错误局部化法错误局部化法词法分析：词法分析：发现不合法字符，显示错误，并跳发现不合法字符，显示错误，并跳 过该过该标识符标识符(单词单词)继续往下分析。继续往下分析。语法语义分析：语法语义分析：跳过所在的语法成分跳过所在的语法成分(短语或语短语或语 句句)，一般是，一般是

8、跳到语句右界符跳到语句右界符，然后从新语句继续往下分析。然后从新语句继续往下分析。错误局部化处理的实现（递归下降分析法）错误局部化处理的实现（递归下降分析法）err:全局变量，存放错误信息。全局变量，存放错误信息。用递归下降分析时，如果发现错误，便将有关用递归下降分析时，如果发现错误，便将有关错误信息（错误信息（字符串或者编号字符串或者编号）送）送err，然后转错然后转错误处理程序；误处理程序；出错程序先打印或显示出错位置以及出错信息，出错程序先打印或显示出错位置以及出错信息，然后跳出一段源程序然后跳出一段源程序,直到跳到语句的右界符或直到跳到语句的右界符或正在分析的语法成分的合法后继符号为止

9、正在分析的语法成分的合法后继符号为止,然后然后再往下分析。再往下分析。if_ statement()getsym();/*读下个单词符号读下个单词符号*/C();/*表达式处理程序表达式处理程序*/if not sym=“then”err:=“缺缺then”;error();/*出错处理程序出错处理程序*/else getsym();statement();if sym=“else”getsym();statement();if then else;error()printf(linecnt,err);do getsym();while(sym!=“;”or sym!=“end”)发现错误立即

10、跳到语句结尾发现错误立即跳到语句结尾处处(语句右界符语句右界符 ;或或end),这这样处理较粗糙样处理较粗糙,将跳过太多；将跳过太多；上例中上例中,缺缺then,就将跳过整就将跳过整个条件语句个条件语句,使得使得then后的语后的语句都被跳过而不分析句都被跳过而不分析,其中有其中有错误就发现不了错误就发现不了(3)提高错误局部化程度的方法提高错误局部化程度的方法设设 S1:合法后继符号集合法后继符号集(某语法成分的后继符号某语法成分的后继符号)S2:停止符号集停止符号集 (跳读必须停止的符号集跳读必须停止的符号集)error(S1,S2)printf(linecnt,err);do getsy

11、m();while(sym not in S1 or not in S2)若若有错有错,则可跳到则可跳到then若若statement有错有错,则可跳到则可跳到elseif then else;编译程序在其工作过程中使用最多的数据结构是编译程序在其工作过程中使用最多的数据结构是表表，在这些表中，在这些表中，符号表符号表最为重要，它的生存期最长、使最为重要，它的生存期最长、使用最频繁。用最频繁。掌握符号表的作用、内容、组织（多采用掌握符号表的作用、内容、组织（多采用散列法散列法）明确错误处理的两种方法：明确错误处理的两种方法：错误校正和局部化处理错误校正和局部化处理了解局部化处理方法的实现了解局

12、部化处理方法的实现小结小结第第1010章章目标程序运行时的存储组织目标程序运行时的存储组织1.1.全面了解目标程序运行时存储区的整体布局；每种存全面了解目标程序运行时存储区的整体布局；每种存储区的组织方式和管理方法；储区的组织方式和管理方法；2.2.参数传递的几种方式参数传递的几种方式教学目标教学目标第十章 目标程序运行时的存储组织10.1 10.1 数据空间的使用与管理数据空间的使用与管理数据空间的使用和管理方法分成二种：数据空间的使用和管理方法分成二种：1)静态存储分配静态存储分配2)动态存储分配动态存储分配栈式动态存储分配栈式动态存储分配堆式动态存储分配堆式动态存储分配如果一个名字的性质

13、通过说明语句或隐式隐式或显显式式规则而定义，则称这种性质是“静态”确定的。在编译时就能编译时就能确定目标程序运行中所需所需的全部数据空间数据空间的大小大小，并安排好安排好目标程序运行时的全部数据空间全部数据空间，确定确定每个数据对象数据对象的存储位置存储位置，这种分配策略为静态存储分配静态存储分配。10.1.1 静态存储分配静态存储分配 动态存储管理技术有两种方式：动态存储管理技术有两种方式：栈式（栈式（stack）堆式（堆式（heap）10.1.2 动态存储分配动态存储分配 如果一个程序设计语言允许递归过程、可变数组或允许用户自由申请和释放空间，那么，就需要采用动态存储管理技术。因为对于这种

14、程序在编译时无法知道在编译时无法知道它在运行时需要多大的存储空间，它所需要的数据空间的大小需待程序运行时动态地确定。若一个数组所需的存储空间的大小在编译时就已知道，则称它为确定数组，否则称为可变数组。栈式动态存储分配策略适用于栈式动态存储分配策略适用于PASCALPASCAL，C/C+C/C+，ALGOLALGOL之类之类具有具有递归结构递归结构的语言的实现。的语言的实现。将整个程序的数据空间设计为一个栈。在具有递归结构的程将整个程序的数据空间设计为一个栈。在具有递归结构的程序中，当调用一个过程时，所需的数据空间分配在栈顶，当序中，当调用一个过程时，所需的数据空间分配在栈顶，当过程结束时释放空

15、间。过程结束时释放空间。栈式动态存储分配栈式动态存储分配过程所需数据空间包括两部分：（1）生存期在本过程这次活动中的）生存期在本过程这次活动中的数据对象数据对象（2）用以管理过程活动的）用以管理过程活动的记录信息记录信息。即当一次过程调用出现。即当一次过程调用出现时，调用该过程的那个过程的活动即被中断，当前机器的时，调用该过程的那个过程的活动即被中断，当前机器的状态信息，诸如程序计数器（返回地址）、寄存器的值等，状态信息，诸如程序计数器（返回地址）、寄存器的值等，都必须保留在栈中。当控制从调用返回时，便根据栈中记都必须保留在栈中。当控制从调用返回时，便根据栈中记录的信息恢复机器状态，使该过程的

16、活动继续录的信息恢复机器状态，使该过程的活动继续如果一个程序语言提供用户自由地申请数据空间和退还数如果一个程序语言提供用户自由地申请数据空间和退还数据空间的机制，如据空间的机制，如+中的中的newnew，deletedelete等机制，或者不仅等机制，或者不仅有过程而且有进程的程序结构的情况下，空间的使用未必有过程而且有进程的程序结构的情况下，空间的使用未必服从服从“先申请后释放，后申请先释放先申请后释放，后申请先释放”的原则，那么栈式的原则，那么栈式的动态分配方案就不适用了。的动态分配方案就不适用了。通常使用一种称为堆式的动态存储分配方案。通常使用一种称为堆式的动态存储分配方案。堆式动态存储

17、分配定长块管理定长块管理变长块管理变长块管理堆式动态储分配的实现堆式动态储分配的实现定长块管理定长块管理 堆式动态存储分配最简单的实现是按堆式动态存储分配最简单的实现是按定长块定长块进行。进行。（1 1）初始化时，）初始化时，将堆存储空间分成长度相等的若干块将堆存储空间分成长度相等的若干块，每块中指定一个链域，按照邻块的顺序把所有块链成每块中指定一个链域，按照邻块的顺序把所有块链成一个链表，用指针一个链表，用指针availableavailable指向链表中的指向链表中的第一块第一块。（2 2）分配时每次都分配指针）分配时每次都分配指针availableavailable所指的块，然后所指的块

18、，然后availableavailable指向相邻的下一块。指向相邻的下一块。（3 3）归还时，把所归还的块插入链表。考虑插入方便，）归还时，把所归还的块插入链表。考虑插入方便，可以把所归还的块插在可以把所归还的块插在availableavailable所指的块之前，然后所指的块之前，然后availableavailable指向新归还的块。指向新归还的块。变长块管理变长块管理可以根据需要，分配长度不同的存储块，可以随要求而变可以根据需要，分配长度不同的存储块，可以随要求而变（1 1）按这种方法，初始化时存储空间是一个整块。按照）按这种方法，初始化时存储空间是一个整块。按照用户的需要，分配时先是

19、从一个整块里分割出满足需要的用户的需要，分配时先是从一个整块里分割出满足需要的一小块，以后，归还时，如果新归还的块能和现有的空间一小块，以后，归还时，如果新归还的块能和现有的空间能合并，则合并成一块；能合并，则合并成一块；（2 2）如果不能和任何空闲块合并，则可以）如果不能和任何空闲块合并，则可以把空闲块链成把空闲块链成一个链表一个链表。再进行分配时，从。再进行分配时，从空闲块链表空闲块链表中找出满足需要中找出满足需要的一块，或者整块分配出去，或者从该块上分割一小块分的一块，或者整块分配出去，或者从该块上分割一小块分配出去。配出去。首次满足法最优满足法最差满足法？若空闲块表中有若干个满足需要的

20、空闲块，若空闲块表中有若干个满足需要的空闲块，该分配哪一块呢？通常有三种不同的分配策：该分配哪一块呢？通常有三种不同的分配策：（1 1）首次满足法）首次满足法只要在空闲块链表中找到满足需要的一只要在空闲块链表中找到满足需要的一块，就进行分配。块，就进行分配。如果该块很大，则按申请的大小进行分如果该块很大，则按申请的大小进行分割，剩余的块仍留在空闲块链表中割，剩余的块仍留在空闲块链表中如果该块不很大，比如说，比申请的块如果该块不很大，比如说，比申请的块大不了几个字节，则整块分配出去，以免大不了几个字节，则整块分配出去，以免使空闲链表中留下许多无用的小碎块。使空闲链表中留下许多无用的小碎块。（2）

21、最优满足法最优满足法将空闲块链表中一个将空闲块链表中一个不小于不小于申请块且申请块且最接近于最接近于申请块申请块的空闲块分配给用户。的空闲块分配给用户。系统在分配前首先对空闲块链表从头至尾描一遍，从系统在分配前首先对空闲块链表从头至尾描一遍，从中找出一块不小于申请块且最接近于申请块的空闲块分中找出一块不小于申请块且最接近于申请块的空闲块分配。配。在用最优满足法进行分配时，为避免每次分配都要扫描在用最优满足法进行分配时，为避免每次分配都要扫描整个链表，通常整个链表，通常将空闲块链表空间的大小从小到大排序将空闲块链表空间的大小从小到大排序。这样，只要找到这样，只要找到第一块第一块大小申请块的空闲块

22、即可进行大小申请块的空闲块即可进行当然，在回收时将释放的空闲块插入到链表的适当位当然，在回收时将释放的空闲块插入到链表的适当位置上去。置上去。（3 3）最差满足法）最差满足法将空闲块表中将空闲块表中不小于申请块且是最大的空闲块不小于申请块且是最大的空闲块的一的一部分分配给用户。部分分配给用户。假设空闲块链表按大小从大到小排序，每次分配只假设空闲块链表按大小从大到小排序，每次分配只需删除第一个结点，将其中一部分分配给用户，其它需删除第一个结点，将其中一部分分配给用户，其它部分作为新的结点插入到空闲块表的适当置上去。部分作为新的结点插入到空闲块表的适当置上去。三种分配策略比较三种分配策略比较1.1

23、.从空间上来看：从空间上来看：最优满足法适用于请求分配的内存大小范围较广的系统。最优满足法适用于请求分配的内存大小范围较广的系统。按最优满足法分配时，总是找大小最接近于请求的空闲块，按最优满足法分配时，总是找大小最接近于请求的空闲块，可能产生一些存储量很小而无法利用的小片内存，保留那可能产生一些存储量很小而无法利用的小片内存，保留那些很大的内存块以备响应后面可能发生的内存量较大的请些很大的内存块以备响应后面可能发生的内存量较大的请求。求。最差满足法每次都是从内存最大的结点开始分配，从而使最差满足法每次都是从内存最大的结点开始分配，从而使链表中的结点趋于均匀。因此，它适用于请求分配的内存链表中的

24、结点趋于均匀。因此，它适用于请求分配的内存大小范围较窄的系统。大小范围较窄的系统。首次满足法的分配是随机的，介于两者之间，通常适用于首次满足法的分配是随机的，介于两者之间，通常适用于系统事先不掌握运行期间可能出现的请求分配和释放的信系统事先不掌握运行期间可能出现的请求分配和释放的信息情况。息情况。2.从时间上来看从时间上来看首次满足法在分配时需查询空闲块链表，而回收时仅首次满足法在分配时需查询空闲块链表，而回收时仅需插入到表头即可。需插入到表头即可。最差满足法恰好相反，分配时无需查表，回收时则为最差满足法恰好相反，分配时无需查表，回收时则为将新的空闲块插入表中适当的位置，需先进行查找。将新的空

25、闲块插入表中适当的位置，需先进行查找。最优满足法则不论分配与回收，均需查找链表，因此最优满足法则不论分配与回收，均需查找链表，因此最费时间。最费时间。不同的情况应采用不同的方法。在选择时需考虑下列因素：不同的情况应采用不同的方法。在选择时需考虑下列因素：用户的要求；用户的要求；请求分配量的大小分布；请求分配量的大小分布；分配和释放的频率以及效率对系统的重要性分配和释放的频率以及效率对系统的重要性10.2 参数传递当一个过程调用其它过程时，调用过程和被调过程之间当一个过程调用其它过程时，调用过程和被调过程之间的通信经由非局部量或者经由参数传递。的通信经由非局部量或者经由参数传递。10.2 参数传

26、递过程过程exchangelexchangel既使用了非局部量数组既使用了非局部量数组a a，又使用了形式参又使用了形式参i i和和j j，将，将aiai和和ajaj的值进行交换。的值进行交换。带有非局部变量和形参的PASCAL过程(1)procedure exchangel(i，j:integer);/过程过程exchangelexchangel的头，带有形式参数的头，带有形式参数i i，j j(2)var x:integer;(3)begin;(4)x=ai;ai=aj;aj =x/数组数组a a是非局部变量是非局部变量(5)end;如语句如语句exchangel(mexchangel(m

27、，n);n);表示了对过程表示了对过程exchangelexchangel的一的一次调用，其中次调用，其中m m，n n为实在参数，简称实参。为实在参数，简称实参。讨论的问题是：讨论的问题是：为执行为执行exchangel(mexchangel(m，n)n)，i i，j j应按何种方式同实参应按何种方式同实参m m，n n相联，换句话说，如何把实在参数传递给相应的形式相联，换句话说，如何把实在参数传递给相应的形式参数呢？参数呢？有几种方法：有几种方法：值调用值调用，地址调用地址调用，名字调用名字调用以及以及宏扩展宏扩展带有过程带有过程swapswap的的PASCALPASCAL程序程序(1)p

28、rogram 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.输出：a=2，b=1。如将第3行的var去掉，则输出：a=1，b=2。有有varvar时，时，PASCALPASCAL语言的参数传递使用的方式是传地址

29、；语言的参数传递使用的方式是传地址；去掉去掉varvar，则使用的方式是传值。则使用的方式是传值。PASCALPASCAL语言的变量参数是在参数前加关键字语言的变量参数是在参数前加关键字varvar。这种参这种参数的传递方式是传地址数的传递方式是传地址例如：例如：swap(swap(varvar x,y:integer);x,y:integer);swap(a,b)swap(a,b)；调用结果：调用结果：a,ba,b的值被改变。的值被改变。在参数前不加关键字在参数前不加关键字varvar时是值调用。这种参数的传时是值调用。这种参数的传递方式是传值。递方式是传值。例如：例如：swap(x,y:i

30、nteger);swap(x,y:integer);swap(a,b)swap(a,b)；结果：结果：a,ba,b调用前的值不被改变。调用前的值不被改变。10.2.1 10.2.1 传值传值传值，也称值调用。传值，也称值调用。在被调过程的活动记录中开辟形参的存储空间，在被调过程的活动记录中开辟形参的存储空间，这些存储位置即是形参或形式单元。这些存储位置即是形参或形式单元。调用过程计算实参值，并将它们的右值放在为调用过程计算实参值，并将它们的右值放在为形式单元开辟的空间中。形式单元开辟的空间中。被调用过程执行时，就像使用局部变量一样使被调用过程执行时，就像使用局部变量一样使用这些形式单元。用这些

31、形式单元。这种调用方式这种调用方式不影响不影响调用过程的活动记录。调用过程的活动记录。10.2.2 10.2.2 传地址传地址调用过程传给被调过程的是指针，指向实参存储位调用过程传给被调过程的是指针，指向实参存储位置的指针。置的指针。如实参是一个名字或是具有左值的表达式，则如实参是一个名字或是具有左值的表达式，则左值本左值本身身传递过去。传递过去。如实参是一表达式，比方如实参是一表达式，比方a+ba+b或或2 2，而，而没有左值没有左值，则表，则表达式先求值，并存入某一位置，然后达式先求值，并存入某一位置，然后该位置的地址该位置的地址传递过去。传递过去。被调过程中对形式参数的任何引用和赋值都通

32、过传递被调过程中对形式参数的任何引用和赋值都通过传递到被调过程的到被调过程的指针指针被处理成被处理成间接访问间接访问。通过值调用的过程可以由非局部量或由指针而对调通过值调用的过程可以由非局部量或由指针而对调用过程发生影响。用过程发生影响。10.2.3 过程参数过程参数 一个过程一个过程(函数函数)可以作为参数传递，比如图可以作为参数传递，比如图10.2210.22的的PASCALPASCAL程序中，过程程序中，过程c c把把f f作为参数传递给作为参数传递给b b，而，而b b通通过引用形参过引用形参h h调用调用f f。我们要注意的是：函数我们要注意的是：函数f f有一非有一非局部量局部量m

33、 m，图中特地将图中特地将m m圈起来。但圈起来。但m m的作用域并不包的作用域并不包括括b b的过程体。的过程体。b b中的语句中的语句writelnwriteln（h h（2 2）激活激活f f，是因为形参是因为形参h h引用引用f f，writelnwriteln打印的是调用打印的是调用f f（2 2）的的结果。那么结果。那么b b激活激活f f时，怎样设置时，怎样设置f f活动记录的存取链活动记录的存取链（displaydisplay）呢？答案是，当一个嵌套过程作为参数呢？答案是，当一个嵌套过程作为参数传递时，必须连同它的存取链（传递时，必须连同它的存取链（displaydisplay

34、）一同传递一同传递过去。图过去。图10.2310.23说明了这点，当过程说明了这点，当过程c c传递传递f f时，时，c c可以可以决定决定f f的存取链，或者说的存取链，或者说f f的存取链或的存取链或displaydisplay可以根可以根据据c c的存取链或的存取链或displaydisplay来建立。来建立。c c必须把必须把f f连同连同f f的存的存取链一起传给取链一起传给b b，那么在那么在b b中激活中激活f f时，时，b b活动记录的存活动记录的存取链就可以正确设置了。取链就可以正确设置了。嵌套过程作为参数传递嵌套过程作为参数传递 (1)program(1)program p

35、aram(inputparam(input，output);output);/例程例程paramparam的头的头(2)procedure b(function h(n:integer):integer);(2)procedure b(function h(n:integer):integer);/嵌套过程嵌套过程b b的头，其形式参数是一个具有一个整型形的头，其形式参数是一个具有一个整型形参参n n的整型函数的整型函数h h(3)(3)begin writeln(h(2)end b;/bbegin writeln(h(2)end b;/b的过程体的过程体(4)procedure c;/(4)

36、procedure c;/嵌套过程嵌套过程c c的头的头(5)(5)varvar m m:integer;:integer;(6)(6)function function f(n:integerf(n:integer):integer;):integer;/过程过程c c中嵌套定义的具有一个整型形参中嵌套定义的具有一个整型形参n n的整型函数的整型函数f f(7)(7)begin f=begin f=m m+n+n endf;/f endf;/f的函数体的函数体(8)(8)begin begin m m=0;b(f)endc;=0;b(f)endc;/c/c的过程体，其中的过程体，其中b(f)

37、b(f)调用调用b b函数，函数，/而实参是函数而实参是函数f f，调用时替换形参函数调用时替换形参函数h h(9)begin(9)begin(10)c(10)c(11)end(11)end连同存取链一起传递过程实参一般来讲，过程一般来讲，过程P P把过程把过程T T做为实参传递给做为实参传递给Q Q时，也时，也是一种是一种 传地址传地址 方式，方式，P P可以先建立两个相继的临时可以先建立两个相继的临时单元，第一个单元单元，第一个单元B1B1存放过程存放过程T T的入口地址；第二单的入口地址；第二单元元B2B2存放现行存放现行displaydisplay地址或存取链地址。然后把第地址或存取链

38、地址。然后把第一临时单元地址传送给一临时单元地址传送给Q Q（即放置于即放置于Q Q活动记录的形式活动记录的形式单元，比方说单元，比方说Z Z中）。假定过程中）。假定过程Q Q执行到引用形参执行到引用形参Z Z时，时，Z Z中已含有上述中已含有上述B1B1的地址，则的地址，则B1B1的内容将用来作为转的内容将用来作为转子指令的目的地址（即转进过程子指令的目的地址（即转进过程T T）。）。B2B2的内容将传的内容将传送给送给T T。除了实参是过程的情况外，还有实参为数组的情除了实参是过程的情况外，还有实参为数组的情况，实参为标号的情况以及实参为形式参数的情况。况，实参为标号的情况以及实参为形式参数的情况。