为什么TypeScript无法正确推断嵌套函数参数的元组类型？

嘿，这个问题我之前踩过坑！咱们先对着你的代码唠唠，看看TypeScript到底卡在哪了。

先看你写的这段代码：

declare function foo(str: string, n: number): void;
declare function bar(str: string): void;

const enum Functions {
    a,
    b
}

declare const params: Parameters<typeof foo>;

const functions = {
    [Functions.a]: foo,
    [Functions.b]: bar
} as const;

function exec<T extends Functions>(fnType: T, params: Parameters<(typeof functions)[T]>) {
    functions[fnType](...params);
}

你想实现的是：根据传入的fnType（枚举值），自动匹配对应的函数参数类型，对吧？比如传Functions.a时，参数必须是[string, number]；传Functions.b时必须是[string]。但实际用的时候，TypeScript可能没法精确推断，甚至会报类型不兼容的错——这其实是因为TypeScript的泛型类型系统在处理泛型索引访问+参数提取的组合时，有个小局限。

问题出在哪？ #

当你用T extends Functions作为泛型约束时，TypeScript会把(typeof functions)[T]当成一个联合类型（也就是typeof foo | typeof bar），而不是根据T的具体值，动态缩小到对应的单个函数类型。这时候Parameters<(typeof functions)[T]>就会变成[string, number] | [string]——也就是两个参数元组的联合，而不是和T精确绑定的、对应单个函数的元组。

举个例子：如果你调用exec(Functions.a, ["test", 123])，理论上完全符合要求，但TypeScript可能会提示你参数和[string]不兼容——因为它把参数类型当成了联合类型，而不是针对Functions.a的专属类型。

为什么会这样？ #

TypeScript的类型推断在处理泛型时，对于这种“依赖泛型参数的嵌套类型推导”，不会自动做“分布式”的拆分。简单说就是，它不会主动把泛型T的每个可能值（Functions.a和Functions.b）单独拿出来，分别计算对应的参数类型，再把结果合并回去。它只会先把(typeof functions)[T]解析成所有可能的函数类型的联合，再提取参数。

怎么解决？ #

有两种常见的办法：

• 用函数重载明确绑定关系
  直接给exec写两个重载，把每个枚举值和对应的参数类型硬关联起来，TypeScript就能精准推断了：

  function exec(fnType: Functions.a, params: Parameters<typeof foo>): void;
  function exec(fnType: Functions.b, params: Parameters<typeof bar>): void;
  function exec(fnType: Functions, params: any[]) {
      functions[fnType](...params);
  }
  

• 用分布式条件类型帮TypeScript拆分泛型
  手动写一个条件类型，让TypeScript根据T的具体值，返回对应的参数元组：

  type FuncParams<T extends Functions> = 
    T extends Functions.a ? Parameters<typeof foo> :
    T extends Functions.b ? Parameters<typeof bar> :
    never;
  
  function exec<T extends Functions>(fnType: T, params: FuncParams<T>) {
      (functions[fnType] as (...args: any[]) => void)(...params);
  }
  

  这里用条件类型把泛型T拆成单个分支处理，TypeScript就能精准匹配每个枚举值对应的参数类型了。

总结一下 #

这个问题本质上是TypeScript泛型系统的一个设计局限——它没法自动为“泛型索引访问+参数提取”做精确的一对一绑定，需要我们通过重载或者分布式条件类型，手动给它明确这种对应关系。

备注：内容来源于stack exchange，提问作者Gernot Raudner