如何强制 object 在 Typescript 中拥有一个以联合类型命名的属性？

Question

我定义了以下类型

type MyUnionType = "propA" | "propB"
type MyType = {
  myProp: MyUnionType
}

type SomeOtherType = MyType & { ... /* other props*/ ... }

现在，我想用类似的东西来增强MyType

type MyType = {
  myProp: MyUnionType,
  [key in MyUnionType]: any // pseudo code
}

这样我就可以像这样使用它

const obj: SomeOtherType = {
  myProp: "propA",
  propA: "some value" // if this is missing, compiler will error
  [...] // some other props
}

我玩了一下，搜索了web，但我没有想出任何解决方案。

编辑：我刚刚按要求从MyUnionType中删除了string

Answer 1

为此，您希望MyType是一个联合类型，相当于：

type MyType = {myProp: "propA", propA: any} | {myProp: "probB", propB: any}

这具有以下理想行为：

const goodObjA: MyType = {
  myProp: "propA",
  propA: "some value" 
} // okay

const badObjA: MyType = { // error! Property propA is missing
  myProp: "propA",
}

const goodObjB: MyType = {
  myProp: "propB",
  propB: "some value" 
} // okay

const badObjB: MyType = {
  myProp: "propB",
  propA: "oops" // error, unexpected property
}

所以现在唯一的问题是如何从MyUnionType以编程方式生成MyType 。 从概念上讲，我们希望获取MyUnionType联合中的每个成员K ，并生成一个新联合{ myProp: K } & { [P in K]: any } （它具有类型为K的myProp属性和K键属性类型为any 。也就是说，我们要在MyUnionType联合中分发type F<K> = { myProp: K} & { [P in K]: any }操作。

这可以通过几种方式完成，但我的方法是制作所谓的分布式 object 类型，如microsoft/TypeScript#47109中所创造的。 这个想法是您在MyUnionType中的每个K上创建一个映射类型，然后立即使用MyUnionType 对其进行索引，从而产生所需的联合：

type MyType = { [K in MyUnionType]:
  { myProp: K } & { [P in K]: any }
}[MyUnionType]

这评估为

type MyType = 
  ({ myProp: "propA"; } & { propA: any; }) | 
  ({ myProp: "propB"; } & { propB: any; });

相当于我们想要的类型。

Playground 代码链接