13.2 类型检测