缩小作为 keyof 类型的泛型类型而不指定泛型参数

Question

抱歉，如果这在某处重复，我的 google-fu 未能找到正确的词来缩小结果范围。

我正在尝试创建一个辅助函数来重用某些功能，但无法完全弄清楚是否/如何实现它。

给定一个具有泛型的函数（或类型），其中一个参数是指定泛型类型的键，函数返回类型被确定为泛型类型上该特定属性的返回类型，而不是泛型类型上的每个属性类型。

interface MyObject {
  readonly foo: Date;
  readonly bar: number;
  readonly wizz: string;
  readonly bang: boolean;
}

function getHelpers<ItemType>(key: keyof ItemType) {
  return (item: ItemType) => item[key];
}

const res = getHelpers<MyObject>('bang');
// Has type of `(item: MyObject) => string | number | boolean | Date`, when I need it to have `(item: MyObject) => boolean`

我知道如果我添加一个辅助泛型参数来缩小键类型，那么它就可以工作：

function getHelpers<ItemType, KeyType extends keyof ItemType>(key: KeyType) {
  return (item: ItemType) => item[key];
}

const res = getHelpers<MyObject, 'bang'>('bang'); // Has typed of `(item: MyObject) => boolean`

但如果可能的话，我宁愿不必在每次调用函数时都通过指定通用参数来复制键。

Answer 1

interface MyObject {
    readonly foo: Date;
    readonly bar: number;
    readonly wizz: string;
    readonly bang: boolean;
}

不幸的是，如果没有函数柯里化，这是不可能的。您的第二个选择是正确的方法。理想情况下，我们希望指定ItemType，但推断KeyType。不幸的是，这是不可能的。我们要么推断所有类型参数，要么必须全部指定它们。有一个功能提案支持部分推理，但已经推迟了好几次，目前还没有在路线图上。

解决方案是使用两个函数调用，第一个函数我们指定ItemType，第二个调用我们让推理工作。

function getHelpers<ItemType>() {
    return function <KeyType extends keyof ItemType>(key: KeyType) {
        return (item: ItemType) => item[key];
    }
}

const res = getHelpers<MyObject>()('bang'); // Has typed of `(item: MyObject) => boolean`