在纯 JavaScript 项目中接入 TypeScript 类型检查时，仅靠参数默认值（如 x = 5）无法准确推导类型；需结合 JSDoc 显式标注联合类型与可选性，才能让 tsc 正确校验 parseInt(x) 等操作。
在纯 javascript 项目中接入 typescript 类型检查时，仅靠参数默认值（如 `x = 5`）无法准确推导类型；需结合 jsdoc 显式标注联合类型与可选性，才能让 tsc 正确校验 `parseint(x)` 等操作。
当使用 TypeScript 编译器（tsc）对 JavaScript 文件进行类型检查时，它会依据 JSDoc 注释而非运行时行为推断类型。虽然 function f(x = 5) 会让 TS 推断 x: number，但这是一种不安全的启发式推断——实际调用时若传入字符串（如 f("123")），类型系统却无法捕获矛盾，导致 parseInt(x) 虽然能运行，但类型检查失效。
✅ 正确做法是：显式声明参数为联合类型，并标注其可选性与默认逻辑。例如：
/**
* @param {number|string} [withProp=5] - 支持数字或字符串，默认为 5
*/
function doSomething(withProp = 5) {
// tsc 现在允许 parseInt(withProp)，因为 string | number 包含 string
return parseInt(String(withProp), 10);
}⚠️ 注意事项：
-
[withProp=5]中的方括号表示参数可选（即undefined也是合法输入），而=5是 JS 运行时默认值，JSDoc 不执行运行时逻辑，仅描述契约； - 若参数必须存在（不允许
undefined），但仍有默认值，应写为@param {number|string} withProp并在函数体内处理undefined，或改用@default 5（非标准，部分工具支持，但 tsc 不识别）； - 对于 Vuex getter 中的匿名函数（如
getters: { foo: () => {...} }），可在其外层添加内联 JSDoc：
export const getters = {
/**
* @param {import('vuex').Store<any>} store
* @returns {(id?: string | number) => string}
*/
getItemById: (store) => (id = 'default') => {
// id 类型被正确识别为 string | number | undefined
return String(id).toUpperCase();
}
};? 进阶技巧：配合 @typedef 定义复用类型，提升可维护性：
立即学习“Java免费学习笔记（深入）”；
/**
* @typedef {'active' | 'inactive' | 'pending'} Status
* @typedef {{ id: number; status: Status }} User
*/
/**
* @param {User} user
* @param {Status} [status='pending'] - 状态，默认 pending
*/
function updateUser(user, status = 'pending') {
user.status = status;
}总结：JS 中的类型安全不依赖默认值推断，而依赖精确、主动的 JSDoc 注解。始终将参数视为“可能为默认值类型，也可能为显式传入的其他兼容类型”，用联合类型（string | number）、可选标记（[param]）和清晰文档共同构建可靠类型契约。
