1.4.1 类型一致性检查