为什么在TypeScript中闭包会取消对已收窄的const类型的收窄？

你肯定碰到过这种让人挠头的情况吧？比如我之前写了这么个函数：它会返回另一个能解决全球饥饿问题的函数，但有个前提——只有当确实还有人处于饥饿状态时才返回这个内部函数，不然就返回null。而且有意思的是，只有在判定还有人饿的时候，这个内部函数才会被创建，还会把“是否还有人饿”这个const变量给包裹在闭包里。

按道理说，执行这个内部函数的时候，逻辑上这个变量的类型已经被收窄成true或者"fileNotFound"了，但TypeScript偏偏不买账，不认这个收窄后的类型。这到底是为啥？

其实核心原因在于TypeScript的类型检查器处理闭包时的保守性。哪怕你声明的是const变量，TypeScript也没办法百分百保证，在闭包执行的那个时间点，这个变量的类型还是你之前收窄后的样子。虽然const基本类型变量不能被重新赋值，但类型系统的设计是通用的——如果是引用类型的const，内部属性是可以被修改的。就算是基本类型，TypeScript也不会假设闭包执行时的外部环境和你创建闭包时完全一致，毕竟闭包可能在任何时候被调用，中间可能发生各种意想不到的变化。

举个简单的例子：你通过条件判断把一个const变量的类型从宽泛的联合类型收窄成了更具体的类型，但当你把这个变量放进闭包后，TypeScript会默认把它的类型还原回原来的联合类型。因为类型检查器没办法追踪到闭包执行前，有没有其他代码（哪怕是你没考虑到的）影响了这个变量的状态——哪怕实际上const基本类型不会被改，但类型系统要兼顾所有场景，所以只能采取这种保守的策略。

说白了，TypeScript这么做是为了避免因为无法完全追踪闭包的执行时机和外部环境变化，而导致潜在的类型错误，毕竟安全永远是类型系统的首要目标嘛。

备注：内容来源于stack exchange，提问作者user29889977