在纯 JavaScript 项目中接入 TypeScript 类型检查时，仅依赖参数默认值（如 x = 5）会导致类型推断过于宽泛或不准确；需通过显式 JSDoc 注解明确参数类型，尤其适用于 Vuex getter 中的匿名函数等难以添加类型声明的场景。
在纯 javascript 项目中接入 typescript 类型检查时，仅依赖参数默认值（如 `x = 5`）会导致类型推断过于宽泛或不准确；需通过显式 jsdoc 注解明确参数类型，尤其适用于 vuex getter 中的匿名函数等难以添加类型声明的场景。
TypeScript 的 JavaScript 支持（通过 @ts-check 和 JSDoc）允许我们在不迁移至 .ts 文件的前提下获得强类型校验。但需注意：默认值仅影响类型推断的“后备路径”，而非类型契约。例如：
function doSomething(withProp = 5) {
return parseInt(withProp); // ❌ TS2345: Argument of type 'number' is not assignable to parameter of type 'string'.
}此处 TypeScript 推断 withProp 为 number | undefined（因 = 5 暗示可选且初始为数字），而 parseInt 仅接受 string，故报错——但这并非因为 withProp 必须 是 number，而是推断结果未体现其实际使用意图（即：它应被设计为可传入字符串或数字）。
✅ 正确做法是使用 JSDoc 显式声明参数类型，并支持联合类型与默认值语义：
/**
* @param {string|number} [withProp=5] - 输入值，支持字符串或数字，默认为 5
*/
function doSomething(withProp = 5) {
return parseInt(String(withProp), 10); // ✅ 安全转换
}对于 Vuex getter 中嵌套的匿名函数（如 getters: { foo: (state) => (id = 1) => {...}}），同样适用：
立即学习“Java免费学习笔记（深入）”；
const store = new Vuex.Store({
getters: {
// 匿名函数内需显式标注参数类型
itemById: (state) => {
/** @param {string|number} [id=''] */
return function(id = '') {
return state.items.find(item => String(item.id) === String(id));
};
}
}
});⚠️ 注意事项：
-
@param {T} [name=default]中的[name=default]表示该参数可选，且默认值为default；类型T应覆盖所有合法输入（包括默认值的类型）； - 避免仅依赖运行时默认值推断（如
x = 'hello'不代表x只能是 string），始终以接口契约为准； - 对复杂逻辑，可配合
@typedef提前定义复用类型，提升可维护性； - 确保编辑器启用
// @ts-check或jsconfig.json中配置"checkJs": true。
总结：在 JS + TS 类型检查的混合环境中，JSDoc 是唯一可靠、零侵入、符合工具链标准的类型标注方式。默认值是实现细节，类型注解才是接口契约——尤其在深层嵌套、无命名函数的场景下，一句精准的 @param 往往胜过整段类型守卫逻辑。
