Mitä infer-avainsana tekee?

Question

Accepted Answer

`infer` käytetään **conditional type** -sisällä *kaappaamaan* (poimimaan) tyyppi toisesta tyypistä uuteen tyyppmuuttujaan, jota voit sitten käyttää. Se on pattern-matching tyypeille. ```ts // Extract the element type of an array type ElementOf = T extends (infer U)[] ? U : never; type A = ElementOf; // string type B = ElementOf; // number ``` Lue se näin: "jos `T` vastaa mallia `U[]`, sido `U` mihin tahansa elementtityyppi on, ja palauta se." `infer U` ilmoittaa paikkamerkin, jonka kääntäjä täyttää vastaavuudella. ## Yleiset ekstrahoinnit todellisessa maailmassa ```ts // the resolved type of a Promise type Awaited2 = T extends Promise ? R : T; type R = Awaited2>; // User // a function's return type (this is how ReturnType is built) type MyReturn = T extends (...args: any[]) => infer R ? R : never; type X = MyReturn<() => number>; // number // a function's first parameter type FirstArg = T extends (a: infer A, ...rest: any[]) => any ? A : never; ``` ## Useita ja rekursiivisia infer ```ts type UnwrapBoth = T extends Promise ? UnwrapBoth : // recurse to unwrap nested promises T extends (infer E)[] ? E : T; ``` Voit käyttää useita `infer`s yhdessä mallissa ja jopa rekursio. ## Miksi se on tärkeää `infer` on sisäänrakennettujen tyyppien kuten `ReturnType`, `Parameters`, `Awaited` ja `InstanceType` taustalla oleva moottori, ja kirjaston magian taustalla, joka johtaa vasteistyyppejä noutajista tai prop-tietoja komponenteista. Sen avulla tyyppikoodi voi "avata" monimutkaisen tyypin ja vetää sisäosien palat ulos — tehokkain työkalu kirjoitettaessa tyyppejä, jotka sopeutuvat muihin tyyppeihin.