TypeScript泛型函数返回类型中null/undefined声明未生效问题

问题根因 #

泛型函数返回类型中null/undefined联合类型失效的核心原因是TypeScript配置未开启strictNullChecks选项。
当strictNullChecks关闭时，TypeScript类型系统默认将null和undefined视为所有类型的子类型，因此T | null | undefined会被自动合并简化为T，声明的联合类型不会生效。

修复方案 #

• 第一步：修改项目根目录的tsconfig.json，在compilerOptions中添加如下配置：

{
  "compilerOptions": {
    "strictNullChecks": true
  }
}

如果已经开启了strict: true配置，strictNullChecks默认是启用状态，不需要额外添加。

• 第二步：配置生效后重新检查类型，测试用例中的变量y会被正确推导为number | null | undefined，调用y.toFixed()时TypeScript会直接抛出类型错误，符合预期。

额外说明 #

• 如果项目因为历史原因暂时无法全局开启strictNullChecks，可以在TS文件的第一行添加// @ts-check局部开启严格空校验，或者显式定义工具类型type Maybe<T> = T | null | undefined包装返回值，强制TS保留联合类型声明。
• 同步读取Promise结果的get函数存在固有风险：Promise未resolve时返回的永远是初始的undefined，建议在调用时增加空值判断，比如使用可选链get(promise)?.xxx规避运行时报错。
• 如果开启配置后问题依然存在，建议将TypeScript升级到4.8及以上的稳定版本，旧版本TS存在部分泛型联合类型推导异常的已知bug。

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