6.5 类型断言