静态语义检查

1) 类型检查，如参与运算的操作数其类型应相容。(2) 控制流检查，用以 保证控制语句有合法的转向点。(3) 一致性检查，如在相同作用域中标识符只能说明一次、case语句的标号不能相同等。