O que são restrições genéricas?

Question

Accepted Answer

Uma **restrição genérica** (`T extends ...`) restringe quais tipos um parâmetro genérico pode ser, para que você possa usar com segurança certas propriedades ou métodos nele. Sem uma restrição, um genérico pode ser *qualquer coisa*, então você não pode assumir que possui nenhum membro. ```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 ``` A restrição é uma *promessa*: "`T` sempre terá pelo menos esta forma," o que permite ao compilador permitir `.length` enquanto mantém `T` preciso (o tipo de retorno é o tipo real de array/string, não a restrição). ## Restringindo a chaves (muito comum) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garante que `key` é uma propriedade real de `obj` — e `T[K]` retorna seu tipo exato. ## Parâmetros de tipo padrão ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Por que isso importa As restrições são o equilíbrio entre flexibilidade e segurança: permitem que código genérico dependa de uma forma mínima (tem `.length`, tem a chave `K`, estende alguma base) enquanto preservam o tipo específico do chamador. São essenciais para funções utilitárias, acesso seguro de tipo a objetos e qualquer genérico que precise *fazer* algo com seu parâmetro de tipo.