我定义了以下类型
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
}
我试了一下，搜索了一下网页，但没有找到任何解决方案.
编辑:我刚按要求从MyUnionType中删除了string
为了实现这一点，您希望MyType等于union type:
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 }并集(其具有myProp类型的属性K和K类型的键控属性any).也就是说，我们希望在MyUnionType并集中执行type F<K> = { myProp: K} & { [P in K]: any }操作.
有几种方法可以做到这一点，但我的方法是按照microsoft/TypeScript#47109年创造的distributive object type.这个 idea 是在MyUnionType中的K上各画一个mapped type，然后立即用MyUnionType画一个index into it，生成所需的并集:
type MyType = { [K in MyUnionType]:
{ myProp: K } & { [P in K]: any }
}[MyUnionType]
其计算结果为
type MyType =
({ myProp: "propA"; } & { propA: any; }) |
({ myProp: "propB"; } & { propB: any; });
这相当于我们想要的类型.