TypeScript类型收窄失效：如何无需额外检查消除参数警告？

一、类型收窄失效的原因 #

TypeScript的控制流分析只能追踪单个变量在当前分支的状态，无法跨条件关联多个变量的逻辑关系。

外层的if (a !== null || b !== null)仅做了“至少一个非空”的整体判断，但当进入else分支（即a为null）时，TS不会回溯外层的逻辑或条件来推导此时b必然非空。它只会单独识别b的原始类型Type2 | null，因此认为b可能为null，抛出类型不兼容警告。

二、无需额外检查/类型注解的解决方法 #

可以利用逻辑运算符的短路特性，将a和b合并为一个能被TS正确推导类型的表达式：

方法1：使用逻辑或（||） #

逻辑或会返回第一个非假值，结合外层的非空判断，最终结果必然是Type1 | Type2：

if (a !== null || b !== null) {
  DoSomething(a || b); // 无类型警告
}

方法2：使用空值合并运算符（??） #

如果需要严格区分null/undefined和其他假值（比如0、空字符串等，本场景中变量仅为对象或null，效果与||一致），可以用??，它只取第一个非null/undefined的值：

if (a !== null || b !== null) {
  DoSomething(a ?? b); // 无类型警告
}

原理说明 #

这两个运算符的表达式结果，在a为null时会直接返回b，而外层条件已经确保此时b不可能为null；同理a非null时返回a。TS能正确推导该表达式的类型为Type1 | Type2，完全符合DoSomething的参数要求。

内容的提问来源于stack exchange，提问作者mohitb