访问链和符号表

在编程语言中分为支持嵌套过程&＃xff08;如Pascal&＃xff09;和不支持嵌套过程&＃xff08;如C&＃xff09;

支持过程嵌套声明的语言&＃xff1a;一个过程除了使用自身定义的局部数据和全局定义的数据以外&＃xff0c;还可以使用外围过程中声明的对象
不支持嵌套声明的语言&＃xff1a;过程中要么是使用局部数据&＃xff0c;要么是使用全局数据

符号表特别是对于“使用外围过程中声明的对象”有很大的帮助的。

全局变量被分配在静态存储区&＃xff0c;使用静态确定的地址可以访问他们
其他变量是局部变量&＃xff0c;通过栈顶指针指针访问

静态作用域规则&＃xff1a;只要过程a的声明嵌套在过程a的声明中&＃xff0c;过程b就可以放额外你过程a中声明的对象
可以在相互嵌套的过程的活动记录间建立一种称为访问链指针&＃xff0c;使其可访问&＃xff08;外层可直接访问内层&＃xff0c;内层访问外层用访问链&＃xff09;

访问链一般在控制链上面

符号表
为每个作用域&＃xff08;程序块&＃xff09;建立一个独立的符号表&＃xff0c;符号表与编译时是对应的&＃xff0c;一个过程的非局部名字的信息可以通过扫描过程的符号表而得到&＃xff08;找非局部变量&＃xff09;
即
标识符。当在某一层的声明语句中识别出一个标识符&＃xff08;id的定义性出现&＃xff09;时&＃xff0c;以此标识符相应于本层的符号表&＃xff0c;如果查到&＃xff0c;则报错“id重复”
当在执行语句的时候扫视到标识符&＃xff0c;本层差不多就通过符号表去外层找