7.4 类型判断与断言