3.3.7 类型分析