TypeScript闭包内变量提示可能为undefined是否为预期行为？

复现场景 #

以下代码中，TS会在注释标注位置提示createdEngine可能为undefined：

function createCar(name: string, callback: () => void)

function buildEngine(name: string): Engine

function createCarWithEngine(carName: string, engineName: string, callback: (param: Engine) => void) {
  let createdEngine = createdEngines.find((engine) => engine.name === engineName)
  if (!createdEngine) createdEngine = buildEngine(engineName)

  createCar(carName, () => callback(createdEngine)) // 类型报错位置
}

将代码改写为如下形式后，TS不再抛出类型错误：

const fn = callback(createdEngine)
  createCar(carname, () => fn)

核心疑问：该现象是否为TypeScript的预期设计行为？

结论 #

这是TypeScript的预期设计行为，不是类型检查bug。

原因解释 #

• TS的控制流类型窄化仅对同步执行的代码块生效，不会自动沿用到延迟执行的闭包中。
  写完if (!createdEngine) createdEngine = buildEngine(engineName)这行判断后，紧接着的同步代码范围内，TS确实能判定createdEngine是Engine类型、不存在undefined的可能。但传入createCar的回调是延迟触发的，TS做静态检查时无法预判这个回调的具体执行时机：由于createdEngine是用let声明的可变变量，完全存在「判断完成后、回调执行前，createdEngine被其他逻辑重新赋值为undefined」的可能性，因此TS会放弃之前的窄化结果，回到变量最初的声明类型Engine | undefined，触发类型报错。
• 改写后的写法不报错，是因为callback(createdEngine)是在类型窄化生效的同步作用域内直接执行的，TS能确定这一行运行时createdEngine一定是合法的Engine类型，执行结果存入const声明的不可变变量fn后，后续闭包仅引用固定值fn，不存在可变变量带来的类型风险，自然不会触发报错。

推荐修复方案 #

最稳妥的写法是从变量声明层面就排除undefined类型，从根源规避可变变量带来的闭包类型问题：

function createCarWithEngine(carName: string, engineName: string, callback: (param: Engine) => void) {
  // 用空值合并运算符直接完成初始化，createdEngine类型固定为Engine，不带undefined
  const createdEngine = createdEngines.find(engine => engine.name === engineName) ?? buildEngine(engineName)
  createCar(carName, () => callback(createdEngine)) // 无类型报错
}

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