为什么TypeScript会将用null初始化的let变量推断为any类型？

首先明确一个前提：你提到的null初始化的let变量被推断为any的情况，仅在未开启strictNullChecks编译配置时才会出现。如果开启了该严格配置，上述代码中的value会被正确推断为null类型。

非严格模式下该推断逻辑的原因 #

• 历史兼容设计：TypeScript 最初的版本没有引入严格空值检查，此时null和undefined是所有类型的子类型，可以赋值给任意类型的变量。如果此时把初始值为null的let变量推断为null类型，会导致开发者后续给变量赋值其他合法类型时报错，不符合当时的类型系统设计逻辑，为了兼容老项目，这个默认行为一直保留至今。
• 贴合常见使用场景：let声明的变量本身就是可重新赋值的，绝大多数开发者声明let value = null的场景下，后续都会给变量赋值其他类型的有效值，不会永远保持null值。如果直接推断为null类型，开发者需要额外手动给变量加联合类型注解，反而增加了不必要的开发成本。
• 降低入门门槛：TypeScript 默认关闭严格模式的设计初衷就是降低新手的上手成本，宽松的空值推断逻辑可以避免新手刚接触时遇到大量不符合预期的类型报错。

验证配置差异的代码示例 #

// 未开启 strictNullChecks 时
let value = null; // 推断为 any
value = 123; // 无报错
value = 'test'; // 无报错

// 开启 strictNullChecks 时
let value2 = null; // 推断为 null
value2 = 123; // 类型错误：不能将类型“number”分配给类型“null”

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