Appearance
类型守卫：控制流分析如何把宽类型缩窄
主题定位
TypeScript 的缩窄依赖控制流分析，而不是运行时真的改变了值的类型。
- TypeScript 的缩窄依赖控制流分析，而不是运行时真的改变了值的类型
- 类型守卫的目标是在分支内部把联合类型缩窄为更具体的成员
- 讨论它时要把编译器视角与运行时事实分开
- 错误的自定义类型谓词会让类型系统产生虚假的安全感
关键概念拆分
对象一
对象一 先看职责边界，再看生命周期、数据形态和与其他对象的协作关系。 对象一 的差异最终会体现在 类型表达、缩窄推导、工程约束 这几个维度。 对象一 讲清适用边界、失效条件和代价结构，结论才有技术含量。
对象二
对象二 先看职责边界，再看生命周期、数据形态和与其他对象的协作关系。 对象二 的差异最终会体现在 类型表达、缩窄推导、工程约束 这几个维度。 对象二 讲清适用边界、失效条件和代价结构，结论才有技术含量。
差异对照与适用场景
- TypeScript 的缩窄依赖控制流分析，而不是运行时真的改变了值的类型
- 类型守卫的目标是在分支内部把联合类型缩窄为更具体的成员
- 讨论它时要把编译器视角与运行时事实分开
- 错误的自定义类型谓词会让类型系统产生虚假的安全感
- typeof、instanceof、in、字面量判别字段和用户自定义谓词函数都会参与控制流分析
- 当条件分支排除某些可能性后，编译器在该路径上收窄变量类型，这就是 narrowing
工程建议与边界
- TypeScript 的缩窄依赖控制流分析，而不是运行时真的改变了值的类型
- 类型守卫的目标是在分支内部把联合类型缩窄为更具体的成员
- 讨论它时要把编译器视角与运行时事实分开
- 错误的自定义类型谓词会让类型系统产生虚假的安全感
- typeof、instanceof、in、字面量判别字段和用户自定义谓词函数都会参与控制流分析
问答设计及延伸
标准回答
回答 类型守卫：控制流分析如何把宽类型缩窄 时，先定义 对象一、对象二 各自解决的问题，再比较它们在 类型表达、缩窄推导、工程约束 上的差异，最后给出选型边界和工程代价。
追问拆解
- 类型守卫：控制流分析如何把宽类型缩窄 与“unknown、any 与 never：顶层类型和底层类型的分工”的边界关系
- 类型守卫：控制流分析如何把宽类型缩窄 与“输入校验：前端边界上的 schema、类型与信任问题”的边界关系
- 跨标签页、跨域、多端协作场景下的结论变化
- 维护成本上升后的优先级调整
容易失分的点
- 只给“哪个好”的结论，不先拆对象
- 只报 API 或术语，不解释运行时行为和代价
- 缺少真实场景，导致结论过度绝对
项目映射
- 结合真实系统说明 对象一 到 对象二 分别落在哪段链路
- 补充未选方案的放弃原因和约束差异
- 补充线上问题、治理动作和验证结果