TypeScript函数参数类型变更在forEach中未被识别的问题

问题重现 #

你的代码中，虽然通过if (isAllChecked === undefined)将参数赋值为boolean类型，并且在forEach外部直接调用checkChecked(isAllChecked)不会报错，但在forEach的回调函数中传入isAllChecked时，TypeScript仍然认为它是boolean | undefined类型，报错如下：

Argument of type 'boolean | undefined' is not assignable to parameter of type 'boolean'. Type 'undefined' is not assignable to type 'boolean'.

问题代码：

declare function checkChecked(isAllChecked: boolean): void

declare function determineIfChecked(): boolean

const checkBoxes: number[] = []

const toggleCheckAll = (isAllChecked?: boolean): void => {
  if (isAllChecked === undefined) isAllChecked = determineIfChecked()

  checkBoxes.forEach(() => checkChecked(isAllChecked))
  checkChecked(isAllChecked)
}

核心原因 #

TypeScript的类型收窄是基于当前作用域的静态分析，但这里存在两个关键限制：

1. 函数参数是可变绑定：即使你在if分支中给isAllChecked赋值为boolean，它本质上还是一个可以被重新赋值的变量。TypeScript无法保证在forEach回调执行前，这个变量不会被再次修改为undefined（哪怕你的代码里没这么写，类型系统也要考虑这种潜在可能性）。
2. 闭包的类型检查独立：forEach的回调是一个独立的闭包函数，它捕获的是isAllChecked变量的引用。闭包的类型检查不会继承外部作用域的类型收窄结果——因为闭包可能在任意时机执行，外部变量的类型可能已经发生变化。

对比来看，forEach外部的checkChecked(isAllChecked)不报错，是因为它处于if语句后的当前作用域，TypeScript能静态确认此时变量的类型是boolean；但闭包属于另一个函数作用域，只能看到变量的原始声明类型boolean | undefined。

解决思路验证 #

如果把isAllChecked赋值给一个不可变的const变量，TypeScript就能确定它的类型永远是boolean，闭包中使用也不会报错：

const toggleCheckAll = (isAllChecked?: boolean): void => {
  // 用const变量固化类型
  const finalIsChecked = isAllChecked ?? determineIfChecked();
  checkBoxes.forEach(() => checkChecked(finalIsChecked));
  checkChecked(finalIsChecked);
}

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