infer a úsáidtear taobh istigh de conditional type chun cineál a ghabháil (a bhaint) ó bhraistint cineál eile isteach i athróg cineáil nua ar féidir leat a úsáid ansin. Is comhoiriúnú patrún do chineálacha a th'ann.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Léigh é mar: "más rud é go bhfreagraíonn T an patrún U[], ceangail U d'aon chineál eiliminte atá ann, agus fill air." Dearbhaíonn an infer U ionad foluain a líonann an tiomsaitheoir trí chomhoiriúnú.
// 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;
Is féidir leat roinnt infers a úsáid i bpatrún amháin agus fiú athgheal a dhéanamh.
Is infer an t-inneall taobh thiar de chineálacha ionsuite cosúil le ReturnType, Parameters, Awaited, agus InstanceType, agus taobh thiar den dhraíochta leabharlainne a dhíorthaíonn cineálacha freagra ó fhadadhail nó props ó chomhpháirteanna.
Ligann sé do chód cineáil "a oscailt" ar chineál casta agus na píosaí inmheánacha a tharraingt amach — an uirlis is cumhachtaí chun cineálacha a scríobh a oireann do chineálacha eile.