TypeScript已做存在性检查，为何仍未将变量类型推断为string？

你遇到的这个情况，核心原因来自TypeScript静态类型分析的几个限制：

• process.env的默认类型定义：TypeScript给process.env的所有属性默认都设为string | undefined，因为环境变量是运行时注入的，TS没办法在编译期百分百确认某个环境变量一定存在。
• 类型收缩的作用域局限：虽然你通过if判断变量为空就抛出错误，逻辑上后续代码里这些变量肯定是存在的，但TS的类型收缩不会跨模块级的导出操作生效。它不会把这种“抛出错误中断执行”的逻辑，转化为对顶层变量类型的永久修改——静态分析层面，它无法确保模块加载时的执行流程一定会走到检查逻辑（哪怕实际运行时一定会触发）。
• 解构后的类型跟踪限制：从process.env解构出变量后，TS会把这些变量当作独立的常量，但不会持续关联它们和原对象的类型绑定，自然也不会因为后续的运行时检查，就把它们的类型从string | undefined收缩为string并应用到导出结果上。

简单说就是TS的静态分析没聪明到能把“抛出错误中断执行”这个逻辑，转化为对导出变量类型的永久收缩，只能靠类型断言或者自定义声明文件来手动修正类型。

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