泛型的打字稿地图

Question

我试图让ObjectType 中的每个Field 拥有自己的泛型，因此每个字段的resolve fn 必须返回type 属性中定义的类型。

type Scalars = {
  ID: string;
  Int: number;
  Float: number;
  String: string;
  Boolean: boolean;
};

type Field<T extends keyof Scalars> = {
  type: T,
  resolve: () => Scalars[T];
}

type ObjectType<T extends keyof Scalars> = {
  [key: string]: Field<T>
}

const objectType = <T extends keyof Scalars>(config: ObjectType<T>): any => 'todo';

objectType({
  id: {
    type: 'Int',
    // type of `resolve` is `() => (string | number)`, should be `() => number`
    resolve: () => '123',
  },
  name: {
    type: 'String',
    // should be `() => string`
    resolve: () => 123,
  },
});

在调查了其他一些 SO 问题后，我在https://stackoverflow.com/a/51547767/11042710 中找到了一个几乎可以解决我的问题的解决方案

这是我尝试上述建议的 TS 游乐场 TS playground.

但是当我尝试将infer P 类型传递给extends keyof Scalars 的泛型时它失败了

Answer 1

看起来您的Field<..> 类型可以像这样形成discriminated union：

type Fields = { [K in keyof Scalars]: Field<K> }[keyof Scalars];

这里Fields的类型等价于

type Fields = Field<"ID"> | Field<"Int"> | Field<"Float"> | 
  Field<"String"> | Field<"Boolean">

联合中的所有术语都有一个公共的type 字段，该字段是字符串文字类型，可用于区分它们。这很好，因为这意味着您的objectType() 方法可以减少很多通用的环跳，因为config 属性值可以限制为特定类型Fields：

const objectType = <T extends Record<keyof T, Fields>>(config: T): any => 'todo';

现在我们所做的只是将config 约束为具有任意键（Record<keyof T, ...>）且其值全部为Fields 的对象。让我们看看它是否有效。这是预期用途：

objectType({
  id: {
    type: 'String',
    resolve: () => "123",
  },
  ide: {
    type: 'Int',
    resolve: () => 123,
  },
});

当你做错时会发生这种情况：

objectType({
  id: { // error! number is not assignable to string
    type: 'String',
    resolve: () => 123,
  },
  ide: { // error! string is not assignable to boolean
    type: 'Boolean',
    resolve: () => "123",
  },
});

这些是您期望的错误，对吧？

Playground link to code