[工学]第05章 语义分析上.ppt

第05章 语义分析 主要内容： 语义分析基础 符号表 类型分析 声明和执行体的语义分析 5.1 语义分析基础 语义分析的内容 标识符的内部表示 类型的内部表示 值的内部表示 5.1.1 语义分析的内容 语法和语义的区别: 语法：关于什么样的字符串才是该语言在组 成结构上合法的程序的法规。 语义：关于结构上合法的程序的意义的法 则。 语义种类: 静态语义：在编译阶段能检查的语义。 动态语义：只有在目标代码执行阶段才能 检查的语义。 语义分析的内容： 类型分析； 标识符相关信息。 语义分析的功能： 检查语义错误； 构造标识符属性表（符号表）。 语义分析的实现： 与语法分析相结合。 5.1.2 标识符的内部表示 标识符种类： 常量名、类型名、变量名、函数名、过程名、域名。 typedef enum=(constKind,typeKind,varKind, procKind,funcKind,fieldKind) 标识符属性（AttributeIR）： Access：等于dir(直接变量)或indir(间接变量)； Level：表示变量所在的层数； Off：表示变量在过程等中的偏移量。 例，有声明如下： const pai= 3.14 ; type vector=array[1..10] OF integer; var x, y : real ; r, s : vector ; 设当前层数和可用offset值分别为L和0，构造标识符 pai, vector, x, y, r 和s 的属性表示。 符号表的C语言描述如下(见p154)： Typedef enum{consKind,typeKind,varKind, fieldKind,procKind,funcKind} idKIND; Typedef enum{dir,indir} AccessKIND; Typedef enum{formal ,acttual } paramKIND; Typedef struct{ idNAME id_name; idATTRIBUTE id_attribute; //标识符属性域 symbolTABLE *next } symbolTABLE //符号表 Typedef struct{ idTYPE* id_type; idKIND id_kind; idBODY id_body; //标识符的BODY } idATTRIBUTE; //标识符属性域 Typedef struct{ constidBODY const_id_body;//常量属性 varidBODY var_id_body; //变量属性 profunidBODY profunc_id_body;//过函 } idBODY; //标识符的BODY Typedef struct{ constTYPE Const_value; } constidBODY; //常量属性域BODY Typedef struct{ AccessKIND access_mode; int var_id_level; int var_id_offset; } varidBODY; //变量属性域BODY Typedef struct{ int pro_id_level; paramKIND param_kind;