符号表组织符号表组织语义分析之一

※一个源文件有若干个函数组成，通常，每个函数对 应一个符号表，此外，还是有一个公用符号表；
※符号表如何管理？往往取决于所属语言的程序结
构，就 C语言来说，可以在内存设置一定长度的符号
表区，并建立适当的索引机制，访问相应的符号表：
索引
机制
公用符号表
全局
符号表区
现行函数符号表
…
…
局部
FUNCTION 2 符号表
…
x
v2
x
v2
y
v3
3.14
y
v3
c
t
50
临时变量值区
a
v v4
v5
b值
b
v v5
v4 数组a值区
链接表
v3
y值
a a
15 1 10
10 1
v2 v1
x值 值
管理区
【例6.2】有类型说明: = [1..10] [1..5] ;
试填写符号表。
t
i
r
c
200
b
a
1
10
20
a
1
5
4
设：实型占8个存储单元，整型占4个单元，布尔型和字符型占1个单元。
⑴ 需要进符号表的标识符： (函数,附带信息:类型、参数情况和入口地址…), (常量)(类型)(下标变量)，b(简单变量)，…
⑵ 怎样检查出：a 重定义、z 无定义以及下表变量 a[2,5]的值地址在何处？…
※ 符号表的体系结构设计
由于标识符的种类不同，导致语义属性也不尽相同； 怎样组织符号表？下面提供一个符号表的体系结构：
token i·
SYNBL（符号表）
NAME TYPE CAT ADDR
…
名字 类型 种类 地址
PFINFL(函数表)
TYPEL（类型表） TVAL TPOINT· AINFL(数组表)
RINFL(结构表)
…
CONSL(常量表) LENL(长度表) VALL(活动纪录)
6.3.1 符号表总表()
※ 结构：
※ 结构：
每个域占表中一个纪录
• (结构的域名)—
• (区距)—是的值单元首址相对于所在记录值区区头 位置；

•约定：1=0，
•
2= 1(1), ……
•
1(1)。
•
1的长度
• (域成分类型指针) – 指针，指向域成分类型(在类 型表中的信息);
6.3.5 函数表()
过程或函数语义信息 ※ 结构：
…
• (层次号) –该过函静态层次嵌套号, • (区距) –该过函自身数据区起始单元相对该过 函值区区头位置 ； • (参数个数) – 该过函的形式参数的个数； • (参数表) – 指针，指向形参表； • (入口地址) – 该函数目标程序首地址(运行时 填写)；
…… ;
设P1所在层1，即所定义的层2,
1 P1 2
试填写符号表。
P1
p
x
?
2
?
2
y
?
x
?
y
?
i
r
注： ？—— 该标识符的值单元首址，
c
为相对地址（, ）
b
——该标识符所在层次号，
——区距，存储分配时可定。
设：实型占8个存储单元，整型占4个单元，布尔型和字符型占1个单元。
6.5 运行时刻存储分配
※解决的问题：标识符变量的地址分配与对它们的访问。
6.3.3 数组表()
※ 结构：
每维占表中一个纪录
• (数组的下界)（C语言自动设为：0）;
• (数组的上界)—
• (成分类型指针) – 指针，指向该维数组成分类型 (在类型表中的信息);
• (成分类型的长度)– 成分类型的数据所占值单元的 个数；
• ※ 这里假定：值单元个数依字长为单位计算。
6.3.4 结构表()
填入表中，并修改其的指针，使其指向相应的表
项：
（i , ) 该标识符符号表项
⑵ 遇 应用性标识符(在语句中) 查符号表的
相应项，查到后修改其的指针，使其指向相应的
表项：
（i , ) 该标识符符号表项
6.2.2 符号表的查询、访问方式
线性表、顺序表、索引表和散列表，皆可以采用。
6.2.3 符号表的维护、管理方式
•(名字)— 标识符源码(或内部码) •(类型) – 指针，指向类型表相应项； •(种类) – 种类编码： • f(函数)，c(常量)，t(类型)，d(域名)， • (变量，换名形参，赋值形参)； •(地址) – 指针，根据标识符的种类不同，分别 指向：,…
6.3.2 类型表()
※ 结构：
•(类码)– 类型代码： • i(整型)，r(实型)，c(字符型)，b(布尔型)， • a(数组型)，d(结构型)，… •(指针) – 根据数据类型不同，指向不同的信息表 项： • ① 基本数据类型()– (空指针)； • ② 数组类型(a) – 指向数组表； • ③ 结构类型(d) – 指向结构表;…
符号表区
FUNCTION 1 符号表
6.3 符号表的结构设计
【例6.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;
6.3.6 其他表(…)
⑴ 常量表() 存放相应常量的初值； ※ 结构：
⑵ 长度表() – 存放相应数据类型所占值单元个数； ※ 结构：
⑶ 活动纪录表() – 一个函数(或过程)虚拟的值 单元存储分配表；此分配表在运行调用时才可用， 故称活动纪录。
※ 结构：
…
6.4 符号表的构造过程示例：
f
?
2
⑶ 种类 该标识符在源程序中的语义角色；
⑷ 地址 与值单元相关的一些信息；
符号表 的功能
① 定义和重定义检查； ② 类型匹配校验； ③ 数据的越界和溢出检查； ④ 值单元存储分配信息； ⑤ 函数、过程的参数传递与校验；…
6.2 符号表的组织与管理
6.2.1 符号表的工作原理
⑴ 遇 定义性标识符(在说明中) 把语义信息
语义分析之一 内容提要:
6.1符号表的地位和作用 6.2符号表的组织与管理 6.3符号表的结构设计
6.1 符号表的地位和功能
符号表是标识符的动态语义词典，属于 编译中语义分析的知识库；主要内容：
标识符 四种语 义信息
⑴ 名字 — 标识符源码，用作查询关键字；
⑵ 类型 该标识符的数据类型及其相关信息；
【例6.3】有类型说明: = 试填写符号表。
t
u
d
v
d
r
d
x
d
y
d
u: ; v: [1..10] ; r: x, y : ;
30
u
0
4
v
4
10
r
14
16
x
0
8
y
8
8
d
a
1
10
1
d
设：实型占8个存储单元，整型占4个单元，布尔型和字符型占1个单元。
【例6.4】 有过程说明:
P1( x: ; y: ); ……