演示文稿第八章.pptVIP

* 第八章 符号表 编译过程中编译程序需要不断汇集和反复查证出现在源程序中各种名字的属性和特征等有关信息。这些信息通常记录在一张或几张符号表中。符号表的每一项包含两部分，一部分是名字（标识符），另一部分是此名字的有关信息。每个名字的有关信息一般指种属（如简单变量、数组、过程等）、类型（如整、实、布尔等）等等。这些信息将使用于语义检查、产生中间代码以及最终生成目标代码等不同阶段 。 编译过程中，每当扫描器识别出一个单词后，编译程序就查阅符号表，看它是否已在其中。如果它是一个新名就将它填进表里。它的有关信息将在词法分析和语法-语义分析过程中陆续填入符号表中所登记的信息在编译的不同阶段都要用到。在语义分析中，符号表所登记的内容将用于语义检查（如检查一个名字的使用和原先的说明是否相一致）和产生中间代码。在目标代码生成阶段，当对符号名进行地址分配时，符号表是地址分配的依据。对于一个多遍扫描的编译程序，不同遍所用的符号表也往往各有不同。因为每遍所关心的信息各有差异。 符号表的组织和使用 概括地说，一张符号表的每一项（或称入口）包含两大栏（或称区段，字域），即名字栏和信息栏。表格的形式是： ? ? 信息栏（INFORMATION） 名字栏（NAME） 第1项（入口1） 第2项（入口2） 第n项（入口n） 信息栏通常包含许多子栏和标志位，用来记录相应名字的种种不同属性。由于查填符号表一般都是通过匹配名字来实现的。名字栏也称主栏。主栏的内容称为关键字（key word）。 符号表 虽然原则上说，使用一张统一的符号表也就够了，但是，许多编译程序按名字的不同种属分别使用许多符号表，如常数表、变量名表、过程名表等等。这是因为，不同种属名字的相应信息往往不同，并且信息栏的长度也各有差异的缘故。因而，按不同种属建立不同的符号表在处理上常常是比较方便的 。 对于编译程序的符号表来说，它所涉及的基本操作大致可归纳为五类： 1、对给定名字，确定此名是否在其中； 2、填入新名； 3、对给定名字，访问它的有关信息； 4、对给定名字，填写或更新它的某些信息； 5、删除一个或一组无用的项。 符号表 符号表最简单的组织方式是让各项各栏所占的存储单元的长度都是固定的。这种项栏长度固定的表格易于组织、填写和查找。对于这种表格，每一栏的内容可直接填写在有关的区段里。例如，有些语言规定标识符的长度不得超过8个字符，于是，我们就可以用两个机器字作为主栏（假定每个机器字可容四个字符）每个名字直接填写在主栏中。若标识长度不到8个字符，则用空白符补足。这种直接填写式的表格形式如下： 符号表 　 … WEIGHT … SAMPLE INFORMATION NAME 符号表 有许多语言对标识符的长度几乎不加限制，或者说，标识符的长度范围甚宽。譬如说，最长可容许由100个字符组成的名字。在这种情况下，如果每项都用25个字作主栏，则势必会大量浪费存储空间。因此，最好用一个独立的字符串数组，把所有标识符都存放在其中，在符号表的主栏放一个指示器和一个整数。指示器指出标识符在字符串数组中的位置；整数代表此标识符的长度。这样，符号表的结构就如下图所示 。 符号表 T H G I E W E L P M A S P O O L 　 　 6 　 　 INFORMATION NAME 符号表 字符串数组 符号表项的排列与查找 符号表作为一个多元组，表中元组之间的排列组织是构造符号表的重要成分。在编译程序的整个工作过程中，符号表被频繁也用来建立表项，找查表项，填充和引用表项的属性。因此表项的排列组织对该系统运行的效率起着十分重要的作用。在“数据结构”技巧的讨论中提供了很多有关多元组表格的组织方法和它们有关的操作算法。而在编译程序中，符号表项的组织传统上采用三种构造方法。即线性法，二分法及散列法。 1、线性组织 这种方法规定符号表项中按它的符号被扫描到的先后顺序建立。 例如有一程序中出现符号的情况如下： ……………… …a………… ………b…… …a………… ………d…… …c………… ………b…… …… 　 　 　 　 　 P→ 　 c 　 　 d 　 　 b 　 　 a h→ 属性 符号 线性组织 2、排序组织及二分法 语言中任何符号都是由一个或几个字符拼写而成的，在机器中是用字符代码（通常是ASCII或EBCDIC代码）表达。因每一个符号在机器内都是由这种字符代码串来表示。排序组织的符号表，就是在符号表中的表项按其符号的字符代码串（可以看成一个整数值）的值的大小从大到小（或从小到大）排列的。对上述中的符号出现情况按排序 组织得到的符号表将如图。 排序表 　 　 　 　 　 P→ 　 d 　 　 c