[理学]编译原理 第八章.pptVIP

第八章 符号表 符号表的作用: 一致性检查和作用域分析; 辅助代码生成. 8.1 符号表的组织与作用 符号表的每一项(入口)包含两大栏: 名字栏，也称主栏，关键字栏 信息栏，记录相应的不同属性，分为若干子栏. 对符号表的操作: 填入名称 查找名字 访问信息 填写修改信息 删除 对符号表进行操作的时机： 定义性出现 使用性出现 按名字的不同种属建立多张符号表，如常数表、变量名表、过程名表、… 符号表的组织方式: 1. 安排各项各栏的存储单元为固定长度 2. 用间接方式安排各栏存储单元 符号表的存放次序（N项，每项K个字）: 1. 把每一项置于连续K存储单元中，构成一张K*N的表 2. 把整个符号表分成m个子表，如T1,T2,…Tm，每个子表含有N项. 例: PASCAL程序段： PROCEDURE INCWAP(M，N:INTEGER); LABEL START; VAR K:INTEGER; BEGIN START: K:=M+1; M:=N+4; N:=K; END. 8.2 整理和查找 1. 线性查找 按关键字出现的顺序填写各项。 填表快，查找慢。 结构简单，节省空间，效率低，查找时间复杂度：O(n)。 改进：自适应线性表 2. 二分查找 表格中的项按名字的“大小”顺序整理排列。 填表慢,查找快。查找时间复杂度:O(Log2n) 改进：组织成二叉树。 3. 杂凑查找(HASH技术) 杂凑函数H(SYM)：0~N-1 N：符号表的项数。 要求：1. 计算简单高效 2. 函数值分布均匀 填表快，查找快 8.4 符号表的内容 语言编译程序的符号表 1) 名字表(nametab) 名字表nametab：登记程序中出现的各种名字及其属性 (2) 程序体表btab和层次显示表display 8.3 名字的作用范围 在许多程序语言中,名字都有一个确定的作用范围. 两种程序体结构: 并列结构，如FORTRAN 嵌套结构，如PASCAL，ADA PROGRAM MAIN … integer X，Y COMMON /C/A，B … END SUBROUTINE SUB1 … real X，Z COMMON /C/A1，B1 … END program P; var a,b : integer; procedure P1(i1, j1:integer); var c,d : integer … end; procedure P2(i2, j2:integer); var a,c : integer; procedure P21; var b1,b2 : boolean; … end; … end; … end. 1. FORTRAN的符号表组织 一个FORTRAN程序由一个主程序段和若干个辅程序段组成. 把局部名和全局名分别存在不同的地方. 2. 嵌套结构语言的符号表组织 如PASCAL、ALGOL、ADA作用域遵循最近嵌套原则. 两种做法: 引入过程编号属性。查找时，先查找本过程编号的名字，查不到则查找外层过程编号的名字，…，等等. 按栈式思想组织符号表。查找时，从后往前查找，碰到的第一个名字就是所需查找的名字. program P; var a,b : integer; procedure P1(i1, j1:integer); var c,d : integer … end; procedure P2(i2, j2:integer); var a,c : integer; procedure P21; var b1,b2 : boolean; … end; … end; … end. PASCAL PASCAL程序本身可以看成是一个操作系统所调用的过程，过程可以嵌套和递归。 一个PASCAL过程： 过程头； 说明段（由一系列的说明语句组成）； begin 执行体（由一系列的执行语句组成）； end 作用域：一个名字能被使用的区域范围称作这个名字的作用域。 允许同一个标识符在不同的过程中代表不同的名字。 名字作用域规则--最近嵌套原则 一个在子程序B1中说明的名字X只在B1中有效（局部于B1）； 如果B2是B1的一个内层子程序且B2中对标识符X没有新的说明，则原来的名字X在B2中仍然有效。如果B2对X重新作了说明，那么，B2对X的任何引用都是指重新说明