2.3 类型检查