【学习笔记】编译原理 第五章 符号表管理技术

以下为参考课件与《编译技术》（张莉等著）的个人整理，若有错误欢迎指出

第五章 符号表管理技术

一、基础概念

1、符号表定义

（1）定义：用来记录源程序中各种名字的特性信息

名字包括程序名、函数名、用户定义类型名、变量名等。

特性信息包括名字的类型、维数、参数个数、存储单元地址等（详见符号表的结构）。

（2）在编译中的作用：

• 填表：处理声明语句时填表，保证使用前先声明

• 查表

  • 填表前，检查程序同一作用域内是否重复定义
  • 使用时，查表检查语法语义的正确性（是否提前声明、是否符合语法规则、类型一致等）
  • 生成目标指令时，要取得地址

2、符号表的结构

基本结构（表）：名字+特征信息

一般特征信息包括：

• 名字（标识符）的种类（简单变量、函数、数组、参数等）

• 类型（整型、字符型等）

• 性质（变量形参、值形参等）

• 值（常量名所代表的数值）

• 地址（变量所分配单元的首地址或地址位移）

• 大小（所占字节数）

• 作用域的嵌套层次

3、符号表的组织方式

• 统一符号表（表项按照信息量最大的名字设计，但浪费空间）
• 针对不同种类的名字分别建表（表操作不方便）
• 大部分共同信息组成统一格式的符号表，特殊信息另附表并用指针连接

二、非分程序结构语言的符号表管理

1、非分程序结构语言：每个可独立进行编译的程序单元是一个不包含子模块的单一模块。

2、标识符的作用域：全局和局部，重名时局部的优先。

因此分为全局符号表和局部符号表（堆栈结构，顶部为全局，向下为局部）

基本操作流程

（1）子程序、函数名和公共的填入全局符号表

（2）查表时，先查局部符号表，再查全局符号表。

（3）编译完一个单元后，局部符号表可释放（退栈）。编译完成后全局符号表退栈。

3、符号表的组织方式

• 无序符号表：就是进来的顺序

• 有序符号表：变量名字典排序

• Hash符号表：要解决冲突

三、分程序结构语言的符号表组织

1、分程序结构语言：模块内可嵌入子模块。

因此变量的作用域式所定义的最小模块。如下图的Pascal程序，再一个函数中可能含有若干个过程（procedure）。而根据最小模块的规则，标识符L仅在procedure P中有效，因此（在外部没有定义L的情况下）goto语句中使用了L是错误的。循环语句也视为一层。

2、基本处理方法

• 在程序声明部分读到标识符：查本层符号表，若有同名报错，无则填表。
• 在语句中读到标识符，先查本层符号表，无则看外层，直至最外层。
• 对于一些标准过程和函数的名字，一般会语言将标准名填入名字表中。

3、符号表的组织

依然使用栈式符号表，处理完一层就退栈。下面是一个具体例子，可以较好体会在编译过程中，符号表的入栈与退栈过程。（黄色图片中的大括号表示一层）

注意：对于一个过程（procedure），编译完后要保留参数信息（若有）且其level是和过程名变为同一层的（名字去掉），方便之后调用的类型检查；其他的要退栈。

写法：

非分程序，就只需要写 名字 变量类型 维数 这三列，因为不涉及层次，自然也没有procedure。如果要有序，就要按照名字的字典序排列。

分程序，就需要像下面那样加上kind和lev。这个kind是指procedure、param、var这些类别。同时还要加上分程序索引表。而且一般栈式符号表会倒着画。