Typescript 如何正确键入返回路由的函数对象

这里的问题涉及我所说的"相关联"，如microsoft/TypeScript#30581中所述.编译器将routes[route]视为泛型类型constrained到union type (() => string) | (x: {userId: string}) => string)的值，并将params视为约束到联合类型[] | [x: {userId: string}]的泛型类型的值.We知道或期望routes[route]的类型是correlated，params的类型是correlated，因此前者是() => string，当且仅当后者是[].但是编译器不知道这一点；令人担忧的是，可能params将是[]，但routes[route]将是(x: {userId: string}) => string，这将是不好的(当传递零参数时，期望{userId: string}的函数将不满意).

特定的错误消息令人困惑，因为它抱怨元组类型，但潜在的问题是它不允许您调用函数的并集和相关参数类型的并集.

如microsoft/TypeScript#47109所示，这里的修复方法是将routes[route]类型写为distributive object type，这是一个mapped type，您可以立即将index写入其中.看起来是这样的:

function get<P extends keyof Routes>(
  route: P, ...params: Parameters<Routes[P]>
) {
  const r: { [K in keyof Routes]:
    (...params: Parameters<Routes[K]>) => string
  }[P] = routes[route];
  return fetch(r(...params)); // okay
}

这里我们将变量r设置为routes[route].但至关重要的是，我们有annotated它是一个分布式对象类型，其中r被视为映射类型的键P处的属性，其中Routes的每个键K映射到其参数列表为Parameters<Routes[K]>类型的函数(使用the Parameters<T> utility type).即使"更简单"的版本const r: (...params: Parameters<Routes[P]>) => string = routes[route]没有编译，它也会编译.这与原始版本在联合体中的分布方式有关.详见ms/TS#47const r: (...params: Parameters<Routes[P]>) => string = routes[route].

现在编译器允许您调用r(...params)，因为params是Parameters<Routes[P]>类型！

Playground link to code