第10章 语义分析（2）静态类型检查