打字稿：使用函数数组的 ReturnType（已编辑）

Question

我正在尝试键入以下函数：

function foo(input, modifier, merge) {
    return merge(...modifier.map(m => m(input)));
}

目标是为merge 函数的参数提供正确的类型。

上下文：

• modifier 是一个函数数组，具有 typeof input 类型的单个参数和每个函数的不同返回类型
• merge是一个函数，它有modifier.length参数，位置n的参数与函数modifier[n]的返回类型相同，并返回一个单一（通用）值

如何做到这一点？

---

编辑：替代问题

可以使用对象 (Record<K,V>)：

// for Functions (here type Func)
type Func = () => any;

// a mapping of a string key to an function can be created
type FuncMap = Record<string, Func>;

// for this mapping you can create a mapping to the return types of each function
type ReturnTypeMap<T extends FuncMap> = { [K in keyof T]: ReturnType<T[K]> }

基于位置而不是对象键的数组是否也可以这样做？

---

这是我在键入函数时的尝试，但我不知道如何将 ReturnType 与数组结合使用：

function foo<I, M extends Array<(input: I) => any>, O>(
    input: I,
    modifier: M,
    merge: (...args: ReturnType<M>) => O
    //               ^^^^^^^^^^^^^ this is not working, since relation to each item is missing
): O {
    return merge(...modifier.map(m => m(input)));
}

Answer 1

我想这样做：

type ExtractReturnTypes<T extends readonly ((i: any) => any)[]> = [
  ... {
    [K in keyof T]: T[K] extends ((i: any) => infer R) ? R : never
  }
];

function foo<I, M extends readonly ((i: I) => any)[], O>(
  input: I,
  modifiers: M,
  merge: (...args: ExtractReturnTypes<M>) => O
) {}

foo(
  1,
  [(i: number) => 5, (i: number) => 'b' as const] as const,
  // a has type: number
  // b has type: 'b'
  (a, b) => 'test'
);