清华大学：《编译原理》课程教学资源_第七章 语法制导翻译和中间代码生成（7-4）符号表

74符号表 符号表的作用和地位 符号的主要属性及作用 符号表的组织

7.4 符号表 .符号表的作用和地位 .符号的主要属性及作用 .符号表的组织

符号表的作用和地位-语义检查的依据 目标代码生成阶段地址分配的依据 在编译程序中符号表用来存放语言程序中出现的有 关标识符的属性信息,符号表中所登记的信息在 编译的不同阶段都要用到。 在语义分析中,符号表所登记的内容将用于语义检 查(如检查一个名字的使用和原先的说明是否 致)和产生中间代码。 在目标代码生成阶段,当对符号名进行地址分配时, 符号表是地址分配的依据。对一个多遍扫描的编 译程序,不同遍所用的符号表也往往各有不同。 因为每遍所关心的信息各有差异

符号表的作用和地位-----语义检查的依据 目标代码生成阶段地址分配的依据 在编译程序中符号表用来存放语言程序中出现的有 关标识符的属性信息，符号表中所登记的信息在 编译的不同阶段都要用到。 在语义分析中，符号表所登记的内容将用于语义检 查（如检查一个名字的使用和原先的说明是否一 致）和产生中间代码。 在目标代码生成阶段，当对符号名进行地址分配时， 符号表是地址分配的依据。对一个多遍扫描的编 译程序，不同遍所用的符号表也往往各有不同。 因为每遍所关心的信息各有差异

符号属性(信息) 几种通常都是需要的。 符号名 2符号的类型 3符号的存储类别 4符号的作用城及可视性 5符号变量的存储分配信息 6符号的其它属性(1)数组内情向量 (2)记录结构型的成员信息(3)函数及过 程的形参

符号属性(信息） 几种通常都是需要的。 1 符号名 2 符号的类型 3 符号的存储类别 4 符号的作用域及可视性 5 符号变量的存储分配信息 6 符号的其它属性 （１） 数组内情向量 （２） 记录结构型的成员信息 （３） 函数及过 程的形参

对符号表的操作 创建符号表 在编译开始时或进入一个分程序 插入表项 在遇到新的标识符声明时进行 ·查询表项 在引用声明过的标识符时进行 修改表项 在获得新的语义值信息时进行 删除一个或一组无用的项 释放符号表的空间 在编译结束前或退出一个分程序

对符号表的操作 • 创建符号表 在编译开始时或进入一个分程序 • 插入表项 在遇到新的标识符声明时进行 • 查询表项 在引用声明过的标识符时进行 • 修改表项 在获得新的语义值信息时进行 • 删除一个或一组无用的项 • 释放符号表的空间 在编译结束前或退出一个分程序

符号表的组织 总体组织和表项属性信息组织 第一种:把属性种类完全相同的那些符号组 织在一起,构造出多个符号表常数表、变 量名表、过程名表标号表 第二种:把所有语言中的符号都组织在一张 符号表中。组成一张包括了所有属性的庞 大的符号表

符号表的组织 总体组织和表项属性信息组织 第一种： 把属性种类完全相同的那些符号组 织在一起，构造出多个符号表,常数表、变 量名表、过程名表,标号表 第二种： 把所有语言中的符号都组织在一张 符号表中。组成一张包括了所有属性的庞 大的符号表

符号表项的排列 符号表作为一个多元组,表中元组的排列组 织是构造符号表的重要成分。在编译程序 的整个工作过程中,符号表被频繁地用来 建立表项,查找表项,填充和引用表项的 属性。因此表项的排列组织对该系统运行 的效率起着十分重要的作用。在编译程序 中,符号表项的组织传统上采用三种构造 方法。即线性法,二分法及散列法

符号表项的排列 符号表作为一个多元组，表中元组的排列组 织是构造符号表的重要成分。在编译程序 的整个工作过程中，符号表被频繁地用来 建立表项，查找表项，填充和引用表项的 属性。因此表项的排列组织对该系统运行 的效率起着十分重要的作用。在编译程序 中，符号表项的组织传统上采用三种构造 方法。即线性法，二分法及散列法

关键字城的组织 符号表的关键字城〔段)就是符号名称 等长关键字域(段)符号表 不等长关键字段符号表用关键字池的 索引结构

关键字域的组织 符号表的关键字域（段）就是符号名称 等长关键字域（段）符号表 不等长关键字段符号表---采用关键字池的 索引结构

作用域检查作用域和可见性 基本作用域规则( lexical rule) int ai void binky ( int a) int a 作用域检査实现: 1每个作用域一个独立的符号表,这些符号表组织成作用域 栈 2对所有作用域的全局符号表,每个作用域有一个作用域号

作用域检查 作用域和可见性 基本作用域规则（lexical rule) int a; void Binky(int a) { int a; a = 2; ... } 作用域检查实现： 1每个作用域一个独立的符号表，这些符号表组织成作用域 栈 2对所有作用域的全局符号表，每个作用域有一个作用域号

(1)program sort(input, output) 2)var a: arrayl0.10] of integer (3) X integer 4) procedure readarray 5) var i: integer; (6) begin….a….end{ readarray} 7 procedure exchange(i, j: integer) (8) begin (9) :可;a:=aj,aj= (10) end exchange (11) procedure quicksort(m, n: integer) (12) ar k,v: integer; (13) function partition (y, Z: integer) integer var i, j: integer; (15) begin. .a (16) (17) exchange (i, D (18) end partition; (19) begin.. end quicksort (20)begin.. end(sorty

(1) program sort(input,output) (2) var a: array[0..10] of integer; (3) x: integer; (4) procedure readarray; (5) var i: integer; (6) begin ... a ... end {readarray}; (7) procedure exchange (i, j: integer); (8) begin (9） x := a[i]; a[i:=a[j]; a[j]:=x (10) end {exchange}; (11) procedure quicksort (m, n:integer); (12) var k,v: integer; (13) function partition (y,z: integer): integer; (14) var i, j:integer; (15) begin ... a ... (16) .......... (17) ... exchange (i, j); ... (18) end {partition}; (19) begin ... end {quicksort}; (20) begin ... end (sort}

回叫:稠即 ) wr a: arrar 0. 10)df (3)xinren (4 whim radau a (7) procure charg (i, ir intro): (9) x=al;a(计:=a;减j: II) mohur ackert ( m, n: integer)s (12) k, vt inner (13) funtion partition (, ti integer):integer (14) war.i, jr inep (15) (17) ) (18) (19) (20)begin end Iort