Mitä ovat generiset rajoitukset?

Question

Accepted Answer

**Geneerinen rajoitus** (`T extends ...`) rajoittaa, mitä tyyppejä geneerinen parametri voi olla, jotta voit turvallisesti käyttää tiettyjä ominaisuuksia tai metodeja siihen. Ilman rajoitusta geneerinen voisi olla *mitä tahansa*, joten et voi olettaa, että sillä on mitään jäseniä. ```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 ``` Rajoitus on *lupaus*: "`T` tulee aina olemaan vähintään tässä muodossa," mikä antaa kääntäjälle mahdollisuuden sallia `.length` samalla kun `T` pysyy tarkkana (paluutyyppi on todellinen taulukko/merkkijono-tyyppi, ei rajoitus). ## Rajoitus avaimiin (hyvin yleistä) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` takaa, että `key` on `obj`:n todellinen ominaisuus — ja `T[K]` palauttaa sen tarkan tyypin. ## Oletustyyppiparametrit ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Miksi sillä on merkitystä Rajoitukset ovat tasapaino joustavuuden ja turvallisuuden välillä: ne antavat geneerisen koodin luottaa minimaalisen muotoon (on `.length`, on avain `K`, laajentaa jotakin perusta) samalla kun säilyttävät kutsuneen spesifisen tyypin. Ne ovat välttämättömiä apufunktioille, tyyppiturvalliselle objektien käytölle ja mille tahansa generiikoille, jotka tarvitsevat *tehdä* jotain tyyppirametrinsa kanssa.