typescript - 使 TypeScript 推断高阶函数的模板参数

Question

我有一些非常简单的函数，它接收函数和参数并使用该参数执行函数。 我写过这样的代码:

type Action<Payload> = (payload: Payload) => any;

type SomeType = string;

declare function execute<Payload>(action: Action<Payload>, payload: Payload);

declare function testFn<P extends SomeType>(payload: P): number;

execute(testFn, '');

run in typescriptlang.org repl

但它会产生错误:

Argument of type '<P extends string>(payload: P) => number' is not assignable to parameter of type 'Action<{}>'.
  Types of parameters 'payload' and 'payload' are incompatible.
    Type '{}' is not assignable to type 'string'.

事实是，如果我更改参数的顺序，它会使 typescript 正确推断类型:

type Action<Payload> = (payload: Payload) => any;

type SomeType = string;

declare function execute<Payload>(payload: Payload, action: Action<Payload>);

declare function testFn<P extends SomeType>(payload: P): number;

execute('hell yeah!', testFn);

run in typescriptlang.org repl

有没有办法在不改变顺序的情况下让它工作？为什么 typescript 总是尝试从左到右推断类型？

更新:

它似乎在 TypeScript 本身中缺失了一部分:

PR with this feature added

same question on Github

huge discussion on the topic

Answer 1

这是一个有趣的问题。在尝试了一下之后，我想我找到了一个具有正确行为的签名:

declare function execute<P>(action: Action<any> & Action<P>, payload: P): void;

交集类型似乎延迟了 Action<P> 的评估直到P之后已推断:

execute(testFn, '');  // okay
execute(testFn, 123);  // error, 123 is not a string

我真的不知道为什么会这样(也许更熟悉编译器内部的人可以在这里说些更好的话)但也许这足以帮助你取得进步？祝你好运!