TypeScript回调中类型收窄差异：let变量与对象属性的疑问

TypeScript在回调中是否保留类型收窄结果，核心取决于编译器能否确定回调执行时，被收窄的目标不会被外部代码篡改。以下针对你提到的三种场景逐一解释：

1. 对象属性：回调中不保留类型收窄 #

看官方示例：

function fn(obj: { name: string | number }) {
  if (typeof obj.name === "string") {
    // 报错：obj.name可能已变为number
    window.setTimeout(() => console.log(obj.name.toLowerCase()));
  }
}

obj是引用类型，obj.name作为其属性，即使在if分支里被收窄为string，但回调（比如setTimeout的异步回调）执行前，任何持有obj引用的代码都可能修改obj.name的类型（比如同一函数后续代码、其他闭包）。编译器无法穷尽追踪所有可能的修改路径，所以会放弃保留类型收窄结果。

2. 函数内的let变量：回调中保留类型收窄 #

看你提供的函数内let变量示例：

const needsString = function(parameter: string) {
  console.log(parameter);
}

function doSomething () {
  let str: string | undefined;
  const obj: { property?: string } = { property: 'abc' };

  if (str) {
    const foo = async () => {
      needsString(str); // 通过类型检查
    }
  }
}

这里的str是函数作用域内的let变量，TypeScript编译器会做一个安全假设：在当前函数作用域内，没有其他代码会在回调执行前修改这个变量——除非你显式写出了修改str的代码（比如在if分支后加str = undefined）。因为函数作用域是封闭的，外部代码无法直接访问这个变量，编译器可以确定回调执行时str的类型不会被篡改，所以保留类型收窄结果。

而对比同函数内的obj.property，因为obj是引用类型，哪怕在函数内，也可能通过obj的引用修改property，所以编译器不保留其收窄结果。

3. 全局作用域的let变量：回调中不保留类型收窄 #

看全局let变量的示例：

let str: string | undefined;

if (str) {
  const foo = async () => {
    needsString(str); // 不通过类型检查
  }

  const bar = () => {
    needsString(str); // 不通过类型检查
  }
}

全局作用域的变量是所有代码可访问的，哪怕是同步回调，也可能在回调执行前被其他脚本、异步任务修改str的类型。编译器无法保证回调执行时str还是收窄后的string类型，所以无论回调是异步还是同步，都不会保留类型收窄结果。

总结差异本质 #

• 对象属性：引用类型的属性存在多路径修改可能，编译器无法保证类型稳定
• 函数内let变量：封闭作用域下，编译器默认无外部修改，可保证类型稳定
• 全局let变量：开放作用域下，存在外部修改风险，无法保证类型稳定

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