TypeScript用forEach遍历对象调用关联函数出现类型报错如何解决

错误原因 #

1. 类型关联丢失：当使用联合类型的name访问obj[name]时，TypeScript 无法保留「当前fn的入参类型和args类型完全匹配」的绑定关系，只会独立推导两者类型为：
   • fn: ((props: number) => number) | ((props: string) => string) | ((props: boolean) => boolean)
   • args: [number] | [string] | [boolean]
     联合类型的函数无法直接接收同样是联合类型的参数元组，因此抛出2556错误。
2. 赋值类型不匹配：TypeScript 对联合类型键的对象属性赋值时，会要求赋值内容满足所有可能属性类型的交集，number、string、boolean三种类型的交集为never，没有值可以赋值给never类型，因此抛出2322错误。
   当你单独访问确定的属性（比如obj.a）时，键是固定的字面量类型，TypeScript 可以精准匹配关联类型，因此不会报错。

解决方案 #

方案1：泛型工具函数（类型安全首选） #

通过泛型参数关联同一键对应的所有类型，符合 TypeScript 推导规则，无类型损失：

const processKey = <K extends Names>(key: K) => {
  const [fn, args] = obj[key]
  out[key] = fn(...args)
}

keys.forEach(key => processKey(key))

方案2：类型断言（快速实现首选） #

确认逻辑无问题的前提下，通过类型断言绕过检查，写法最简单：

keys.forEach(name => {
  const [fn, args] = obj[name];
  // 方式1：断言函数类型
  out[name] = (fn as (...args: any[]) => any)(...args)
  // 方式2：断言参数类型
  // out[name] = fn(...args as Parameters<typeof fn>)
})

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