前面的两篇博文介绍了词法分析、语法分析,本篇博文将介绍语义分析。
语义分析
语义分析是编译的第三步,它的主要任务是:1.收集标识符的属性信息信息,如收集种属信息(简单变量、复合变量(数组等)、过程),类型信息,存储位置,长度,值,作用域,参数,返回值等。在语义分析阶段收集的这些信息将会存放在符号表的数据结构中。
符号表的每一条记录对应一个标识符,符号表的每一个字段表示标识符的属性信息。下图中的S、I、M、P所在的部分为字符串表,每一个符号表通常都会带着一个字符串表,此表用来存放标识符的名称和长度,也就是符号表中的NAME字符部分。NAME字段被分为两部分,举个例子,标识符SIMPLE表示一个标识符的名,NAME的第一部分便是指向这个标识符名的起始位置,第二部分表示该标识符的长度,这样便能找出每一个标识符的名。(标识符的名可以理解为我们定义的变量名)
上面的内容说的是语义分析的第一个任务,语义分析还有第二个任务,便是进行语义的检查,如常见的错误:变量或过程未经声明就使用、运算分量类型不匹配(例如字符串类型和整型相加,会对其进行转换)、变量名或过程名重复使用等。
好了,语义分析的简介就到这里。