类型判定