键入 function 以通过 Record 调度函数

Question

const dispatch = {
  'A': (arg: { a0: number }) => { },
  'B': (arg: { b0: string, b1: number }) => { }
}

function Dispatcher<???>(key: ???, arg: ???) {
  dispatch[key](arg); 
}
function Dispatcher2<K extends keyof typeof dispatch>
(key: K, arg: Parameters<typeof dispatch[K]>[0]) {
    dispatch[key](arg);// passing arg fails type checking
}

操场

有几种方法可以只允许key和arg的正确组合进入Dispatcher 。 但是，我永远无法让 TypeScript 理解将arg传递到 function 调用中是可以的。

有没有办法做到这一点？

Answer 1

这个问题可以归入“关联并集”问题的范畴。 当使用key索引dispatch时，编译器计算函数的并集，该函数只能通过所有参数的交集调用。 dispatch[key]和arg之间的关系基本上丢失了。

但是有一种特定的方法可以重写PR#47109中描述的类型，以使编译器理解相关性。

我们必须更改dispatch的类型，以便它使用映射类型。 DispatchRecord类型充当参数类型的查找类型。

type DispatchRecord = { 
  A: { a0: number }
  B: { b0: string, b1: number }
}

const dispatch: { 
  [K in keyof DispatchRecord]: (arg: DispatchRecord[K]) => void 
} = {
  'A': (a) => { },
  'B': (b) => { }
}

function 本身在K上保持通用。 要键入key和arg ，我们使用 rest 参数。 rest 参数的类型是映射类型，它计算由两个元素组成的元组，一个用于key ，一个用于arg 。 然后，此映射类型由K索引。

function Dispatcher<K extends keyof DispatchRecord>(...[key, arg]: {
  [P in K]: [P, DispatchRecord[P]]
}[K]) {
    dispatch[key](arg)
}

---

操场