TypeScript中联合类型函数无法通过扩展运算符传递参数的问题解决咨询

你遇到的这个问题本质上是TypeScript的联合类型窄化限制导致的：当你直接使用functionLookup[expression.name](...expression.parms)时，TypeScript没办法确认当前expression.name对应的函数，和expression.parms的参数类型是严格匹配的——虽然我们从逻辑上知道它们是对应的，但TypeScript的类型检查器在没有显式窄化的情况下，只能看到functionLookup[expression.name]是((n1: number, n2: number) => number) | ((b: boolean) => boolean)的联合类型，而expression.parms是[number, number] | [boolean]的联合类型，它没办法保证每一种函数和参数的组合都是合法的，所以抛出了2556错误。

而你用if/else分支的写法能工作，是因为当你判断expression.name === "add"时，TypeScript会自动窄化联合类型：它知道此时的expression一定是addExpression，parms一定是[number, number]，对应的functionLookup["add"]也正好接受这个参数类型，所以类型检查通过。

下面给你几种从简单到优雅的解决方案，按需选择：

方案1：用类型断言快速绕过（不推荐，丢失类型安全） #

如果你只是想快速让代码运行，并且能保证自己的逻辑不会出错，可以用类型断言告诉TypeScript“我知道我在做什么”：

function evaluate(expression: Expression): ReturnValue {
  // 断言函数为接受任意参数的函数，同时断言参数为any数组
  return (functionLookup[expression.name] as (...args: any[]) => ReturnValue)(...expression.parms);
}

⚠️ 注意：这个方法会关闭TypeScript对该位置的类型检查，如果后续修改了函数参数或者Expression类型，很容易出现运行时错误，所以只适合临时调试。

方案2：用switch语句做显式窄化（适合函数数量少的场景） #

和你当前的if/else思路类似，但用switch更整洁，当函数数量不多时（比如2-3个），这种写法直观且安全：

function evaluate(expression: Expression): ReturnValue {
  switch (expression.name) {
    case "add":
      return functionLookup[expression.name](...expression.parms);
    case "not":
      return functionLookup[expression.name](...expression.parms);
    default:
      // 用never类型确保覆盖所有联合类型分支
      const _exhaustiveCheck: never = expression;
      throw new Error(`Unknown expression: ${_exhaustiveCheck.name}`);
  }
}

这里的_exhaustiveCheck是一个小技巧：如果后续你新增了Expression的分支但忘记在switch里处理，TypeScript会直接报错，避免遗漏。

方案3：用映射类型建立强关联（推荐，可扩展） #

当你有很多函数需要维护时，手动写分支会非常麻烦，这时候可以用映射类型来让TypeScript自动关联函数名、参数和返回值的类型，实现“单一数据源”的类型定义，同时保持类型安全：

步骤1：定义函数签名的映射（单一数据源） #

首先我们定义一个FunctionMap，把所有函数的签名集中在这里：

// 定义所有支持的函数签名：键是函数名，值是函数类型
type FunctionMap = {
  add: (n1: number, n2: number) => number;
  not: (b: boolean) => boolean;
};

步骤2：基于FunctionMap自动生成Expression类型 #

不需要手动写addExpression、notExpression，直接通过映射类型生成所有Expression分支：

// 自动生成每个函数对应的Expression类型
type Expression = {
  [K in keyof FunctionMap]: {
    name: K;
    // Parameters<FunctionMap[K]> 自动提取函数的参数元组
    parms: Parameters<FunctionMap[K]>;
  };
}[keyof FunctionMap];

步骤3：约束functionLookup的类型为FunctionMap #

这样TypeScript会强制functionLookup的每个键值对和FunctionMap完全匹配：

const functionLookup: FunctionMap = {
  add: (n1, n2) => n1 + n2,
  not: (b) => !b,
};

步骤4：用泛型函数实现类型安全的evaluate #

最后，我们用泛型关联expression.name和对应的函数类型，让TypeScript能精确追踪参数和函数的匹配关系：

// 泛型函数：K是函数名，关联expression的name和parms类型
function evaluate<K extends keyof FunctionMap>(
  expression: { name: K; parms: Parameters<FunctionMap[K]> }
): ReturnType<FunctionMap[K]> {
  return functionLookup[expression.name](...expression.parms);
}

这样修改后，不仅原来的错误会消失，还能获得额外的类型安全：

• 如果你调用evaluate({ name: "add", parms: [true, 2] })，TypeScript会直接报错，提示参数类型不匹配；
• 如果你后续在FunctionMap里新增一个函数（比如multiply），只需要在FunctionMap和functionLookup里添加对应内容，Expression类型会自动更新，不需要手动修改其他代码。

为什么这个方案更优？ #

它解决了手动维护联合类型的痛点：

1. 单一数据源：所有函数的签名只在FunctionMap里定义一次，避免重复定义导致的不一致；
2. 可扩展性：新增函数时不需要修改Expression或evaluate的分支逻辑；
3. 类型安全：全程保留TypeScript的类型检查，不会出现运行时参数不匹配的问题。

内容来源于stack exchange