Tengo algunas definiciones de tipo como se muestra a continuación.
type PayloadType = 'A' | 'B'; interface Payload<T extends PayloadType> { type: T; } interface PayloadA extends Payload<'A'> { state: string } interface PayloadB extends Payload<'B'> { serialNumber: string; } type TPayload = PayloadA | PayloadB; type PayloadInterpretation<T extends TPayload> = { payload: T; entries: T[]; // This property is only for demonstration purpose }; type TPayloadInterpretation = PayloadInterpretation<PayloadA> | PayloadInterpretation<PayloadB>; function f(interpretation: TPayloadInterpretation) { if (interpretation.payload.type === 'B') { const payload = interpretation.payload; // payload is of type PayloadB const entries = interpretation.entries; // entries is of type PayloadA[] | PayloadB[] } } Los comentarios muestran que incluso el tipo de carga útil puede reducirse correctamente a PayloadB útil B en función de las uniones discriminadas, pero el tipo T[] para entries sigue siendo PayloadA[] | PayloadB[] .
Estaba pensando que si mecanografiado sabe que el tipo T para la carga útil es PayloadA , también debería poder restringir las entries: T[] a entries: PayloadB[] . Sé que podría hacer un tipo de fundición como:
function f(interpretation: TPayloadInterpretation) { if (interpretation.payload.type === 'B') { const payloadBInterpretation = interpretation as PayloadInterpretation<PayloadB>; ... } }Pero mi pregunta sería ¿hay alguna otra manera de hacer esto?
El código está aquí en el patio de juegos mecanografiado.
¡Gracias!
Cuando comprueba la interpretation.payload.type , solo está acotando el objeto interpretation.payload útil. En realidad, no está haciendo nada para restringir las entradas de interpretation.entries .
En otras palabras, mecanografiado no sabe que las entradas de interpretation.entries también se pueden reducir cuando se reduce la carga útil de interpretation.payload .
Si desea que ambos se reduzcan, necesita otro discriminador en el tipo de PayloadInterpretation de carga útil:
// ... type PayloadInterpretation<T extends TPayload> = { type: T['type']; // the new discriminator for the whole PayloadInterpretation payload: T; entries: T[]; }; // ... function f(interpretation: TPayloadInterpretation) { if (interpretation.type === 'B') { // narrowing the whole interpretation instead of only interpretation.payload const payload = interpretation.payload; // payload is of type PayloadB const entries = interpretation.entries; // entries is of type PayloadB[] } }