Kas yra bendrieji apribojimai?

Question

Accepted Answer

A **generic constraint** (`T extends ...`) riboja, kokius tipus gali būti bendrasis parametras, todėl galite saugiai naudoti tam tikras savybes ar metodus. Be apribojimo, bendrasis gali būti *bet kas*, todėl negalite daryti prielaidos, kad jis turi nariams. ```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 ``` Apribojimas yra *pažadas*: "`T` visada turės bent šią formą," kuris leidžia kompiliatoriui leisti `.length` ir išlaikant `T` tikslą (grąžinimo tipas yra tikrasis masyvo/eilutės tipas, ne apribojimas). ## Apribojimas pagal raktus (labai dažnas) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garantuoja, kad `key` yra tikra `obj` savybė — ir `T[K]` grąžina jos tikslų tipą. ## Numatyti tipo parametrai ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Kodėl tai svarbu Apribojimai yra pusiausvyra tarp lankstumo ir saugumo: jie leidžia bendrajam kodui pasikliauti minimalia forma (turi `.length`, turi raktą `K`, išplečia tam tikrą bazę) ir išlaikyti konkrečią skambinančiojo tipą. Jie yra neišvengiami naudingoms funkcijoms, tipui saugiam objekto prieinamumui ir bet kuriam bendrajam, kuris turi *ką nors daryti* su jo tipo parametru.