展开 在编译过程中,进行类型分析和检查是