WL语义分析.pdfVIP

语义分析 1/63 §1 语义分析基础 一、语义分析内容 1.静态语义、动态语义 静态语义：在编译阶段(从程序文本上) 动态语义：通过程序的执行才能检查的语义。 例如, int x, y, z; int a[5]; y=0; cinx; z=z/y+z/x+a[5]; 2/63 2.常见类型检查和语义检查 类型检查主要有以下几种: •各种条件表达式的类型是不是boolean型? • 运算符的分量的类型是否相容? • 赋值语句的左右部的类型是否相容? • 形参和实参的类型是否相容? • 下标表达式的类型是否为有序类型? • 函数定义中的函数类型和返回值的类型是否相容?