为什么TypeScript无法从对象中推断正确的函数及对应参数类型？

这是TypeScript对**关联联合类型（correlated union types）**的推断限制导致的：
input._type和input.param的类型是强关联的，但TypeScript无法自动识别这种绑定关系。处理handlers[input._type]时，TS会将其推断为所有处理函数的联合类型：((n: number) => number) | ((n: number) => number) | ((s: string) => string)。而调用联合类型的函数时，TS要求入参必须能匹配所有函数的入参类型，也就是要取各个入参类型的交集，number & string的结果就是never，因此抛出你看到的编译错误。

方案1：封装通用类型安全调用函数（最推荐，可复用性最高） #

通过泛型手动声明_type、参数类型、处理函数三者的关联关系，对业务代码侵入极低，新增类型时只需要更新联合类型定义即可：

// 先定义输入联合类型
type InputUnion = AInput | BInput | CInput;
type HandlerMap = typeof handlers;

function handleInput<T extends InputUnion['_type']>(
  input: Extract<InputUnion, { _type: T }>
): ReturnType<HandlerMap[T]> {
  return handlers[input._type](input.param as Parameters<HandlerMap[T]>[0]);
}

// 调用时直接使用，完全类型安全
const input: InputUnion = parseInput("42");
const result = handleInput(input);

方案2：switch分支类型收窄 #

如果联合类型数量较少，可以直接用switch分支手动收窄类型，TS可以识别每个分支下的对应类型：

const input: InputUnion = parseInput("42");
switch(input._type) {
  case "a":
    handlers.a(input.param);
    break;
  case "b":
    handlers.b(input.param);
    break;
  case "c":
    handlers.c(input.param);
    break;
}

缺点是新增输入类型时需要同步更新switch分支，维护成本略高。

方案3：类型断言（临时快速解决，不推荐长期使用） #

如果只是需要快速跳过编译检查，可以直接用类型断言绕开校验：

handlers[input._type](input.param as never);

该方案会丢失类型校验能力，参数实际传错时TS不会报错，仅建议临时调试使用。

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