嵌套局部作用域中TypeScript类型推断失效的原因是什么？

核心原因是：TypeScript的控制流类型窄化不会跨函数边界传递，具体细节如下：

• 函数执行时机不受当前控制流约束
  你在if (obj.x === null) return这里已经排除了obj.x为null的情况，但函数（不管是声明的foo还是立即执行函数）属于独立的执行单元，它们可能在这段代码执行完很久之后才被调用——这期间obj.x完全有可能被其他代码重新赋值为null（哪怕obj是const，只要它的属性是可写的就可以修改）。TypeScript无法保证函数执行时，之前的类型窄化条件仍然成立，所以不会把窄化后的number类型带入函数内部。

• 块级作用域与函数作用域的本质区别
  普通的{}块级作用域是同步执行的，在if返回后的块里，代码会立刻执行，此时obj.x不可能是null（因为如果是null程序已经提前return了），所以TypeScript可以安全地将obj.x的类型窄化为number。但函数是可延迟执行的逻辑，TypeScript无法跟踪到函数调用时的上下文状态，只能保留变量的原始类型number | null。

如果想让函数内部也能获得窄化后的类型，可以这么做：

• 在函数内部重新做类型检查：比如在foo里加if (obj.x === null) return，之后obj.x就会被推断为number
• 将obj作为参数传入函数，让TypeScript基于传入的参数类型做推断

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