Što su generički ograničenja?

Question

Accepted Answer

**Generičko ograničenje** (`T extends ...`) ograničava koje tipove generički parametar može biti, tako da možete sigurno koristiti određena svojstva ili metode na njemu. Bez ograničenja, generički bi mogao biti *bilo šta*, pa ne možete pretpostavljati da ima nikakve članove. ```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 ``` Ograničenje je *obećanje*: "`T` će uvijek imati barem ovaj oblik," što omogućuje kompajleru da dozvoli `.length` dok `T` ostaje precizan (tip povratka je stvarni tip array/string, ne ograničenje). ## Ograničenja na ključeve (vrlo često) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` jamči da je `key` stvarno svojstvo od `obj` — i `T[K]` vraća njegov točan tip. ## Zadani tipovi parametara ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Zašto je to važno Ograničenja su ravnoteža između fleksibilnosti i sigurnosti: dozvoljavaju generičkom kodu da se oslanja na minimalnu strukturu (ima `.length`, ima ključ `K`, proširuje neku bazu) dok čuvaju specifičan tip pozivatelja. Su bitna za uslužne funkcije, sigurnu pristup objektima po tipu i bilo koji generički koji treba nešto *učiniti* sa svojim parametrom tipa.