რა არის ზოგადი შეზღუდვები?

Question

Accepted Answer

A **generic constraint** (`T extends ...`) შეზღუდავს რა ტიპები შეიძლება იყოს ზოგადი პარამეტრი, ასე რომ თქვენ უსაფრთხოდ შეგიძლიათ გამოიყენოთ გარკვეული თვისებები ან მეთოდები მასზე. შეზღუდვის გარეშე, ზოგადი შეიძლება იყოს *ზედმეტი*, ამიტომ არ შეგიძლიათ ვივარაუდოთ რომ გაქვს რაიმე წევრი. ```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 ``` შეზღუდვა არის *პირობა*: "`T` ყოველთვის გექნება მინიმუმ ეს ფორმა," რაც კომპილატორს საშუალებას აძლევს დაშვებული იყოს `.length` და ამავე დროს შენარჩუნდეს `T` ზუსტი (დაბრუნების ტიპი არის მასივის/სტრიქონის რეალური ტიპი, არა შეზღუდვა). ## კვლიდან შეზღუდვა (ძალიან გავრცელებული) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` გარანტიას აძლევს `key` არის `obj` რეალური თვისება — და `T[K]` აბრუნებს მის ზუსტ ტიპს. ## ტიპის ნაგულელი პარამეტრები ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## რატომ არის მნიშვნელოვანი შეზღუდვები ბალანსია მოქნილობასა და უსაფრთხოებას შორის: ისინი საშუალებას აძლევს ზოგადი კოდი დამოკიდებული იყოს მინიმალურ ფორმაზე (აქვს `.length`, აქვს კლავიშ `K`, ვრცელდება გარკვეულ ბაზას) ხოლო შეტყობინებული მაძიებელის კონკრეტული ტიპი. ისინი აუცილებელია სასარგებლო ფუნქციებისთვის, ტიპი-უსაფრთხო ობიექტის წვდომისთვის და ნებისმიერი ზოგადი რომელსაც სჭირდება *გააკეთოს* რაც-რაიმე მისი ტიპის პარამეტრით.