一个语言所规定的作用域规则决定了如何处理对非局部.ppt

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) ; };a0;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...} 图6.17 带有a的非局部出现的C程序 ;目标代码;6.4.3 含有嵌套过??的词法作用域 图6.18 带有嵌套过程的一个Pascal程序 程序的静态嵌套结构： sort ??? readarray ??? exchange ??? quicksort partition ;（1） program sort(input，output)； （2） ???var a：array[0..10] of integer； （3） ???? ?x：integer； （4） ???procedure readarray； （5） ??????var i：integer； （6） ??????begin … a… end {readarray}; （7） ???procedure exchange(i，j： integer)； （8） ??????begin （9） ?????????x:=a[i] ；a[i]:=a[j]; a[j]:=x （10）???? end {exchange}; ;（11）? procedure quicksort（m