进行类型检查