Vigezo vya generic ni nini?

Question

Accepted Answer

A **generic constraint** (`T extends ...`) inabadilisha aina gani parameter ya generic inaweza kuwa, ili uweze kutumia kwa usalama mali fulani au njia kwenye hiyo. Bila kizuizi, generic inaweza kuwa *chochote*, kwa hivyo huwezi kudhani ina washiriki wowote. ```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 ``` Kizuizi ni *ahadi*: "`T` itakuwa na angalau sura hii," ambayo inaruhusu msanidi kuruhusu `.length` lakini bado kuweka `T` sahihi (aina ya kurudi ni aina halisi ya array/string, si kizuizi). ## Kuzuia kwa funguo (kawaida sana) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` inakamatia `key` ni mali halisi ya `obj` — na `T[K]` inarudisha aina yake halisi. ## Vigezo vya aina chaguo-msingi ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Kwa nini inafaa Vigezo ni usawa kati ya kubadilika na usalama: vinakuruhusu msimbo wa generic kutegemea sura ndogo (ina `.length`, ina funguo `K`, inapanua msingi fulani) wakati kukamatia aina maalum ya muita. Vina jukumu muhimu kwa kazi za zana, upatikanaji wa kitu kilicho salama kwa aina, na yoyote ya generic inayohitaji *kufanya* kitu na vigezo vyake vya aina.