infer χρησιμοποιείται μέσα σε ένα conditional type για να συλλάβει (εξάγει) ένα type από μέσα σε ένα άλλο type σε μια νέα μεταβλητή type που μπορείτε στη συνέχεια να χρησιμοποιήσετε. Είναι pattern-matching για types.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Διαβάστε το ως εξής: "αν το T ταιριάζει με το μοτίβο U[], δέστε το U με όποιο κι αν είναι ο τύπος του στοιχείου, και επιστρέψτε το." Το infer U δηλώνει ένα placeholder που ο compiler συμπληρώνει με ταίριασμα.
// the resolved type of a Promise
type Awaited2<T> = T extends Promise<infer R> ? R : T;
type R = Awaited2<Promise<User>>; // User
// a function's return type (this is how ReturnType is built)
type MyReturn<T> = T extends (...args: any[]) => infer R ? R : never;
type X = MyReturn<() => number>; // number
// a function's first parameter
type FirstArg<T> = T extends (a: infer A, ...rest: any[]) => any ? A : never;
type UnwrapBoth<T> =
T extends Promise<infer U> ? UnwrapBoth<U> : // recurse to unwrap nested promises
T extends (infer E)[] ? E : T;
Μπορείτε να χρησιμοποιήσετε πολλές infers σε ένα μοτίβο και ακόμα και να κάνετε αναδρομή.
Το infer είναι ο κινητήρας πίσω από τα ενσωματωμένα types όπως ReturnType, Parameters, Awaited και InstanceType, και πίσω από τη μαγεία της βιβλιοθήκης που προέρχεται από τύπους απόκρισης από fetchers ή props από components.
Διατιθέσει τον κώδικα type να "ανοίξει" ένα περίπλοκο type και να τραβήξει τα εσωτερικά κομμάτια — το πιο ισχυρό εργαλείο για τη σύνταξη types που προσαρμόζονται σε άλλα types.