6.1概况 6.1.1语义分析的概念 1.语义分析的含义 2.语义分析的功能 1)确定类型:确定标识符所关联数据对象的数据类型。 2)类型检査:按照语言的类型规则,检查运算的合法性与运算分量类 型的一致性(相容性)。 3)识别含义:根据程序设计语言的语义定义(形式或非形式的),确认 程序中各构造成分组合到一起的含义,并作相应的语义处理。对可执行 语句生成中间代码或目标代码 4)其他一些静态语义检查:语义分析时可进行一些静态语义检查, 例如控制流检查。6.1 概况 6.1.1 语义分析的概念 1. 语义分析的含义 2. 语义分析的功能 1)确定类型：确定标识符所关联数据对象的数据类型。 2)类型检查：按照语言的类型规则，检查运算的合法性与运算分量类 型的一致性(相容性)。 3)识别含义：根据程序设计语言的语义定义(形式或非形式的)，确认 程序中各构造成分组合到一起的含义，并作相应的语义处理。对可执行 语句生成中间代码或目标代码。 4)其他一些静态语义检查：语义分析时可进行一些静态语义检查， 例如控制流检查