为何TypeScript提示变量test在赋值前被使用？

我无法理解为何以下代码会被编译器提示变量test在赋值前被使用。明明我已经调用了myFunc函数，test应该被赋值了才对？如果取消注释同层级的test赋值语句就可以正常运行，直接赋值和通过函数赋值有什么区别？

let test: number

function myFunc() {
    test = 200
}

myFunc()

// uncomment this and it works
// test = 200

test.toFixed()

这是TypeScript的控制流分析机制导致的差异：

• 直接在当前作用域赋值时，TypeScript能清晰追踪到test在调用toFixed()前已完成赋值，因此不会触发报错。
• 但通过函数内部赋值时，TypeScript的静态分析不会深入函数内部追踪变量状态——它默认认为函数可能未被执行（哪怕你写了调用语句），或者函数内的赋值存在分支遗漏，所以判定test仍可能处于未初始化状态。

简单来说，TypeScript的控制流分析不会跨函数确认变量的赋值情况，只认当前作用域内的直接赋值操作。要解决这个问题，可参考以下方案：

• 给test设置初始值：let test: number = 0
• 在调用toFixed()前添加类型守卫：if (test !== undefined) test.toFixed()
• 改造函数为返回值赋值：const test = myFunc()（同时修改myFunc返回200）

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