infer este folosit în interiorul unui conditional type pentru a captura (extrage) un tip din interiorul altui tip într-o nouă variabilă de tip pe care o puteți folosi apoi. Este potrivirea de șabloane pentru tipuri.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Citiți-o ca: "dacă T se potrivește cu șablonul U[], legați U la orice tip de element este și returnați-l." infer U declară un substituent pe care compilatorul îl completează prin potrivirea șablonului.
// 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;
Puteți utiliza mai mulți inferi într-un șablon și chiar și recursie.
infer este motorul din spatele tipurilor built-in precum ReturnType, Parameters, Awaited și InstanceType, și din spatele magiei bibliotecii care derivă tipuri de răspuns din preluatori sau proprietăți din componente.
Este permite codului de tip să "deschidă" un tip complex și să extraagă piesele interne — cel mai puternic instrument pentru scrierea tipurilor care se adaptează la alte tipuri.
O bibliotecă de întrebări de interviu IT cu răspunsuri detaliate — de la Junior la Senior.
Donează