Τι είναι οι περιορισμοί γενικών τύπων;

Question

IT Interview Practice · Accepted Answer

Ένας **περιορισμός γενικού τύπου** (`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` θα έχει πάντα τουλάχιστον αυτή τη μορφή," το οποίο επιτρέπει στον compiler να επιτρέψει `.length` ενώ παραμένει `T` ακριβές (ο τύπος επιστροφής είναι ο πραγματικός τύπος πίνακα/string, όχι ο περιορισμός). ## Περιορισμός σε κλειδιά (πολύ κοινό) ```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`, επεκτείνει κάποια βάση) ενώ διατηρούν τον συγκεκριμένο τύπο του καλούντα. Είναι απαραίτητες για λειτουργίες βοηθείας, ασφαλή πρόσβαση σε αντικείμενα και κάθε γενικό τύπο που πρέπει να *κάνει* κάτι με την παράμετρο του τύπου.

Περιορισμός σε κλειδιά (πολύ κοινό)

Προεπιλεγμένες παράμετροι τύπου

Γιατί είναι σημαντικό

Σχετικές ερωτήσεις