Cosa sono i vincoli generici?

Question

Accepted Answer

Un **vincolo generico** (`T extends ...`) limita quali tipi può essere un parametro generico, in modo da poter usare in modo sicuro determinate proprietà o metodi su di esso. Senza un vincolo, un generico potrebbe essere *qualunque cosa*, quindi non puoi presumere che abbia alcun 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 ``` Il vincolo è una *promessa*: "`T` avrà sempre almeno questa forma," che consente al compilatore di consentire `.length` mantenendo al contempo `T` preciso (il tipo di ritorno è il tipo array/string effettivo, non il vincolo). ## Vincolo alle chiavi (molto comune) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garantisce che `key` sia una vera proprietà di `obj` — e `T[K]` restituisce il suo tipo esatto. ## Parametri di tipo predefiniti ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Perché è importante I vincoli sono l'equilibrio tra flessibilità e sicurezza: permettono al codice generico di fare affidamento su una forma minima (ha `.length`, ha la chiave `K`, estende una base) preservando al contempo il tipo specifico del chiamante. Sono essenziali per le funzioni di utilità, l'accesso agli oggetti type-safe e qualsiasi generico che abbia bisogno di *fare* qualcosa con il suo parametro di tipo.