第8章符号表与错误处理new解析：.pptVIP

对于算符优先分析器来说，会产生这样一类错误：栈顶终结符和当前输入字符之间无优先关系。此时，可在优先关系表中的相应位置标记错误处理子程序编号。表8.2就是表3.7优先关系表增加了错误处理后的结果。其中： 3. 自底向上分析中的错误校正 (1) ?e1：栈顶符号为“i”或“)”而当前输入字符为“i”或“(”，即缺少运算符，这时可在当前输入字符之前插入假想运算符“+”。 (2) ?e2：栈顶符号为“(”而当前输入符号为“#”，即缺少右括号“)”，故从栈中弹出“(”。 (3)e3：栈顶符号为“#”而当前输入符号为“)”，即右括号不配对，故从输入串中删去“)”。 　　 表8.2 带错误信息的算符优先关系表 当按优先关系表进行归约时，却发现没有一个产生式的候选式可与分析栈中的“可归约串”匹配，这时应按下述几种情况处理： 　算符优先分析器会产生的另一类错误是： (2) 按“i”归约时，其两端若有非终结符，则表示缺少运算符。 (1) 按“+”、“?*?”归约时，其两端均应有非终结符，否则表示缺少运算对象。 (3) 按“(”、“)”归约时，在括号之间若没有非终结符，则表示缺少表达式。 对程序语言的语义描述还不存在一种被广泛接受的形式化方法，这给语义错误的校正带来了较大困难。至今仍没有一种较为系统且行之有效的出错处理方法。　　 8.7.2 语义错误校正 语义错误主要来源于在源程序中错用了标识符或表达式(如程序中使用的标识符未经说明、表达式中各运算量的类型不相容等)。 校正此种错误的一种简单方法是用一个“正确”的标识符或表达式去代替出错的标识符或表达式，并把新的标识符登入符号表中，同时根据出错处的上下文尽可能将与之相关联的一些属性填入相应的登记项内; 然后修改源程序中有关的指针，使之指向这个新登记项，但这种校正未必正确或完全。 下面，简单地讨论如下两个问题：遏止那些由于单个错误所引起的错误株连信息；遏止那些因多次出现同一错误所引起的重复出错信息。 所谓错误株连，是指当源程序出现一个错误时，此错误将导致发生其它错误，而后者可能并不是一个真正的错误。 　1. 遏止错误株连信息 例如，当编译程序处理一个形如A[e1, e2, …, en]的下标变量时，假定由查符号表得知A不是一个数组名，这就出现了一个错误；而其后核对此下标变量的下标个数是否与相应数组的维数一致时，由于A不是数组名而查不到内情向量，从而只能认为两者不一致，于是又株连产生了第二个错误。 为了遏止这种株连信息，一种简单的办法是在源程序中用一个“正确”的标识符去替换出错的标识符，同时把新标识符登入符号表中并尽可能填入各种属性。 在此，这种符号表登记项是为改正错误而临时插入的，故对它们加以特殊标志。 这样就可按下述方法实现遏止株连信息：每当发现一个引起错误的标识符时，就以该标识符的符号表登记项指针作为参数去调用输出出错信息子程序； 这个子程序将查看相应的登记项，如果它已加以标志(即此标识符是为改正错误而引入的)，则不再输出出错信息。 　　main(?)　　{　　 char c;　　 int i?=?2,p;　　 p?=?f(i,?+?+?i); 2. 遏止重复出错信息 在源程序中，如果某一标识符未加说明或者说明不正确，则会导致程序中对该标识符的错误使用。例如，对于下面的程序： 　　 　　}　　int f(int a, int b)　　{　　 c?=?1;　　 if(ab) c?=?c?+?1;　　 else c?=?c???1;　　 return c;　　} 由于未在函数f中对整型变量c加以说明，因而赋值句中对c的每次引用都将输出“变量的类型不相容”错误信息。 防止诸如此类的重复出错信息比较容易。 如果以前曾按同样方式使用过该标识符，就不再输出出错信息；否则，除输出出错信息外，还要将本次错用的情况登入该表。 当在源程序中发现使用了一个未经说明的标识符时，就将它登入符号表中，并根据上下文填写所查出的一些属性； 再建立另一张表，其中各个登记项有相应标识符的各种错误用法，在遇到一个错用的标识符时就顺序检查这张表。 * * *8.5 非分程序结构语言的符号表组织 Fortran程序构造 主程序 子程序 及函数 (1) 非分程序的结构语言:每个可独立进行编译的程序单元是一个不包含有子模块的单一模块.如Fortran语言 (2) 标识符的作用域及基本处理办法 1.作用域: 全局: 子程序名,函数名和公共区名 局部: 程序单元中定义的变量 2. 符号表的组织 3.基本处理办法 1 子程序函数名和公共区变量填入全局符号表 全局符号表 局部符号表 2 在声明部分读到标识符,造局部符号表 查本程序单元局部 符号