Kaj so generična omejenja?

Question

Accepted Answer

**Generična omejitev** (`T extends ...`) omejuje, kakšne vrste je lahko generični parameter, tako da lahko varno uporabite določene lastnosti ali metode na njem. Brez omejitve je generika *kaj koli*, zato ne morete predpostaviti, da ima kakršne koli člane. ```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 ``` Omejitev je *obljuba*: "`T` bo imela vedno vsaj to obliko," kar omogoči prevajaliku, da dovoli `.length` medtem ko ohrani `T` kot natančno (tip povratka je dejanski tip polja/niza, ne omejitev). ## Omejitev na ključe (zelo pogosto) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` zagotavlja, da je `key` resnična lastnost `obj` — in `T[K]` vrne njen natančen tip. ## Privzeti parametri tipov ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Zakaj je to pomembno Omejitve so ravnovesje med fleksibilnostjo in varnostjo: omogočajo generičnemu kodu, da se zanese na minimalno obliko (ima `.length`, ima ključ `K`, razširja neko bazo) medtem ko ohrani poklicani konkreten tip. So bistvene za funkcije pripomočkov, varno dostopanje do tipov objektov in katerokoli generiko, ki mora *nekaj storiti* s svojim parametrom tipa.