运行tsc时报错但VS Code无错误，如何配置tsc实现类型收窄？

问题 #

运行tsc命令时出现类型错误，但在VS Code中打开对应文件却无报错。代码中workAddresses的类型为(DawaAddress | undefined)[]，通过filter((item) => !!item)得到validWorkAddresses后，将其赋值给要求类型为DawaAddress[]的createRouteInput.workAddresses。VS Code可识别该过滤操作已排除undefined元素，但tsc无法识别，需调整tsc配置实现该类型收窄效果。

解决方案 #

1. 对齐TypeScript版本
   VS Code默认使用内置的TypeScript服务，可能与你本地/全局的tsc版本不一致：

• 执行tsc -v查看当前tsc的版本；
• 在VS Code右下角点击TypeScript版本号，切换到与tsc一致的版本，确保两者类型推断逻辑统一。

2. 启用严格模式相关配置
   在tsconfig.json中调整以下配置，让tsc的类型推断更精准：

• 开启strictNullChecks（它属于strict模式的子集，也可以直接设置"strict": true开启全部严格检查）：

  {
    "compilerOptions": {
      "strictNullChecks": true,
      // 或直接开启严格模式
      // "strict": true
    }
  }
  

  该配置会让编译器更严格地处理null/undefined类型，配合较新版本的TypeScript（推荐4.0+），就能自动识别filter((item) => !!item)的类型收窄效果。

3. 显式使用类型谓词兜底
   如果配置调整后仍有问题，可以用类型谓词显式告诉编译器过滤后的元素类型，这种方式不受配置影响，类型推断更可靠：

const validWorkAddresses = workAddresses.filter((item): item is DawaAddress => !!item);

内容的提问来源于stack exchange，提问作者Esben von Buchwald