讨论基于活动记录的栈式分配。 一个语言所规定的作用.pptVIP

? 在词法作用域之下，程序的输出为 :??? 0.250 0.250 ?? ? 0.250 0.250 ???在动态作用域之下，输出为:? ?? 0.250 0.125 ??? 0.250 0.125 ??? 实现动态作用域的方法: ??? 1.深访问。使用控制链在栈中搜索，以寻 找包含所需非局部名字的存储单元的第 一个活动记录（控制链又称动态链）。 ?2．浅访问。这种方法的思想是在静态分配 的存储空间中存放每一个名字的现行值。 当过程p开始一次新的活动时，p中的非局 部名n占用对于n静态分配的存储空间。先 前的n值可以存放在p的活动记录中并且当 p的活动记录结束时必须给以恢复。 两种方法进行比较。 * * 6.4 对非局部名字的访问 讨论基于活动记录的栈式分配。?? 一个语言所规定的作用域规则决定了如何处理对非局部名字的引用。 有静态和动态两??种作用域规则。 静态:考查程序正文来决定引用的名字是哪一个名字说明,如Pascal，C和Ada是众多语言中使用带有“最近嵌套”规定的词法作用域规则的语言 ; 动态:在运行时刻考查最近的活动来决定应用到一个名字上的说明,如LISP和APL。 ? 6.4.1 块 一个块（Block）是一个含有局部数据说明的语句。 {declarations????statements}  一个块与另一个块要么是独立的，要么 一 个块完全嵌入在另一个块之中，这种嵌套的性质有时称作块结构。 ??? 在块结构语言中，说明的作用域由最近嵌套规则给出： ? 1．在块B中的一个说明的作用域包括B。 ??? 2．如果名字x在块B中没有说明，那么， ??? x在B中的出现是在一个外围块B?中的x的说 明的作用域之内，并且使得： ??? ??（a) B ?中有x 的说明， ??? ??（b) B ?是包围B的，相对于其它任何具有 名字x 的说明且包围B 的块而言,B?是 离B 最近的。 对于pascal语言来说，一个过程是一个块， 一个程序是一个块结构。而对于c语言来说， 每个函数是一个块结构，而函数之间是不嵌 套的。 main( ) { int a=0; /*B0-B2*/ int b=0; /* B0-B1 */ { int b=1; /* B1-B3 */ { int a=2; printf(“%d%d/n”,a,b) ; } { int b=3; printf(“%d%d/n”,a,b) ; } printf(“%d%d/n”,a,b) ; } printf(“%d%d/n”,a,b) ; } B0 B1 B2 B3 a0 b0 b1 a2 , b3 图6.16 函数main局部数据 在活 动记录中的按排 块结构语言可以采用栈式分配。函数main的每个块可看成一个无参过程，块中的块可被看成一个语句。控制从块开始进入，遇块结束退出。B2和B3的生存期不相交，它们的局部数据可占用同一块存储空间。 6.4.2 不含嵌套过程的词法作用域 C中过程定义不能嵌套 （l）int a[11]; ??? （2） readarray (){ …a…} ??? （3） int partition(y，z) int y，z； {…a…} ??? （4） quicksort (m，n) int m，n； { .….. } ??? （5） main(){...a..