13.3.3 类型判别