Javascript 确保函数签名中的类型安全：匹配值

你想让Config<D, K>变成distributive over 100 in 102.这意味着，例如，Config<D, K1 | K2 | K3>应该扩展到Config<D, K1> | Config<D, K2> | Config<D, K3>，其中K中的每个键具有其自己的对象类型，从而id和value将在每个联合成员中匹配.但是现在，您得到的是具有联合id和联合value回调参数的单一对象类型，该参数混合而不是匹配.

有几种方法可以将非分配类型转变为分配类型.当你分配超过keys或keylike types的时候，我通常使用被称为distributive object type的东西，就像microsoft/TypeScript#47109中创造的那样.它包括在密钥上进行mapped type，然后立即使用密钥对其进行indexing into，以获得联合结果.所以如果F<K>在K中是非分配的，你可以写{[P in K]: F<P>}[K]}来获得分配版本.

那么，对于您的示例，这看起来就像

type Config<D, K extends keyof D> = { [P in K]: {
  id: P
  format?: (value: D[P]) => any
} }[K]

请注意，这是type alias而不是interface，因为接口不能是联合.

让我们来测试一下:

type Data = { testA: number, testB: string }

type Test = Config<Data, keyof Data>;
/* type Test = {
    id: "testA";
    format?: ((value: number) => any) | undefined;
} | {
    id: "testB";
    format?: ((value: string) => any) | undefined;
} */

看上go 不错.现在Config<Data, keyof Data>是你想要的形状的discriminated union，所以在里面

const configObjs: readonly Config<Data, keyof Data>[] = [
  {
    id: 'testA',
    format: (value) => {
      //     ^?(parameter) value: number
      return value
    },
  },   
]

一切都正常，因为编译器可以通过判别式id的属性"testA"来区分该并集，而value回调参数是contextually，推断为number.

Playground link to code个