Hva er generiske begrensninger?

Question

Accepted Answer

En **generisk begrensning** (`T extends ...`) begrenser hvilke typer en generisk parameter kan være, slik at du trygt kan bruke visse egenskaper eller metoder på den. Uten en begrensning kan en generisk være *hva som helst*, så du kan ikke anta at den har noen medlemmer. ```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 ``` Begrensningen er et *løfte*: "`T` vil alltid ha minst denne formen," som lar kompilatoren tillate `.length` mens `T` fortsatt holdes presist (returtypen er den faktiske array/string-typen, ikke begrensningen). ## Begrensning til nøkler (veldig vanlig) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garanterer at `key` er en reell egenskap på `obj` — og `T[K]` returnerer dens eksakte type. ## Standard typeparametere ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Hvorfor det betyr noe Begrensninger er balansen mellom fleksibilitet og sikkerhet: de lar generisk kode stole på en minimal form (har `.length`, har nøkkel `K`, utvider en eller annen base) samtidig som oppringerens spesifikke type bevares. De er essensielle for verktøyfunksjoner, typesikker objekttilgang, og enhver generisk som trenger å *gjøre* noe med typeparameteren sin.