TypeScript中null/undefined类型拓宽行为与《Programming Typescript》描述不符的疑问

你遇到的情况是TypeScript版本迭代和配置项共同作用的结果，既不是作者描述有误，也不是你的配置有问题——只是规则变了。

1. TypeScript的类型拓宽规则变更 #

2019年《Programming Typescript》出版时，TypeScript的类型系统在未启用严格空检查的情况下，确实会将用null/undefined初始化的let变量拓宽为any类型，这和书中的描述完全一致。

但后续TypeScript版本（尤其是严格模式推广后）调整了规则：当启用strictNullChecks配置项时，这种自动拓宽行为会被禁用。此时let a = null会被直接推断为null字面量类型，后续赋值其他类型自然会触发类型不匹配的报错，也就是你在编辑器里看到的Type '3' is not assignable to type 'null'。

2. 你的配置影响 #

编辑器里出现报错，说明你的项目tsconfig.json中大概率开启了strictNullChecks（或者直接开启了strict选项——因为strict是一组严格检查规则的集合，包含strictNullChecks）。这是当前TypeScript项目的推荐配置，能帮你提前规避空值相关的潜在bug。

如果想复现书中的行为，只需在tsconfig.json中修改配置：

{
  "compilerOptions": {
    "strictNullChecks": false
  }
}

关闭该选项后，let a = null会被推断为any类型，赋值数字或字符串都不会触发报错。

总结 #

作者的描述在2019年的TypeScript版本和对应配置下是完全正确的，只是随着TypeScript对类型安全性的重视，严格检查模式成为主流，导致现在的默认行为和书中示例产生了差异。

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