Ce sunt restricțiile generice?

Question

Accepted Answer

O **restricție generică** (`T extends ...`) restricționează ce tipuri poate fi un parametru generic, pentru ca tu să poți folosi în siguranță anumite proprietăți sau metode pe el. Fără o restricție, un generic poate fi *orice*, deci nu poți presupune că are niciun membru. ```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 ``` Restricția este o *promisiune*: "`T` va avea întotdeauna cel puțin această formă," care permite compilatorului să permită `.length` în timp ce ține `T` precis (tipul de returnare este tipul real de array/string, nu restricția). ## Restricționare la chei (foarte frecvent) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garantează că `key` este o proprietate reală a `obj` — și `T[K]` returnează tipul exact al acesteia. ## Parametri de tip impliciti ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## De ce contează Restricțiile sunt echilibrul între flexibilitate și siguranță: permit codului generic să se bazeze pe o formă minimală (are `.length`, are cheia `K`, extinde o bază oarecare) în timp ce conservă tipul specific al apelantului. Sunt esențiale pentru funcții utilitare, acces cu siguranță de tip la obiecte și orice generic care trebuie să *facă* ceva cu parametrul su de tip.