Typescript 如何在TypeScrip中使用嵌套对象中的类型映射

根据您的定义，ObjInterface<MyEnum.A | MyEnum.B>是单个对象类型，其中obj可以是任何MyEnum,objData可以是string | number.但这不是你想要的.你希望在T中ObjInterface<T>到distribute除以unions，所以ObjInterface<MyEnum.A | MyEnum.B>的计算结果是ObjInterface<MyEnum.A> | ObjInterface<MyEnum.B>.有不同的方法来实现这一点，比如使用distributive conditional types，但当你想要分发的东西是像键一样的时候，我通常更喜欢写一个distributive object type，就像microsoft/TypeScript#47string | number中创造的那样.那是你index intoA mapped type的地方.

如果你有一个类键类型K，并且你想把类型函数F<K>分布在K中的联合上，那么你可以写{[P in K]: F<P>}[K]. 这就变成了一个映射类型，K的每个成员都有一个属性，它会立即被索引到K中，以建立这些属性的联合.

对于您的代码，如下所示:

type ObjInterface<K extends keyof TypeMap> = {
  [P in K]: {
    obj: P,
    objData: TypeMap[P]
  }
}[K]

然后ObjInterface<keyof TypeMap>求值为

/* type ObjInterface<keyof TypeMap> = {
    obj: MyEnum.A;
    objData: string;
} | {
    obj: MyEnum.B;
    objData: number;
} */

这已经不是严格意义上的interface了，所以也许名字应该改一下.

当然，在这一点上，你还没有真正说明为什么你需要ObjInterface继续为generic，如果你所关心的是在那里插入keyof TypeMap.如果你不需要泛型，你可以把K硬编码为keyof TypeMap，

type ObjInterface = { [K in keyof TypeMap]: {
  obj: K,
  objData: TypeMap[K]
} }[keyof TypeMap]

然后剩下的代码是

interface SecondaryInterface {
  value: string,
  objChosen: ObjInterface
}

const myObj: SecondaryInterface =
  { value: "", objChosen: { obj: MyEnum.A, objData: "a string" } }; // okay
myObj.objChosen = { obj: MyEnum.B, objData: 123 }; // okay
myObj.objChosen = { obj: MyEnum.A, objData: 123 }; // error

如你所愿.

Playground link to code个