编译原理——编译程序构造实践教程 教学课件 作者 张幸儿 戴新宇 801编译程序构造与实践教程第八章.pptVIP

概括1. 程序错误的种类2. 错误复原与错误校正 概念 错误复原相关的问题3. 语义错误 种类 语义错误检查措施 * * 第8章 程序错误的检查和校正 8.1 概述 8.1.1 程序错误检查的必要性 程序中存在错误在所难免。 一个好的编译程序，应能具有较强的查错和改错能力。查错，就是编译程序能在编译时刻，及时而准确地发现源程序中的错误，并能以简明的方式，向程序书写者报告这些错误的性质和出现的确切位置。 目标是一次编译就能查出尽可能多，甚至全部的错误。 8.1.2. 错误的种类 词法错误 语法错误 语义错误 违犯环境限制的错误 1. 词法错误： 编译程序在词法分析阶段发现的源程序错误。例如，关键字（保留字）拼写错、标点符号错与非法字符等。 2. 语法错误： 编译程序在语法分析阶段发现的源程序错误,亦即，书写不符合某语法成分的语法规则。例如，作为语句括号的{与}不匹配、(与)不匹配，if语句中的条件表达式未用小括号对括住，以及else没有匹配的if等等。另外，变量未说明或被重定义等也可看作语法 (全局语法)错误。 3. 语义错误 源程序中的语义错误有两类： 1) 静态语义错误，这在编译时刻发现。例如,语义分析时发现：对某些运算分量进行不允许的运算，或者一个运算的两个运算分量类型不相容，等。 2) 动态语义错误，这在目标代码运行期间才能发现。这时，虽然编译程序把源程序翻译成了等价的目标代码，未发现任何错误，但运行不能正常结束或者经验证运行结果是不正确的，即，存在逻辑或算法上的错误，包括程序未能正确地反映算法，甚至可能算法本身就是错误的。 4. 违犯环境限制的错误 环境限制：编译程序对它所能接受的源程序运行时施加的某些限制。例如，C程序中一个整型量占的字节数、标识符最大长度、if-else嵌套嵌套最大层数、数组的最大维数。不遵循这些限制，将造成错误。 对于一个好的编译程序来说，应能具有较强的查错和改错(校正)的能力。 查错，就是编译程序能在编译时刻及时发现源程序中的错误，并能以简明的方式向程序书写人员报告错误的性质和错误所在的确切位置。 改错，是指编译程序在其翻译过程中发现源程序的错误时，能对源程序作出适当的修正，也即校正。 如果一个编译程序能在一次编译时刻，查出源程序中几乎所有的错误，指出错误的性质，给出错误所在的确切位置，并能提供尝试自动改正的信息，那么对于源程序错误的迅速改正将有非常大的帮助。 8.1.3 相关的基本概念 错误复原: 在编译过程中，发现源程序中的错误时，采取一定的措施，使得能继续编译下去。 在错误复原时，应重视下列两个方面： · 株连信息的遏止 · 重复信息的遏止 当源程序中发现某个错误时，往往由此错误导致编译程序向源程序书写人员发出更多的错误信息，而所发出的更多的出错信息往往是不真实的。这种信息称为株连信息。例如，假定源程序中包含一个函数调用f (R. m)，其中，m是结构变量R的成员变量，但在键入时错键入成了f (R, m)。编译时，处理到符号”)”时，将发出如下三个报错信息：“m无定义”、”参数的类型不匹配”与“参数多一个”。  如果同一个错误出现在源程序中多处时，就将形成重复信息。如果一个标识符未在函数定义内说明，在该函数定义内的语句部分中，每次引用时都将发出报错信息：标识符???无定义。 8.2 词法错误的复原与校正8.2.1 词法错误的种类 词法错误：拼错、遗漏、多拼、颠倒 （可假定不会发生连续几个字符错） 与错误复原相关的问题： · 错误的查出　　· 错误的定位　　· 错误的局部化　　· 重复错误信息的遏止8.2.2 词法错误的校正 假定不存在连续几个字符都错。 校正方法：增加、删除、替换、交换 （一个字符） 一般说，不论是用替换、插入、删除，还是交换的方法去校正，都是试探的，可以以最可能成功的那种修改作为对错误的校正。不言而喻，必须输出校正信息，供程序书写人员校正时参考。 8.3 语法错误的复原与校正 8.3.1 语法错误的复原 对于语法错误的复原，与词法错误的情况一样，自然地涉及下列问题： ·错误的查出  ·错误的定位 ·错误的局部化  ·重复错误信息的遏止 8.3.2 语法错误的校正 1．