16-第五章语义分析.pptVIP

第五章 语义分析 任课教师 王养廷 主要内容 语义分析 标识符内部表示 类型的内部表示 1 语义分析 语义 程序表达的含义 分类 静态语义：编译阶段检查的语义 动态语义：运行阶段检查的语义 例子：C++的动态绑定 再例：数组与指针的空间分配 常见的语义错误 类型相容 变量 1 语义分析 语义分析功能 （$id,idAddr）=($id, entry) 标识符检查 表达式检查 2 程序结构 程序结构 程序首部 声明部分 语句部分 举例 2 程序结构（续） program pl0(input,output); const norw = 11; {no. of reserved words} type symset = set of symbol; var ch: char; {last character read} procedure error(n: integer); begin writeln( ****, : cc-1, ^,n: 2); err := err+1 end {error}; begin {main program} for ch := chr(0) to chr(255) do ssym[ch] := nul; getsym; end. 3 标识符内部表示 标识符的语义 常量名 类型名 变