要在 JavaScript 项目中使用 TypeScript 进行严格的空值检查，核心是启用 strictNullChecks 并配合 checkJs: true、allowJs: true 及 JSDoc 类型标注（如 @type {string|null}），使 TS 对 .js 文件执行静态空值校验。
要在 JavaScript 项目中使用 TypeScript 进行严格的空值检查，核心不是“在 JS 里配 TS”，而是将 JavaScript 文件纳入 TypeScript 类型系统——通过 启用 strictNullChecks 并配合 类型标注或 JSDoc 注释 实现静态空值校验。
1. 确保项目已启用 TypeScript 类型检查（即使写的是 .js）
TypeScript 支持对 JavaScript 文件进行类型检查（需启用 checkJs: true），但前提是项目已配置 tsconfig.json 并正确加载：
- 项目根目录下必须有
tsconfig.json，且 VSCode 打开的是该根目录（不是子文件夹） -
tsconfig.json中需明确开启：{"compilerOptions": { "checkJs": true, "strict": true, "strictNullChecks": true, "allowJs": true }} -
allowJs: true允许 TS 处理 .js 文件；checkJs: true启用对 JS 的类型检查
2. 在 JavaScript 文件中主动声明可能为空的类型
JS 本身无类型语法，但可通过 JSDoc 注释表达类型意图，让 strictNullChecks 生效：
- 用
@type显式标注联合类型：/** @type {string|null} */<br>let name = null;
此后name.toUpperCase()会报错：“Object is possibly 'null'” - 可选属性自动推断为
T | undefined：/** @type {{ email?: string }} */<br>const user = {};
则user.email类型即string | undefined - 函数参数用
@param标注可选性：/** @param {string=} msg */<br>function log(msg) { ... }
编译器会将msg视为string | undefined
3. 配合运行时检查，避免绕过校验
strictNullChecks 是编译期检查，JS 运行时仍可能产生 null/undefined。因此需同步做好防护：
立即学习“Java免费学习笔记（深入）”；
- 访问前做显式判断：
if (user?.name) { ... }或if (user.name != null) { ... } - 慎用非空断言
!（如user!.name），它仅跳过检查，不改变实际值 - 避免用
== null混淆null和undefined；严格模式下建议用=== null或!= null（等价于!== undefined && !== null）
4. 常见失效原因与修复
如果配置后没报错，大概率是环境未正确加载检查：
- VSCode 右下角显示 “TS x.x.x (Bundled)” → 按
Ctrl+Shift+P→ 选 “TypeScript: Select TypeScript Version” → 切换为 “Use Workspace Version” - 修改 tsconfig.json 后，执行 “TypeScript: Restart TS server”
- 确认 .js 文件路径在
include中（如"include": ["src/**/*"]），未被exclude排除 - 禁止在 tsconfig.json 中写 JS 风格注释（
//）或尾随逗号，会导致配置解析失败
