Typescript 如何传递基于TypScript中可变类型的类型

这里的基本问题是，TypScript并不总是同时推断generic个类型参数和contextual type个回调参数，尤其是当这些参数在编译器看来是循环依赖的时候. microsoft/TypeScript#47599处存在一个关于它的悬而未决的问题.并且已经进行了改进(例如microsoft/TypeScript#48538)，但它可能永远不会被完全"解决"，因为从根本上来说，TypScript的推理算法不是完整的unification算法，也不打算这样做. 也许在future 的某个版本中，您的上面的代码会突然开始按预期工作.但在这种情况发生之前，你必须解决这个问题.

特别是，您似乎试图在tuple with a leading rest element内同时完成通用和上下文打字，但那里存在一些奇怪的问题，例如microsoft/TypeScript#47487中.由于那里给出的示例开始在TypScript 5.1中工作，该示例已关闭，所以它并不完全相同.但如果您为此打开错误报告或功能请求，它可能会有类似的命运.

对于您所写的示例，我倾向于try 使用"反向mapped type"，这是一个通用函数使用Homorphic映射类型(参见What does "homomorphic mapped type" mean?)作为参数类型. 因此，如果通用类型参数是T，则可以从{[K in keyof T]: F<T[K]>}推断. 像这样:

declare function makeHandler<T extends any[]>(
  ...a: [...{ [I in keyof T]: Assertion<T[I]> }, HandlerCb<T>]
): void;

这将更容易推断出T，即Assertion中return types的二元组. 然后HandlerCb<T>就不需要推断并且稍后发生. 现在您基本上会得到您想要的推论:

declare function assertion1<T extends object>(arg: T): (req: Request) => T;
declare function assertion2(): (req: Request) => string

const a1 = assertion1({ hey: "what" });
makeHandler(a1, assertion2(), (data) => {
  data;
  //^? [{hey: string}, string]
  return { response: {} }
})

好吧，只要您没有同时发生even more个一般推论:

makeHandler(assertion1({ hey: "what" }), assertion2(), (data) => {
  data;
  //^? [unknown, string]
  return { response: {} }
})

哎呀，这里有一个unknown int.如果你看一下，你会发现那里仍然推断出{hey: string}，但它发生得太晚了，无法帮助推断T. 如果您需要将其保持在线状态，则必须启动annotating或手动指定通用类型参数:

makeHandler(assertion1<{ hey: string }>({ hey: "what" }), assertion2(), (data) => {
  data;
  //^? [{hey: string}, string]
  return { response: {} }
})

归根结底，TypScript的推断总是会存在这样的限制.如果您的推断需要按照特定顺序发生太多事情，而该顺序与TypScript的操作顺序不匹配，那么您最终会在某个地方出现失败的推断并看到unknown个或其他问题.

因此，在用尽推理后，您可以开始注释或指定上面的内容，或者您可以重构您的代码，以便所需的推理顺序与TypScript的工作方式相匹配. 例如，如果您希望在所有其他内容之后推断出最后HandlerCb，则可以使用builder pattern或currying来生成它，以便直到推断发生之后才传递参数.您将(x: X, y: Y) => Z拆分为(x: X) => (y: Y) => Z或{doX(x: X): {doY(y: Y): Z}}:

declare function makeHandlerCurry<T extends any[]>(
  ...a: { [I in keyof T]: Assertion<T[I]> }
): (h: HandlerCb<T>) => void;

makeHandlerCurry(assertion1({ hey: "what" }), assertion2())((data) => {
  data;
  //^? [{hey: string}, string]
  return { response: {} }
})

这是有效的，因为在你到达存在HandlerCb的地方之前就可以推断出T.您可以调用makeHandlerCurry(assertion1({ hey: "what" }), assertion2())，将结果保存到变量v，然后调用v((data) => {}).因此，推理的运作方式有明确的顺序.

这对于您的特定用例可能有用，也可能没有，但如果您真的不愿意注释，这至少是一种探索的途径.

Playground link to code