3.1.7 类型检查