Τι είναι οι υπό όρους και χαρτογραφημένοι τύποι;

Question

Accepted Answer

Αυτά είναι τα **εργαλεία προγραμματισμού επιπέδου τύπου** του TypeScript — υπολογίζουν νέους τύπους από υπάρχοντες τύπους. ## Χαρτογραφημένοι τύποι — μετασχηματίστε κάθε ιδιότητα Ένας χαρτογραφημένος τύπος επαναλαμβάνεται στα κλειδιά ενός τύπου και μετασχηματίζει καθένα: ```ts type ReadonlyAll = { readonly [K in keyof T]: T[K] }; type Optional = { [K in keyof T]?: T[K] }; interface User { id: number; name: string; } type RO = ReadonlyAll; // { readonly id: number; readonly name: string } ``` `[K in keyof T]` επαναλαμβάνεται σε κάθε κλειδί `K`; `T[K]` είναι ο τύπος τιμής εκείνου του κλειδιού. Έτσι υλοποιούνται τα `Partial`, `Readonly` και `Required`. Μπορείτε επίσης να χαρτογραφήσετε ξανά κλειδιά και να προσθέσετε τροποποιητές (`-readonly`, `-?` τα αφαιρούν). ## Υπό όρους τύποι — διακλάδωση σε συνθήκη ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` είναι if/else σε επίπεδο τύπου. Με `infer` μπορείτε να *εξαγάγετε* τύπους μέσα στη συνθήκη: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Συνδυασμός — ένα πραγματικό παράδειγμα ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Οι χαρτογραφημένοι τύποι επίσης **διανέμονται** σε ενώσεις σε συνθήκες, ενεργοποιώντας ισχυρούς μετασχηματισμούς. ## Γιατί έχει σημασία Οι χαρτογραφημένοι και υπό όρους τύποι επιτρέπουν στις βιβλιοθήκες να εκφράσουν ακριβείς σχέσεις τύπων — υλοποιούν τύπους χρησιμότητας, ενδυναμώνουν βιβλιοθήκες φορμών/επικύρωσης, δημιουργούς ερωτημάτων ORM και πελάτες API που συμπεραίνουν σχήματα απόκρισης. Είναι προηγμένα, αλλά η κατανόησή τους εξηγεί *πώς* το σύστημα τύπων του TypeScript μπορεί να είναι τόσο εκφραστικό, και σας επιτρέπει να δημιουργήσετε επαναχρησιμοποιήσιμους μετασχηματισμούς τύπων αντί να γράφετε παραλλαγές με το χέρι.