Çfarë janë kufizimet e përgjithshme?

Question

Accepted Answer

Një **kufizim i përgjithshëm** (`T extends ...`) kufizon cilat lloje mund të jetë një parametër i përgjithshëm, në mënyrë që të mund të përdorni me siguri veti ose metoda të caktuara në të. Pa një kufizim, një gjenerik mund të jetë *çdo gjë*, kështu që nuk mund të supozoni se ka ndonjë anëtar. ```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 ``` Kufizimi është një *premtim*: "`T` do të ketë gjithmonë të paktën këtë formë," e cila lejon kompajlerin të lejojë `.length` ndërsa mbetet `T` e saktë (tipi i kthimit është tipi aktual i grupit/vargut, jo kufizimi). ## Kufizimi në çelësa (shumë i zakonshëm) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garanton se `key` është një veti reale e `obj` — dhe `T[K]` kthen tipin e saktë të saj. ## Parametrat e tipit parazgjedhje ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Pse kjo ka rëndësi Kufizimet janë balanca midis fleksibilitetit dhe sigurisë: ato lejojnë kodin e përgjithshëm të mbështetet në një formë minimale (ka `.length`, ka çelësin `K`, shtrin ndonjë bazë) ndërsa ruajnë llojin specifik të thirrësit. Ato janë thelbësore për funksionet e shërbimit, aksesin e sigurt të tipit të objekteve dhe cilëndo përgjithshëm që duhet të *bëjë* diçka me parametrin e tij të tipit.