Patrones

¿Cómo indexo una unión discriminada por su `kind` en vez de extraer miembros repetidamente?

Mapea la unión y remapea cada miembro al valor literal de su discriminante.

La receta

type ByKind<Union extends { kind: PropertyKey }> = {
  [Member in Union as Member['kind']]: Member
}

type Action =
  | { kind: 'add'; amount: number }
  | { kind: 'reset' }
  | { kind: 'rename'; name: string }

type ActionMap = ByKind<Action>

La compilación compila esto y comprueba cada resultado de abajo.

Cómo funciona

01
```
[Member in Union
```
Los tipos mapeados pueden iterar una unión de objetos, no solo una unión de claves.
02
```
as Member['kind']
```
El remapeo convierte cada discriminante en nombre de propiedad.

Lo que obtienes

```
ActionMap['add']
```
→{ kind: "add"; amount: number; }
```
ActionMap['reset']
```
→{ kind: "reset"; }
```
keyof ActionMap
```
→"add" | "reset" | "rename"

Dónde falla

Cada discriminante debe ser un `PropertyKey` único. Si dos miembros comparten `kind`, sus valores se fusionan bajo una propiedad y el mapa deja de identificar un único miembro.

Conclusión

El remapeo convierte el discriminante de una unión en índice para consultar tipos en tiempo constante.

Véase también

Tipos mapeados Mapped types T[K]#274 Reemplaza claves de una unión Pruébalo en el Laboratorio

Patrones