X'inhuma l-kundizzjonijiet ġeneriċi?

Question

Accepted Answer

A **generic constraint** (`T extends ...`) jirristretti liema tipi jistgħu jkunu parameter ġeneriku, sabiex tista' tuża b'sigurtà ċerti proprjetajiet jew metodi fuqu. Mingħajr kundizzjoni, ġeneriku jista' jkun *xejn*, għalhekk ma tistax tassumi li għandu xi membri. ```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 ``` Al-kundizzjoni hija *promessa*: "`T` dejjem se jkollha mill-inqas din il-forma," li tippermetti lill-compiler tippermetti `.length` filwaqt li żżomm `T` preċiz (it-tip li jirritorna hu t-tip ta' array/string attwali, mhux il-kundizzjoni). ## Tqabbid mal-ċwievet (komuni ħafna) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` tigarantissi li `key` hija proprjetà reali ta' `obj` — u `T[K]` tirritorna t-tip preċiz tagħha. ## Parametri ta' tip predefinit ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Għaliex huwa importanti Al-kundizzjonijiet huma l-bilanċ bejn il-flessibilità u s-sigurtà: jippermettilha al-kodiċi ġeneriku tiddependi fuq forma minima (għandha `.length`, għandha č-ċwievet `K`, testendi xi bażi) filwaqt li żżomm it-tip speċifiku tal-awwatur. Huma essenzjali għal funzjonijiet ta' utilità, aċċess ta' oġġett safe-type, u kwalunkwe ġeneriku li jeħtieġ *jagħmel* xi ħaġa mal-parametru tat-tip tiegħu.