TypeScript为何允许将null/undefined赋值给null[]类型？开启strict模式仍不报错

先明确各代码行的类型逻辑 #

null[]的本质是Array<null>类型，代表「所有元素都为null的数组实例」，它的合法值必须是一个数组对象，本身不能是null、undefined这类非数组值。
逐行判断合法性：

• const b: null[] = [null]; 本身完全合法，无论配置如何都不会触发错误——赋值的数组元素恰好是null，完全匹配null[]的元素要求，这行本来就不该报错，不属于反直觉的范畴。
• 剩下三行代码：const a: null[] = null;、const c: null[] = undefined;、const d: null[] = [undefined]; 在真正开启空值检查的TS环境下，本来就应该触发类型报错。你遇到它们不报错的情况，核心原因是空值检查配置并没有真正生效，哪怕你在tsconfig里写了"strict": true。

核心配置的生效规则 #

TS空值校验的核心开关是strictNullChecks：开启后，null和undefined是独立的原始类型，只能赋值给自身类型、或者显式包含它们的联合类型，不能随意赋值给其他非空类型。
很多人以为"strict": true会开启所有严格检查，但它本质上只是一组严格配置的快捷别名，默认会把包括strictNullChecks在内的十多项严格检查设为开启状态，但存在两个高频踩坑点：

• 配置覆盖规则：TS会按书写顺序应用compilerOptions下的配置项，后面写的项会覆盖前面的默认值。如果你的tsconfig里在"strict": true之后，单独写了"strictNullChecks": false（这类写法常见于老项目迁移，属于历史残留配置），那么哪怕你开了strict，空值检查依然是关闭的。
• 工具的配置覆盖：VS Code自带的TS语言服务、第三方编译工具（比如旧版ts-node、构建工具内置的TS插件）可能会读取错误的工作区配置路径，或者强制覆盖空值检查的开关，导致你写的配置没有实际生效。

空值检查关闭时的类型表现 #

当strictNullChecks处于关闭状态时，TS的类型系统会把null和undefined视为所有类型的子类型：

• 你可以把null/undefined直接赋值给任何类型的变量，包括数组、对象、数字等非空类型，不会触发类型错误
• 结合TS数组默认的协变特性（如果类型S是类型T的子类型，那么S[]就是T[]的子类型），undefined作为null的子类型，[undefined]也就是undefined[]类型，会被视为null[]的子类，赋值时也不会触发元素类型不匹配的错误
  这就直接造成了你看到的“所有赋值都不报错”的现象。

快速验证方式 #

你可以在tsconfig.json的compilerOptions最末尾，单独加上一行"strictNullChecks": true，确保它没有被后续配置覆盖，重新加载TS服务/执行编译后，就会看到a、c、d三行代码全部触发预期的类型报错。

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