返回函数的通用 TypeScript 类型，将 ReturnType 替换为返回函数的 ReturnType

Question

亲爱的 TypeScript-3-Gurus，

有人可以帮我定义一个泛型类型GuruMagic<T> 吗？

T 是一个返回函数的函数，例如这个：

fetchUser(id: Id) => (dispatch: Dispatch) => Promise<boolean>

然后泛型类型应该替换fetchUser的ReturnType与返回函数的ReturnType。像这样：

type dispatchedAction = GuruMagic<typeof fetchUser>;
// so that dispatchedAction === (id: Id) => Promise<boolean>

我知道我可以申请ReturnType两次得到Promise<boolean>，但是我不知道如何将原始参数（可能是多个）与这个返回类型连接起来。 TypeScript (3.x) 甚至可以做到这一点吗？

为清楚起见的其他示例

const f1 = (a: number, b: string) => () => a;
type guruF1 = GuruMagic<typeof f1>; // (a: number, b: string) => number

const f2 = () => (name: string) => (otherName: string) => name + otherName;
type guruF2 = GuruMagic<typeof f2>; // () => (otherName: string) => string

动机

类型安全Redux-Thunk。当我 connect 一个 react 组件时，如果我能这样做会很棒：

import { fetchUser } from './myActions';

interface IPropsOfMyComponent {
  fetchUser: GuruMagic<typeof fetchUser>;
}

// ... MyComponent Definition ...

connect<{}, IPropsOfMyComponent, {}>(null, { fetchUser })(MyComponent)

Answer 1

是的，您可以使用 conditional types 和 TypeScript 3.0 中通过支持 tuple types in rest and spread expressions 引入的通用参数列表操作功能来做到这一点。这是一种方法：

type GuruMagic<FF extends (...args: any[]) => (...args: any[]) => any> =
  FF extends (...args: infer A) => (...args: infer _) => infer R ? (...args: A) => R 
  : never;

所以你推断函数FF的参数列表为A，函数FF的返回类型的返回类型为R，然后从参数列表中返回一个新函数A 到 R。有用吗？

declare function fetchUser(id: Id): (dispatch: Dispatch) => Promise<boolean>
type dispatchedAction = GuruMagic<typeof fetchUser>;
// (id: Id) => Promise<boolean>

const f1 = (a: number, b: string) => () => a;
type guruF1 = GuruMagic<typeof f1>; 
// (a: number, b: string) => number

const f2 = () => (name: string) => (otherName: string) => name + otherName;
type guruF2 = GuruMagic<typeof f2>; 
// () => (otherName: string) => string

是的！

我不能 100% 确定您将如何在实践中使用此类型函数……事实上它忽略了中间函数的参数类型，这让我很担心。如果您尝试在给定T 类型的函数的情况下实际实现GuruMagic<T> 类型的函数，除非您以某种方式提供缺少的参数，否则您将遇到问题。但也许你甚至没有在给定T 的情况下实现GuruMagic<T>。无论如何，这是你的事，不是我的。

无论如何，希望对您有所帮助。祝你好运！