编译原理第六章符号表组织讲述.ppt

第 6 章 符号表组织 6.1 符号表的地位和功能 符号表是标识符的动态语义词典，属于编译中语义分析的知识库；主要内容： 6.2 符号表的组织与管理 6.3 符号表的结构设计 【例6.1】有下列函数过程： ※ 符号表的体系结构设计 由于标识符的种类不同，导致语义属性也不尽相同；怎样组织符号表？下面提供一个符号表的体系结构： 6.3.1 符号表总表(SYNBL) 6.3.2 类型表(TAPEL) 6.3.3 数组表(AINFL) 6.3.4 结构表(RINFL) 6.3.5 函数表(PFINFL) 6.3.6 其他表(…) 6.4 符号表的构造过程示例： 练习题： 【习题6.1】解释下述词语： ⑴ 符号表 ； ⑵ 标识符的语义信息； ⑶ 符号表的功能；（4）c语言符号表的管理方式。 ※ 一个函数过程的符号表组织 【习题6.2】设有程序片断如下，试填写符号表： float exe(x,y) int x, y[5][10]; { float a; int b[5][10]; … b[2,5]=15; … } ※ 如何确定下表变量 b[2][5]的地址？ 【习题6.3】P236_1,2,3 【习题6.4】P268_1,2 * * 内容提要: ---- 语义分析之一 6.1 符号表的地位和作用 6.2 符号表的组织与管理 6.3 符号表的结构设计 6.4 符号表的构造过程示例 6.5 运行时刻存储分配 ⑴ 名字 — 标识符源码，用作查询关键字； ⑵ 类型 -- 该标识符的数据类型及其相关信息； ⑶ 种类 -- 该标识符在源程序中的语义角色； ⑷ 地址 -- 与值单元相关的一些信息； ① 定义和重定义检查； ② 类型匹配校验； ③ 数据的越界和溢出检查； ④ 值单元存储分配信息； ⑤ 函数、过程的参数传递与校验；… 符号表的功能 标识符四种语义信息 6.2.1 符号表的工作原理 ⑴ 遇 定义性标识符(在说明中)--- 把语义信息填入表中，并修改其TOKEN的指针，使其指向相应的表项： （i , ) 该标识符符号表项 ⑵ 遇 应用性标识符(在语句中)--- 查符号表的相应项，查到后修改其TOKEN的指针，使其指向相应的表项： 6.2.2 符号表的查询、访问方式 线性表、顺序表、索引表和散列表，皆可以采用。 （i , ) 该标识符符号表项 6.2.3 符号表的维护、管理方式 ※一个源文件有若干个函数组成，通常，每个函数对应一个符号表，此外，还是有一个公用符号表； ※符号表如何管理？往往取决于所属语言的程序结构，就 C语言来说，可以在内存设置一定长度的符号表区，并建立适当的索引机制，访问相应的符号表： 公用符号表 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; ⑴ 需要进符号表的标识符： exp(函数,附带信息:类型、参数情况和入口地址…), pai(常量),arr(类型),a(下标变量)，b(简单变量)，… ⑵ 怎样检查出：a 重定义、z 无定义以及下表变量 a[2,5]的值地址在何处？… SYNBL（符号表） NAME TYPE CAT ADDR … PFINFL(函数表) CONSL(常量表) AINFL(数组表) RINFL(结构表) VALL(活动纪录) LENL(长度表) TYPEL（类型表） TVAL TPOINT· … 名字 类型 种类 地址 token i · ADDR CAT TYP NAME ※ 结构： NEME(名字)— 标识符源码(或内部码) TYP(类型) – 指针，指向类型表相应项； CAT(种类) – 种类编码： f(函数)，c(常量)，t(类型)，d(域名)， v,vn,vf(变量，换名形参，赋值形参)； ADDR(地址) – 指