为何TypeScript回调函数内无法复用外部类型守卫？

先看你给出的代码示例：

// Example Setup
declare var foo:{bar?: {baz: string}};
function immediate(callback: () => void) {
  callback();
}

// Type Guard
if (foo.bar) {
  console.log(foo.bar.baz); // ✅ 正常运行！
  immediate(() => {
    console.log(foo.bar.baz); // ❌ TS错误：'foo.bar' is possibly 'undefined'.(18048)
  });
}

原因 #

TypeScript的类型守卫只在当前同步执行的代码块内有效。虽然你现在的immediate函数是同步调用回调，但TypeScript没办法识别这个函数的执行时机——它只知道这是一个接受回调的函数，无法保证在回调执行时，foo.bar还保持着类型守卫时的非undefined状态（比如如果immediate改成异步执行，或者在回调执行前有其他代码修改了foo.bar，就会出问题）。所以TypeScript会保守地认为回调里的foo.bar可能变回undefined。

解决办法 #

1. 把foo.bar赋值给局部变量（最推荐）

局部变量不会被外部代码修改，TypeScript能安全地跟踪它的类型：

if (foo.bar) {
  const bar = foo.bar;
  console.log(bar.baz);
  immediate(() => {
    console.log(bar.baz); // ✅ 无错误
  });
}

2. 使用非空断言（谨慎使用）

如果你能100%确定回调执行时foo.bar不会是undefined，可以用!非空断言绕过TypeScript的检查：

if (foo.bar) {
  console.log(foo.bar.baz);
  immediate(() => {
    console.log(foo.bar!.baz); // ✅ 无错误
  });
}

3. 给immediate添加更精确的类型（进阶）

如果immediate确实是同步执行回调，可以通过类型注解让TypeScript知道回调会在当前作用域的类型守卫生效期间执行：

declare var foo:{bar?: {baz: string}};
// 用泛型捕获当前上下文的类型约束
function immediate<T extends () => void>(callback: T): void {
  callback();
}

if (foo.bar) {
  console.log(foo.bar.baz);
  immediate(() => {
    console.log(foo.bar.baz); // ✅ 无错误
  });
}

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