如何将spread operator与typescripts实用程序类型`参数`一起使用

Parameters<FN>不被视为可传播的部分被认为是打印脚本中的错误，正如在microsoft/TypeScript#36874中所报告的那样.可以通过将constraint从(...args: any) => ⋯更改为(...args: any[]) => ⋯来解决此问题:

function memoize<FN extends (...args: any[]) => Promise<any>>(fn: FN) {
  const cache: Record<string, Promise<Awaited<ReturnType<FN>>>> = {};

  return (...args: Parameters<FN>) => {
    const cacheKey = JSON.stringify(args);

    if (!(cacheKey in cache)) {
      const promise = fn(...args); // okay
      cache[cacheKey] = promise;
    }

    return cache[cacheKey];
  };
}

尽管如此，这不是这里推荐的方法.

将Awaited、Parameters和ReturnType实用程序类型实现为conditional types.在memoize()的主体内，FN类型是generic类型参数，因此Parameters<FN>和Awaited<ReturnType<FN>>是generic conditional types.众所周知，TypeScrip不能对泛型条件类型进行太多分析.它倾向于推迟对它们的判断，因此在memoize()内部，类型Parameters<FN>大多是不透明的.因此，当您调用fn(...args)时，编译器不能确定args是否合适.因此，它要么必须一直报告错误，要么永远不报告错误.

由于FN被限制为(...args: any[]) => ⋯，因此调用f(...args)最终会将FN扩展到其约束，该约束完全接受任何参数，因此它最终无论如何都不会报告错误.所以fn(...args)是可以接受的，但像fn(123)这样明显不好的东西也是可以接受的:

const promise = fn(123); // okay?!!!

如果你决定使用这种方法，那么，你应该非常小心. 尽可能避免泛型条件类型.

与泛型条件类型不同，推荐的方法是使函数不是在FN(完整函数类型)中泛型，而是在其参数列表A和返回类型R中泛型:

function memoize<A extends any[], R>(fn: (...args: A) => Promise<R>) {
  const cache: Record<string, Promise<R>> = {};

  return (...args: A) => {
    const cacheKey = JSON.stringify(args);

    if (!(cacheKey in cache)) {
      const promise = fn(...args); // okay
      cache[cacheKey] = promise;
    }

    return cache[cacheKey];
  };
}

这样编译起来很干净，编译器实际上能够很好地理解你在做什么，如果你写fn(123)，你会得到预期的错误

const promise = fn(123); // error!
//                 ~~~
// Argument of type '[number]' is not assignable to parameter of type 'A'.    

Playground link to code个