如何使TypeScript中Func的resolveFn参数与deps数组匹配？是否可行？

结论 #

你提出的「让resolveFn的参数名称和顺序与deps数组元素严格匹配」的需求无法严格实现，具体原因如下：

1. 运行阶段的限制 #

JavaScript运行时中，函数参数的名称会在编译、打包或压缩过程中被修改（比如生产环境下会被简化为a、b这类短标识符）。即使通过Function.prototype.toString()尝试获取函数源码，这种方式也不可靠——源码可能被混淆，动态创建的函数甚至无法获取完整源码，根本无法准确校验参数名称。

2. 编译阶段（TypeScript）的限制 #

TypeScript的类型系统不检查函数参数的标识符名称，只关注参数的类型、数量和位置。例如：

type ValidResolveFn = (arg1: any, arg2: any) => any;
// 以下函数会被TypeScript判定为合法，即使参数名称完全不同
const invalidFn: ValidResolveFn = (hello: any, world: any) => {};

你无法通过TypeScript的类型约束强制要求参数名称必须与deps数组元素完全一致。

替代方案 #

如果你的核心需求是确保resolveFn能正确关联对应依赖（而非单纯匹配参数名称），可以改用对象参数+解构的方式实现类型安全的约束：

function Func<T extends string[]>(token: string, deps: [...T], resolveFn: (args: Record<T[number], any>) => any) {
    // 模拟依赖注入逻辑：根据deps获取对应值，组装为对象传入
    const args = {} as Record<T[number], any>;
    deps.forEach(dep => args[dep] = getDependency(dep)); // 假设getDependency是获取依赖的函数
    return resolveFn(args);
}

// 合法调用：解构键名与deps一致
Func('test', ['arg1', 'arg2'], ({ arg1, arg2 }) => {});

// 不合法调用：解构键名与deps不符，TypeScript直接报错
Func('test', ['arg1', 'arg2'], ({ hello, world }) => {});

这种方式虽然不是 positional 参数，但能确保你使用的依赖名称与deps数组严格对应，同时获得完整的TypeScript类型检查支持。

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