Typescript 中的通用函数和推断通用键

Question

我正在尝试从以下函数中删除第二个泛型，因为（恕我直言）应该可以推断出 K extends keyof T:

const normalizeToProps = <T, K extends keyof T>(...props:K[]) => (list:T[]):{[id:string]:T} => list.reduce(
  (map, item) => {
    const identifier = castArray(get<T, T[K]|T[K][]>(item, props)).join('');
    map[identifier] = item;
    return map;
  },
  {}
);

函数的作用对我的问题并不重要。这都是关于签名的第一部分<T, K extends keyof T>。我宁愿只写<T>。因为这样调用函数会更容易。

我已经定义了一个接口，这正是我想要的，但是我该如何添加实现？

interface NormalizerFactory<T extends {}> {
  <K extends keyof T>(...props:K[]):(list:T[]) => {[id:string]:T};
}

Answer 1

您可以通过将 K 替换为 keyof T 来删除第二个泛型，如下所示：

const normalizeToProps = <T>(...props:(keyof T)[]) => (list:(keyof T)[]):{[id:string]:T} => list.reduce(
  (map, item) => {
    const identifier = castArray(get<T, T[keyof T]|T[keyof T][]>(item, props)).join('');
    map[identifier] = item;
    return map;
  },
  {}
);

Typescript 中的通用函数和推断通用键

Generic function and infering keyof generic in Typescript

generics

function

typescript

keyof