如何配置TypeScript使可选链的undefined类型被类型系统捕获？

一、为什么类型信息丢失？ #

1. 外部依赖类型声明优先级：你提到getModel是外部依赖，直接修改业务代码里的函数返回类型不会生效——外部依赖的.d.ts类型声明文件会覆盖你在本地代码里的临时修改。如果依赖实际可能返回undefined，你需要通过自定义类型声明文件修正它的类型，比如在项目根目录创建src/types/[依赖包名].d.ts，内容示例：

declare module '依赖包名' {
  export function getModel(): Model | undefined;
}

2. 严格空值检查未开启：如果tsconfig.json中strictNullChecks为false，TypeScript会自动将undefined和null合并到所有类型中，不会显式标注，所以鼠标悬浮查看model类型时只会显示Model，而非Model | undefined。

二、为什么processModelName(model?.name)未触发报错？ #

当strictNullChecks关闭时，TypeScript允许将undefined/null赋值给非空类型参数。model?.name的实际类型是string | undefined，但因为空值检查未开启，TypeScript不会检测到类型不匹配。

三、tsconfig.json配置方案 #

要启用该检测，需要开启严格空值检查及相关严格模式选项，修改tsconfig.json的compilerOptions：

{
  "compilerOptions": {
    // 核心：开启严格空值检查，强制区分null/undefined与其他类型
    "strictNullChecks": true,
    // 建议开启完整严格模式，包含所有类型安全检查（等价于开启strictNullChecks等多个选项）
    "strict": true,
    // 可选：确保函数参数类型严格匹配，避免隐式类型转换
    "strictFunctionTypes": true
  }
}

开启strictNullChecks后：

• model的类型会正确显示为Model | undefined（如果已修正依赖的类型声明）
• model?.name的类型为string | undefined，传递给仅接受string的processModelName时会直接触发TypeScript错误

临时兼容方案（无需修改依赖类型） #

如果暂时不想修改依赖类型声明，也可以通过类型断言手动标注getModel的返回类型：

const model = getModel() as Model | undefined;

此时配合strictNullChecks: true，processModelName(model?.name)会立即触发类型错误。

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