为何TypeScript误判变量可能为undefined（实际不可能）？

问题重现 #

以下代码中，TypeScript错误地认为b可能是undefined，但实际上在else分支里，b必然是true（否则!a && !b会触发函数提前返回）：

const f = (a?: boolean, b?: boolean) => {
  if (!a && !b) return;
  let c: boolean;
  if (a) c = false;
  else c = b; // 这里TypeScript报错：Type 'boolean | undefined' is not assignable to type 'boolean'.
}

临时修复方案 #

通过调整if条件，显式告知TypeScript分支内b的状态，可以解决错误：

const f = (a?: boolean, b?: boolean) => {
  if (!a && !b) return;
  let c: boolean;
  if (a || !b) c = false;
  else c = b;
}

原因解析 #

TypeScript的控制流分析是局部、逐段进行的，它不会自动组合多个条件分支的逻辑做推导：

• 当执行到else c = b;时，TypeScript仅能识别当前分支满足!a（因为if (a)不成立），但不会回溯之前的if (!a && !b) return条件，推导“既然函数未返回，说明!a && !b不成立，结合当前!a为真，必然b是true”这个深层逻辑。

这种跨条件的逻辑推导超出了TypeScript当前控制流分析的能力范围，需要开发者通过显式条件判断（如修复方案中的a || !b）或类型断言（如c = b!）来明确变量类型。

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