¿Qué son las restricciones de genéricos?

Question

Accepted Answer

Una **restricción de genérico** (`T extends ...`) limita qué tipos puede ser un parámetro genérico, para que puedas usar de forma segura ciertas propiedades o métodos sobre él. Sin una restricción, un genérico podría ser *cualquier cosa*, así que no puedes asumir que tenga ningún miembro. ```ts // ❌ without a constraint, you can't access .length — T might be a number function longestBad(a: T, b: T) { return a.length > b.length ? a : b; // Error: 'length' does not exist on 'T' } // ✅ constrain T to things that HAVE a length function longest(a: T, b: T): T { return a.length > b.length ? a : b; } longest("abc", "de"); // ✅ strings have length longest([1, 2], [3]); // ✅ arrays have length longest(1, 2); // ❌ numbers have no length ``` La restricción es una *promesa*: "`T` siempre tendrá al menos esta forma", lo que permite al compilador habilitar `.length` mientras mantiene `T` preciso (el tipo de retorno es el tipo real del array/string, no la restricción). ## Restringir a claves (muy común) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garantiza que `key` es una propiedad real de `obj` — y `T[K]` devuelve su tipo exacto. ## Parámetros de tipo por defecto ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Por qué es importante Las restricciones son el equilibrio entre flexibilidad y seguridad: permiten que el código genérico dependa de una forma mínima (tiene `.length`, tiene la clave `K`, extiende alguna base) mientras preserva el tipo específico de quien lo llama. Son esenciales para funciones de utilidad, acceso a objetos con seguridad de tipos, y cualquier genérico que necesite *hacer* algo con su parámetro de tipo.