TypeScript中关联参数的联合函数如何正确调用？

针对你遇到的问题——明明kind和param是绑定关联的，但TypeScript无法自动识别这种关联，导致调用联合函数时报错——这里提供两种无需any断言的优雅处理方案：

方案一：泛型函数封装调用逻辑 #

通过泛型约束明确kind与param的类型关联，让TypeScript能精准推断当前分支的参数类型：

type Runner = {
    a: () => void,
    b: (param: { x: number }) => void,
    c: (param: { y: string, z: number }) => string,
};

// 修正Action类型：无参数的函数对应的param设为never，更贴合实际场景
type Action = {
  [K in keyof Runner]: { kind: K, param: Runner[K] extends () => any ? never : Parameters<Runner[K]>[0] }
}[keyof Runner];

const runner: Runner = {
    a: () => {},
    b: ({ x }) => {},
    c: ({ y, z }) => "c",
};

// 泛型函数：用K约束kind的具体类型，关联对应的param类型
function runAction<K extends keyof Runner>(action: { kind: K, param: Runner[K] extends () => any ? never : Parameters<Runner[K]>[0] }) {
  const fn = runner[action.kind];
  // 区分无参数和有参数的函数调用
  if (fn.length === 0) {
    (fn as () => void)();
  } else {
    fn(action.param);
  }
}

// 调用示例，完全类型安全
const action: Action = { kind: "c", param: { y: "5", z: 5 } };
runAction(action);

这个方案的核心是通过泛型K将action的类型从联合类型收缩为单个分支类型，让TypeScript明确知道当前调用的是哪个具体函数，以及对应的参数类型。

方案二：分支类型守卫（switch/case） #

通过显式的分支判断，让TypeScript自动收缩每个case下的param类型，完全无需断言：

// 复用之前定义的Runner、Action和runner实例

const action: Action = { kind: "c", param: { y: "5", z: 5 } };

switch (action.kind) {
  case "a":
    runner.a();
    break;
  case "b":
    runner.b(action.param); // TypeScript自动推断param为{x: number}
    break;
  case "c":
    runner.c(action.param); // TypeScript自动推断param为{y: string, z: number}
    break;
}

这种方式虽然需要手动枚举所有分支，但类型检查最严格，适合分支数量较少的场景。

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