Mik a generikus megkötések?

Question

Accepted Answer

A **generikus megkötés** (`T extends ...`) korlátozza, hogy egy generikus paraméter milyen típus lehet, így biztonságosan használhat bizonyos tulajdonságokat vagy metódusokat rajta. Megkötés nélkül a generikus *bármi* lehet, így nem feltételezhet semmilyen tagot. ```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 ``` A megkötés egy *ígéret*: "`T` mindig legalább ezt az alakzatot fogja megadni," amely lehetővé teszi a fordítónak, hogy engedélyezze a `.length` használatát, miközben a `T` pontos marad (a visszatérési típus a tényleges tömb/string típus, nem a megkötés). ## Megkötés a kulcsokra (nagyon gyakori) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garantálja, hogy a `key` az `obj` valódi tulajdonsága — és `T[K]` pontosan annak típusát adja vissza. ## Alapértelmezett típusparaméterek ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Miért számít A megkötések az egyensúly a rugalmasság és a biztonság között: lehetővé teszik a generikus kódnak, hogy egy minimális alakzatra támaszkodjon (van `.length`, van `K` kulcs, kiterjeszti valamely alapot) miközben megőrzik a hívó konkrét típusát. Elengedhetetlenek az alkalmazásfunkciók, a típussal biztonságos objektumhozzáférés és bármely generikus számára, amely valamit *csinálni* akar a típusparaméterével.