Czym są ograniczenia generyczne?

Question

Accepted Answer

**Ograniczenie generyczne** (`T extends ...`) ogranicza, jakie typy może być parametr generyczny, dzięki czemu można bezpiecznie używać na nim pewnych właściwości lub metod. Bez ograniczenia, generyk może być *czymkolwiek*, więc nie można założyć, że ma jakichkolwiek członów. ```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 ``` Ograniczenie to *obietnica*: "`T` zawsze będzie mieć przynajmniej taki kształt," co pozwala kompilatorowi na `.length` przy jednoczesnym zachowaniu precyzji `T` (typ zwracany to rzeczywisty typ tablicy/łańcucha, a nie ograniczenie). ## Ograniczenie do kluczy (bardzo często) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` gwarantuje, że `key` jest rzeczywistą właściwością `obj` — a `T[K]` zwraca jej dokładny typ. ## Domyślne parametry typów ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Dlaczego to ważne Ograniczenia to równowaga między elastycznością a bezpieczeństwem: pozwalają kodowi generycznemu polegać na minimalnym kształcie (ma `.length`, ma klucz `K`, rozszerza jakąś bazę) przy jednoczesnym zachowaniu konkretnego typu wywołującego. Są niezbędne dla funkcji użyteczności, bezpiecznego dla typów dostępu do obiektu i dowolnego generyka, który musi *coś* zrobić ze swoim parametrem typu.