Tengo los siguientes tipos definidos
type MyUnionType = "propA" | "propB" type MyType = { myProp: MyUnionType } type SomeOtherType = MyType & { ... /* other props*/ ... } Ahora, me gustaría mejorar MyType con algo similar a
type MyType = { myProp: MyUnionType, [key in MyUnionType]: any // pseudo code }para que pueda usarlo así
const obj: SomeOtherType = { myProp: "propA", propA: "some value" // if this is missing, compiler will error [...] // some other props }Jugué un poco, busqué en la web, pero no encontré ninguna solución.
EDITAR: acabo de eliminar la string de MyUnionType según lo solicitado
Para que esto funcione, quiere que MyType sea un tipo de unión equivalente a:
type MyType = {myProp: "propA", propA: any} | {myProp: "probB", propB: any}Esto tiene el siguiente comportamiento deseable:
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 } Entonces, la única pregunta ahora es cómo generar MyType programación desde MyUnionType . Conceptualmente, queremos tomar cada miembro K en la unión MyUnionType y producir una nueva unión de { myProp: K } & { [P in K]: any } (que tiene una propiedad myProp de tipo K y una propiedad con clave K de tipo any Es decir, queremos distribuir la operación de type F<K> = { myProp: K} & { [P in K]: any } en la unión MyUnionType .
Esto se puede hacer de varias maneras, pero mi enfoque es hacer lo que se llama un tipo de objeto distributivo como se acuñó en microsoft/TypeScript#47109 . La idea es que haga un tipo asignado sobre cada K en MyUnionType y luego lo indexe inmediatamente con MyUnionType , produciendo la unión deseada:
type MyType = { [K in MyUnionType]: { myProp: K } & { [P in K]: any } }[MyUnionType]Esto se evalúa como
type MyType = ({ myProp: "propA"; } & { propA: any; }) | ({ myProp: "propB"; } & { propB: any; });que es equivalente al tipo que queremos.