6.4 类型判断