类型收窄

协变与逆变、类型收窄（narrowing）与类型断言

作者尚未发布公开导语，验证后可阅读全文。