为何TypeScript无法识别双可空变量校验后的非null类型收窄结果

TypeScript的类型收窄能力基于控制流分析实现，这套分析机制有明确的性能边界，不会对所有逻辑上成立的场景做穷举验证：

• 你写的前置校验if (!a && !b) { return; }，只会让TS在if代码块内部把a、b收窄为null类型；跳出if块后，TS仅能记录「a和b不同时为null」这个松散的事实，不会把这个事实代入到后续表达式的类型计算中。
• a || b这类逻辑表达式的类型推导规则是固定的：只要两个操作数的类型中包含null，结果类型就会默认保留null。TS不会额外回溯前面的控制流条件，去证明两个操作数不可能同时为falsy值——这类跨多变量的逻辑校验会让编译复杂度呈指数级上升，为了保证大型项目的编译速度，TS团队刻意给控制流分析设置了复杂度上限，不会支持所有逻辑成立、但推导成本极高的收窄场景。

你可以根据代码风格需求选以下几种写法，都比直接给整个表达式做as SomeType断言更稳妥：

• 最推荐的无断言写法，TS可以100%通过控制流自动推导类型，完全不需要手动做类型标记：

if (!a && !b) {
  return;
}

let c: SomeType;
if (a !== null) {
  c = a;
} else {
  // 进入else分支时a已经被收窄为null，结合前置的提前返回逻辑，TS会自动判定b一定为非null的SomeType
  c = b;
}

如果你的SomeType可能包含0、空字符串、false这类合法的falsy值，就用上面的a !== null做分支判断，不要用if (a)或者||运算符，避免把合法的falsy值误判为空。

• 追求代码简洁的话，可以用小范围的非空断言，比全表达式类型断言的风险更低，断言的作用范围更明确：

if (!a && !b) {
  return;
}
// 当a为null时，b必然非空，b!的断言是完全安全的
const c = a ?? b!;

这里用空值合并运算符??替代||，只会在左侧值为null/undefined时取右侧值，可以兼容所有合法的falsy场景。

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