具有枚举泛型类型的 Typescript 对象数组

您可能希望PluginConfig是特定的(非通用的)union类型，其中每个成员对应于ServicePlugin union enum的一个成员.就像这样:

type PluginConfig = {
    plugin: ServicePlugin.Plugin1;
    options: {
        option1: string;
    };
} | {
    plugin: ServicePlugin.Plugin2;
    options: {
        option1: number;
        option2: number;
    };
} | {
    plugin: ServicePlugin.Plugin3;
    options?: never;
}

请注意，在Plugin3的情况下，我得到了the impossible never type的options和optional property.这实际上阻止了options属性的存在(或者至少不能是undefined以外的任何属性).可选表示可以省略它，而never表示不能使用它.

无论如何，我们可以通过distributive object type(如在microsoft/TypeScript#47109中创造的)使编译器根据ServicePlugin和PluginOptions的定义计算PluginConfig:

type PluginConfig = { [K in ServicePlugin]:
    K extends keyof PluginOptions ?
    { plugin: K, options: PluginOptions[K] } :
    { plugin: K, options?: never }
}[ServicePlugin];

一般形式{ [K in ServicePlugin]: F<K> }[ServicePlugin]是mapped type除以ServicePlugin，然后立即index into与ServicePlugin相加，有效地将F<K>除以ServicePlugin并集，所以它将变成F<ServicePlugin.Plugin1> | F<ServicePlugin.Plugin2> | F<ServicePlugin.Plugin3>.

我们使用的特定F<K>运算是K extends keyof PluginOptions ? { plugin: K, options: PluginOptions[K] } : { plugin: K, options?: never }.这是conditional type分.无论如何，plugin属性只是K，但是如果K是PluginOptions的键，那么options属性就是相应值，而如果不是，那么我们通过使其成为可选的never属性来禁止options.

您可以验证它是否生成与上面的版本等价的类型.

让我们确保它以您想要的方式工作:

const params: PluginConfig[] = [
    {
        plugin: ServicePlugin.Plugin1,
        options: {
            option1: "foo",
        },
    },
    {
        plugin: ServicePlugin.Plugin2,
        options: {
            option1: 123,
            option2: 456,
        },
    },
    {
        plugin: ServicePlugin.Plugin2,
        options: {
            option1: "bar", // error,
        },
    }, // Types of property 'options' are incompatible.
    {
        plugin: ServicePlugin.Plugin3, // okay
    },
];

看上go 不错.第三个数组元素是错误的，因为您使用的是带有选项ServicePlugin.Plugin1的ServicePlugin.Plugin2.最后一个数组元素是允许的，因为您省略了可选的options属性.

Playground link to code个