6编译原理课件.3 非局部名字的访问.pptVIP

* * * * * * * * * * * * * * * * * * * 中国科大 6.3 非局部名字的访问 本节介绍 过程内部如何访问过程外部声明的名字？ 静态作用域 无过程嵌套的静态作用域（C语言） 有过程嵌套的静态作用域（Pascal语言） 动态作用域（Lisp语言） 6.3 非局部名字的访问 6.3.1 无过程嵌套的静态作用域 过程体中的非局部引用可以直接使用静态确定的地址 局部变量在栈顶的活动记录中，可以通过base_sp指针来访问 无须深入栈中取数据，无须访问链 过程可以作为参数来传递，也可以作为结果来返回 6.3 非局部名字的访问 6.3.2 有过程嵌套的静态作用域 过程嵌套深度 sort 1 readarray 2 exchange 2 quicksort 2 partition 3 变量的嵌套深度：它的声明所在过程的嵌套深度作为该名字的嵌套深度 6.3 非局部名字的访问 寻找非局部名字存储单元的访问链 s a, x q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 e (1, 3) 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 访问链总是指向本活动的最近的外围过程的活动记录 sort 1 readarray 2 exchange 2 quicksort 2 partition 3 6.3 非局部名字的访问 1、假定过程p的嵌套深度为np，它引用嵌套深度为na的变量a，na ? np。如何访问a的存储单元？ 从栈顶的活动记录开始，追踪访问链np ? na次。 到达a的声明所在过程的活动记录。 访问链的追踪用间接操作就可完成。 sort 1 readarray 2 exchange 2 quicksort 2 partition 3 6.3 非局部名字的访问 访问非局部名字的存储单元 sort 1 readarray 2 exchange 2 quicksort 2 partition 3 s a, x q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 e (1, 3) 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 6.3 非局部名字的访问 过程p对变量a访问时，a的地址由下面的二元组表示： （np ? na，a在活动记录中的偏移） 由当前的活动记录经过np-na次追踪，就可以得到a所声明的过程 在a所声明的过程中，a是一个局部变量，其地址可以用它在本活动记录中的偏移来表示 6.3 非局部名字的访问 2、建立访问链 假定嵌套深度为np的过程p调用嵌套深度为nx的过程x np nx的情况 x肯定就声明在p中 被调用过程的访问链必须指向调用过程的活动记录的访问链 sort 1 readarray 2 exchange 2 quicksort 2 partition 3 6.3 非局部名字的访问 2、建立访问链 s a, x q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 e (1, 3) 访问链 s a, x q (1, 3) k, v 访问链 q (1, 9) k, v 访问链 p (1, 3) i, j 访问链 sort 1 readarray 2 exchange 2 quicksort 2 partition 3 6.3 非局部名字的访问 2、建立访问链 假定嵌套深度为np的过程p调用嵌套深度为nx的过程x np ? nx的情况 sort 1