为何TypeScript报‘someVar未赋值即使用’错误？已在async回调中赋值

这个报错的核心原因是TypeScript的静态控制流分析无法跨异步函数边界跟踪变量的赋值状态，具体可以从这几点理解：

• TypeScript的静态分析不会将异步函数内部的赋值操作，与外部变量的使用建立关联。哪怕你用await确保了异步函数执行完毕，它也只会看到someVar被声明但未初始化，随后被直接读取——异步函数内部的赋值在分析时被视为一个独立的黑盒，无法被外部的变量状态检查所感知。
• 静态分析会考虑所有可能的代码路径：比如异步函数内部可能抛出异常，导致赋值语句根本没执行，此时someVar依然处于未初始化状态。只要存在这样一条路径，TypeScript就会判定变量存在“未赋值即使用”的风险，抛出错误。
• 即使你能确定运行时异步函数一定会完成赋值，TypeScript的类型系统也不支持这种跨异步函数的赋值跟踪逻辑。它的控制流分析是基于同步代码路径设计的，对于异步函数这种存在执行延迟的场景，不会做额外的运行时逻辑推断。

示例代码 #

let someVar: number;

const someFunc = async () => {
  someVar = 1;
}

await someFunc();

if (someVar == 1) {
  console.log('It is 1');
}

实际场景代码 #

let someVar;

await mongoose.connection.transaction( async (session) => {
  // atomic mongoose stuff happens here.
  someVar = await SomeModel.findByIdAndUpdate(id, {newThing});
});

if(someVar)... // error!

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