TypeScript 类型收窄

类型守卫把宽类型逐步收窄到可用分支，能减少运行时才暴露的空值问题。

核心说明

TypeScript 的类型收窄把 unknown 或联合类型逐步变成可以安全使用的具体类型。它的价值不在于写更多类型，而在于让分支条件和数据边界可验证。

关键点

• typeof 适合原始类型，in 和自定义谓词适合对象结构。
• 不要为了消除报错直接使用 as，先确认运行时数据真的满足断言。
• 联合类型配合穷尽检查，可以在新增分支时提醒维护者。