[计算机软件及应用]第九章符号表

第9章 符号表 符号表 用来存放在词法分析过程中生成的有关标识符的语义特征属性信息 符号表中所登记的信息在编译的不同阶段都要用到。 例如作为语义检查的依据，目标代码生成阶段地址分配的依据等。 不同种类的表格所涉及的操作往往是不同的 符号表的操作 在整个编译期间，对于符号表的操作大致可归纳为五类： 对给定名字，查询名字是否已在表中 往表中填入一个新的名字； 对给定名字，访问它的某些信息； 对给定名字，填写或更新它的某些信息； 删除一个或一组无用的项。 TABLE中的信息—表格管理 9.1 符号表的作用和地位 1. 收集符号属性 在编译程序分析标识符说明部分时，收集有关标识符的属性，在符号表中建立符号的相应属性信息。 例如，说明语句： int a; 符号名为a，整型变量 float b[5]; 符号名为b，浮点型一维数组 具有5个元素，下标范围0~4 符号表的作用和地位 2.上下文语义的合法性检查的依据 在语义分析中，符号表所登记的属性记录将用于语义检查。 检查一个名字的使用和原先的说明是否一致，即标识符属性在上下文中的一致性与合法性。 符号表的作用和地位 例如，C语言中有变量说明： …… int i[3,5]; ‖定义说明 …… 一致性错误 extern float i; ‖引用说明 …… 重复定义导致的类型不一致是语义错误。 同一标识符的重复定义，即使类型一致，仍然是语义错误。 符号表的作用和地位 3. 作为目标代码生产阶段地址分配的依据 在目标代码生成阶段，当对符号名进行地址分配时，符号表是地址分配的依据。 对一个多遍扫描的编译程序，不同遍所用的符号表也往往各有不同，因为每遍所关心的信息各有差异。 9.2 符号表的主要属性和作用 不同的语言定义的标识符属性不尽相同，但以下几种通常都是需要的： 1. 符号名— 表示常量名、变量名、函数名、过程名等的标识符。用标识符在符号表中位置表示该标识符，通常是一个整数值，称之为内部代码。 对重名标识符，按照该标识符在程序中的作用域及可视性规则进行处理。 符号表的主要属性和作用 2. 符号的类型— 数据类型(data type)，符号的类型决定了具有该类型的数据的存储格式 3. 符号的存储类别 关键字指定：C语言中的static—静态存储、extern—外部变量、regist—寄存器变量 说明语句的位置指定：C语言中的函数内部指定—局部变量、外部指定—全局变量。 符号表的主要属性和作用 4. 符号的作用域及可视性 作用域—在程序中起作用的范围 变量可视性的作用域规则—在作用域范围内是可引用的。 变量可视性还取决于： 函数形参：内部变量，可以和外部定义的变量重名，但应视为不同的变量。一般规定在函数内部，使用形参定义的变量。外部变量被屏蔽—成为不可视的。 符号表的主要属性和作用 (2) 分程序结构：由于分程序可以是多层次的嵌套结构，因此在各层次的分程序中定义的与外部重名的变量，在本层次中有效。即一旦重名，在本层外定义的变量被屏蔽—成为不可视的。 为了确立符号的作用域和可视性，符号表中除符号的存储类别外，还有该符号在程序结构上被定义的层次。 符号属性(信息) 5. 符号变量的存储分配信息 静态存储区—全局静态区、局部静态区 动态存储区—局部动态变量的生存周期是定义该变量的局部范围。 对变量存储分配还要确定其在存储区的具体位置的属性信息。 出现先后次序、存储区表头相对位移量。 符号属性(信息) 6. 符号的其它属性: (1) 数组内情向量 (2) 记录结构型的成员信息 成员所占存储空间、排列次序 (3) 函数及过程的形参 每个函数或过程的形参个数、排列次序、形参的类型。 9.3 符号表的组织 符号表是连贯上下文进行语义检查、语义处理、生成代码和存储分配的主要依据。 符号表的整体组织 表项信息组织 9.3.1 符号表的总体组织 第一种：把属性种类完全相同的那些符号组织在一起，构造出表项是分别为等长的多个符号表 第二种：把所有语言中的符号都组织在一张符号表中。组成一张包括了所有属性的庞大的符号表 第三种：折衷方式，根据符号属性相似程度分类组织成若干张表，每张表中记录的符号都有比较多的相同属性。 9.3.2 符号表项的排列 符号表作为一个多元组，表中元组的排列组织是构造符号表的重要成分。 在编译程序的整个工作过程中，符号表被频繁地用来建立表项，找查表项，填充和引用表项的属性。因此表项的排列组织对该系统运行的效率起着十分重要的作用。 符号表项的排列 在编译程