第6章 符号表的组织与管理.pptVIP

符号表的组织与管理 6.1 符号表的作用 符号表是编译程序中主要的数据结构之一，用于存放程序语言中出现的有关标识符的信息，包括标识的类型（如实型、整型、布尔型）、种属（如数组名、变量名、过程名、函数名等）、作用域（如全局变量、局部变量、实例变量、私有变量等）。 1．词法分析时：每识别出一个标识符，都要查填相关信息。 2．语义分析时：符号表的内容辅助语义检查。 3．代码优化时：符号表的内容用于辅助进行代码优化。 4．目标代码生成时：编译程序将依据符号表中的符号名分配目标地址。根据符号表中关于符号和信息的说明，编译程序可以分别将符号表中的符号名安排在不同的存储区域，如数据共享区、静态存储区、动态存储区等。 2、3、4即符号表的作用 6.2 符号表的组织 符号表的结构中，每一项一般由两部分组成，第一部分是名字栏，或称主栏，其中的内容亦称关键字，查填符号表就是通过检验名字是否匹配实现的。 符号表的另一部分是与名字有关的信息栏，每一信息栏又包括若干子栏和标志位，用于记录标识符的不同特征。 由于处理对象的作用和作用域可以有多种，所以符号也有多种组织方式。按照处理对象的特点，一般可分为直接方式和间接方式。 直接方式是指在符号表中直接填入源程序中定义的标识符及其相关信息，如图6.1所示，名字栏的长度是固定的，对应的程序语言规定了标识符长度的最大值。 间接方式是指单独设置一个字符串数组，其中存放所有标识符，在符号表的名字栏中设置两项内容：指针和整数，指针指向标识符在数组中的位置，整数值表示标识符的长度，如图6.2所示： 其它方式：如按标识符的种属，即同一种属的标识符建立一张符号表：简单变量名表、数组名表、过程名表等等。 类似于标识符名的组织方式，信息栏的组织方式也可以分为两类：固定信息内容和记录信息地址。对数组名，需要存储数组的首地址、维数、每一维的大小、每一维的上下界等信息，一般把这些信息存放在一个叫“内情向量表”的地方，如图6.3所示。 对于函数名、过程名等含信息量较多且不容易规范长度的标识符，都可以用类似的方法建立专用信息表，存放那些不宜全部存放在符号表中的信息，同时在符号表中存放信息表的地址信息。 实现符号表的一种简洁而又实用的方法是链式表结构。（参见P135的一个例子） 6.3 符号表的建立与查找 1 线性表 查找效率 n/2 其中，n是标识符的个数，下同 二分查找和各种搜索树 （搜索树: 如二叉树、AVL树、B树） 二分查找的查找效率1+log2n。 二分查找的缺点：对于一个边填写边引用的不定长符号表，每填进一项就引起表中内容重新排序，需要付出时空代价。 二叉树的组织方式可以改进这一不足，在随机情况下二叉排序树的平均查找长度为: 1 + 4 log2n 查找速度低于二分查找，但由于左、右指针能动态生成结构，大大减少了排序的时间，是一种非常实用的方法。 3 散列法（亦称杂凑法、Hash法） 该方法的关键是设计一个散列函数Hash，使得能在一个确定的空间M中，对每一个标识符Ki，满足 0=Hash(Ki)=M-1 (i=1,2,…,n) 对散列查找法要设法解决由散列函数值不惟一而引起的“地址冲突”。用该方法组织的符号表，其上的插入、查找、删除3种基本操作都能在恒定的时间内完成，也是实践中常用的一种方法。 * *