编译原理符号表组织.pptVIP

第 7 章 符号表组织 7.1 符号表的地位和作用 符号表是标识符的动态语义词典，属于编译中语义分析的知识库；主要内容： 7.2 符号表的组织与管理 7.2 符号表的组织与管理(续1) 7.3 符号表的结构设计 【例7.1】有下列函数过程： 7.3 符号表的结构设计(续1) 由于标识符的种类不同，导致语义属性也不尽相同；怎样组织符号表？下面提供一个符号表的体系结构： 7.3 符号表的结构设计(续2) 7.3.1 符号表总表(SYNBL) 7.3 符号表的结构设计(续3) 7.3.2 类型表(TYPEL) 7.3 符号表的结构设计(续4) 7.3.3 数组表(AINFL) 7.3 符号表的结构设计(续5) 7.3.4 函数表(FINFL) 7.3 符号表的结构设计(续6) 7.3.5 其他表(…) ※ 活动记录的结构 ※ 符号表的构造过程示例 ※ 一个函数过程的符号表组织 * * 【内容提要】 7.1 符号表的地位和作用 7.2 符号表的组织与管理 7.3 符号表的结构设计 (1) 名字 — 标识符源码，用作查询关键字； (2) 类型 — 该标识符的数据类型及其相关信息； (3) 种类 — 该标识符在源程序中的语义角色； (4) 地址 — 与值单元相关的一些信息； ① 定义和重定义检查； ② 类型匹配校验； ③ 数据的越界和溢出检查； ④ 值单元存储分配信息； ⑤ 函数的参数传递与校验；… 符号表的作用 标识符四种语义信息 7.2.1 符号表的操作原理 (1) 遇 定义性标识符(在说明中) — 把语义信息填入表中，并修改其TOKEN的指针，使其指向相应的表项： ( i , ) 该标识符符号表项 (2) 遇 应用性标识符(在语句中) — 查符号表的相应项，查到后修改其TOKEN的指针，使其指向相应的表项： 7.2.2 符号表的查询、访问方式 线性表、顺序表、索引表和散列表，皆可以采用。 ( i , ) 该标识符符号表项 在词法分析过程中： 7.2.3 符号表的维护、管理方式 ※一个源文件有若干个函数组成，通常，每个函数对应一个符号表，此外，还是有一个公用符号表； ※符号表如何管理？这取决于所属语言的程序结构，常见的实现方式是：在内存设置一定长度的符号表区，并建立适当的索引机制，访问相应的符号表： 公用符号表 FUNCTION 2 符号表 FUNCTION 1 符号表 … 现行函数符号表 全局符号表区 局部符号表区 … 索引机制 FUNCTION exp(x:REAL;VAR y:INTEGER):REAL; CONST pai=3.14; TYPE arr=ARRAY[1..5,1..10] OF INTEGER; VAR a:arr; b,a:REAL; BEGIN … ; a[2,5]:=100; b:=z+6;… END; (1) 需要进符号表的标识符： exp(函数,附带信息:类型、参数情况和入口地址…), x(形参),y(形参),pai(常量),arr(类型),a(数组变量),b(简单变量)，… (2) 怎样检查出：a 重定义、z 无定义以及数组变量 a[2,5]的值地址在何处？… 名字 类型 种类 地址 SYNBL(符号表) token NAME TYP CAT ADDR i · … FINFL(函数表) CONSL(常量表) AINFL(数组表) SINFL(结构表) ACTL(活动记录) LENL(长度表) TYPEL(类型表) TVAL TPOINT · … ADDR CAT TYP NAME ※ 结构： NEME(名字) — 标识符源码(或内部码) TYP(类型) — 指针，指向类型表相应项； CAT(种类) — 种类编码： f(函数)，c(常量)，t(类型)，d(域名)， v,vf,vn(变量，传值形参，传地址形参)； ADDR(地址) — 指针，根据标识符的种类不同，分别指向：FINFL,CONSL,LENL,ACTL,… ※ 结构： TPOINT TVAL TVAL(类码) — 类型代码： i(整型)，r(实型)，c(字符型)，b(布尔型)， a(数组型)，s(结构型)，… TPOINT(指针) — 根据数据类型不同，指向不同的信息表项： ① 基本数据类型(i,r,c,b) — null(空指针)； ② 数组类型(ARRAY) — 指向数组表(AINFL)； ③