为何TypeScript不对非空类型的空值检查发出警告？

编译器不警告的技术原因 #

TypeScript 的核心定位是类型安全校验工具，而非代码质量检测工具。它会严格管控类型赋值的合法性（比如a2 = null报错，因为Array<Uint32Array>不包含null类型），但不会主动识别并报错「恒假条件分支」——除非是if (false)这种字面量级别的极端情况。

编译器默认假设开发者编写的条件判断可能存在特殊场景（如跨环境兼容、动态类型交互），不会过度干涉代码逻辑的合理性，因此不会对变量 === null（即使变量类型不含null）这类判断抛出错误。

你的类型定义完全正确 #

let a2: Array<Uint32Array> = [];的类型声明符合预期，Array<Uint32Array>确实不包含null/undefined类型，所以a2 = null触发错误是strictNullChecks规则生效的正确表现。

强制触发警告的方法 #

TypeScript 原生编译器不支持该检测，需配合ESLint的TypeScript插件实现：

• @typescript-eslint/no-unreachable：标记永远无法执行的代码块，当if (a2 === null)条件恒假时，分支内的代码会被识别为不可达并抛出警告。
• @typescript-eslint/no-constant-condition：直接对恒真/恒假的条件表达式本身发出警告。

如果需要手动验证该条件的错误性，可以使用// @ts-expect-error注释：

// @ts-expect-error: a2 不可能为 null
if (a2 === null) {
  console.log('this will never happen');
}

若编译器未触发错误，该注释会提示「期望错误但未检测到」，间接验证逻辑问题。

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