Typescript 隐式键入脚本键映射使用

您的InnerType版本是一个属性为unions的单一对象类型，这允许以您不想要的方式混合key和name.您确实希望InnerType本身是对象类型的联合，如下所示:

type InnerType = {
    key: "A";
    name: 1 | 2 | 3;
} | {
    key: "B";
    name: 4 | 5 | 6;
}

这给了你想要的行为:

const foo: OuterType = {
    x: { key: "A", name: 1 },
    y: { key: "B", name: 5 }
};

const badFoo: OuterType = {
    x: { key: "A", name: 4 }, // error! 
    // Type '{ key: "A"; name: 4; }' is not assignable to type 'InnerType'.
    // Type '4' is not assignable to type '1 | 2 | 3'.
    y: { key: "A", name: 2 }
}

您甚至可以将TypeMap写成InnerType，这样，如果TypeMap更新，它将自动更新:

type InnerType = { [K in keyof TypeMap]:
    { key: K, name: TypeMap[K] }
}[keyof TypeMap]

这个InnerType是在microsoft/TypeScript#47109中创造出来的distributive object type.它通过mapping over按TypeMap的键K工作， for each 键K计算所需的对象类型，然后用keyof TypeMap计算indexing into映射的类型，从而得到所需的并集.

如果出于某种原因想要保留InnerType generic，以便InnerType<K>对应于特定的K constrained到keyof TypeMap，您可以这样做:

type InnerType<K extends keyof TypeMap = keyof TypeMap> =
    { [P in K]:
        { key: P, name: TypeMap[P] }
    }[K]

type InnerTypeA = InnerType<"A">
/* type InnerTypeA = {
  key: "A";
  name: 1 | 2 | 3;
} */

type InnerTypeB = InnerType<"B">
/* type InnerTypeB = {
  key: "B";
  name: 4 | 5 | 6;
} */

并注意K、defaults到keyof TypeMap，因此不带泛型类型参数的InnerType等同于完全并集:

type InnerTypeBoth = InnerType
/* type InnerTypeBoth = {
  key: "A";
  name: 1 | 2 | 3;
} | {
  key: "B";
  name: 4 | 5 | 6;
} */

因此，根据您的需要，您可以获得类泛型行为和类联盟行为.

Playground link to code个