TypeScript de Cero a Experto / Genéricos

Reto: un repositorio genérico y tipado

Reto35 min60 XP

El reto que junta el módulo: una clase genérica con constraint que puede almacenar CUALQUIER tipo de entidad —siempre que tenga un id— y devolver resultados tipados con Resultado<T>. Es el patrón de un repositorio en memoria, el corazón de la capa de datos de miles de aplicaciones. Genéricos, constraints y discriminated unions, trabajando juntos.

Reto

El repositorio genérico

Media30 min60 XP(×2 sin mirar la solución)

Qué debes construir

Un Repositorio<T> reutilizable para cualquier entidad con id. Al ejecutarse debe imprimir EXACTAMENTE:

terminal

Guardados: 3 items

Encontrado: Bus ($ 2800)

Buscar 99: No existe el id 99

Tras borrar id 1: 2 items

Requisitos:

type Resultado<T>: la discriminated union genérica { ok: true; datos: T } | { ok: false; error: string }.
class Repositorio<T extends { id: number }>: la constraint garantiza que toda entidad tenga id. Guarda los items en un array PRIVADO.
Métodos:
- agregar(item: T): void
- buscar(id: number): Resultado<T> — devuelve { ok: true, datos } si existe, o { ok: false, error: "No existe el id X" } si no.
- borrar(id: number): void
- un getter cantidad: number
El guion: crea un Repositorio<Gasto>, agrega tres gastos, busca uno existente (id 2) y uno inexistente (id 99) manejando el Resultado con narrowing, borra el id 1, e imprime la cantidad final.

Reglas

La constraint T extends { id: number } es obligatoria (es lo que permite buscar por id dentro de la clase genérica).
buscar devuelve Resultado<T>, y el guion lo maneja con if (r.ok).
El array de items es privado. Nada de any. Salida exacta.

30:00

Cuando estés listo, arranca el reloj.

Las tres ideas del módulo, integradas:

La constraint habilita el trabajo interno. T extends { id: number } es lo que le permite a buscar acceder a item.id con seguridad —sin la constraint, T sería un misterio y no podrías indexar por id. La libertad justa: acepta cualquier entidad, exige lo mínimo para funcionar.
El genérico hace la estructura universal. El mismo Repositorio<T> sirve para gastos, usuarios, productos —cualquier cosa con id. Una implementación, infinitas entidades.
Resultado<T> comunica el éxito o el fallo sin excepciones. buscar devuelve un tipo honesto que el llamador DEBE manejar (el narrowing lo obliga), en vez de lanzar o devolver undefined silencioso. Genérico + discriminada, el dúo del módulo 4 y 5.

Prueba el poder de la reutilización: crea type Usuario = { id: number; nombre: string; email: string } y un new Repositorio<Usuario>() —la MISMA clase, sin cambiar una línea, ahora almacena usuarios con todas sus protecciones de tipo. Y si intentas new Repositorio<{ nombre: string }>() (sin id), TS lo rechaza: la constraint exige el id. Acabas de construir una pieza de infraestructura genérica —el tipo de código que escribes una vez y reutilizas durante años.

Qué sigue

Módulo 5 cerrado: los genéricos ya no te intimidan —los escribes en funciones, interfaces y clases, con constraints y defaults. El módulo 6 te da un regalo que esos genéricos hicieron posible: los UTILITY TYPES. TypeScript trae docenas de transformadores de tipos ya hechos —Partial, Pick, Omit, Record— que te ahorran escribir a mano lo que ahora entiendes por dentro.