编译原理——CMM语义分析

一、语义分析要解决的问题 •确定类型：确定标识符所关联的数据对象的数据类型。 •类型检查：按照语言的类型规则，对运算及运算分量进行类型检查，必要时做出相应类型转换。 •识别含义：根据程序设计语言的语义定义，确定各个构造部分组合后的含义，做出相应处理（生成中间代码或者目标代码）。 •静态语义检查：比如控制流检查，嵌套层数检查。 二、总体思路说明  之前在语义分析阶段生成了抽象语法树，抽象语法树本身就

>>阅读原文<<