Was ist verwirrend an Inferenz für Typskriptyp: Die vier Typen haben die gleichen Ergebnisse und das Problem, die bedingten Typen mit Gewerkschaftstypen abzustimmen?

Die Feinheiten des Typs -Skriptyps -Inferenz: Das gleiche Ergebnis der Definitionen der vier Typen und das Übereinstimmungsproblem zwischen dem bedingten Typ und dem Gewerkschaftstyp

In diesem Artikel wird die Gründe untersucht, warum mehrere scheinbar unterschiedliche Typdefinitionen in Typenkript die gleichen Ergebnisse erzielen, und erklärt ein Problem, dass die Bedingungstypen mit Gewerkschaftstypen angepasst werden.

Zunächst analysieren wir die Definitionen von vier getReturnType -Typen:

 Typ GetReturnType1<t> = T erweitert (... Argumente: nie) => inferen r? R: niemals;
Typ GetReturnType2<t> = T erweitert (... Argumente: nie []) => infer R? R: niemals;
Typ GetReturnType3<t> = T erweitert (... Argumente: irgendwelche []) => inferen r? R: niemals;
Typ GetReturnType4<t> = T erweitert (... Argumente: Any) => infer R? R: niemals;</t></t></t></t>

Alle vier Typdefinitionen sind so konzipiert, dass sie ihren Rückgabewerttyp aus Funktionstypen abgeben. Obwohl Parametertypen (...args: never) , (...args: never[]) , (...args: any[]) und (...args: any) sehen sie anders aus, sie treten konsequent in Typ -Inferenz ab. Dies liegt daran, dass sich das extends hauptsächlich auf die Anzahl der Parameter und Rückgabewerttypen der Funktion konzentriert und die Details des Parametertyps nicht strikt überprüft. steht never einen unmöglichen Typ dar, any Typ und never[] ein leeres Array; Diese Unterschiede werden während des Inferenzprozesses des Rückgabewerttyps ignoriert. Daher kann der Rückgabewert Typ R der Funktion korrekt abgeleitet werden.

Als nächstes analysieren wir ein Problem, dass bedingte Typen nicht den Gewerkschaftstypen übereinstimmen:

 Type tippen<t extends major rescategorylabel> = {{
  Etiketten: T [];
  setSelect: (Index: Nummer, Etikett: T erweitert Major? Major: SPRECATEGORYLABEL) => void;
  xxx;
};

const Änderung = (
  Index: Nummer,
  Etikett: Major | SPRECATIKORYLABEL,
  E: React.MouseEvent<htmlanchorelement> | React.touchEvent<htmlanchorelement>
) => {
  setSelect (Index, Etikett);
  activeTabtocenter (e.currentTarget als htmlelement);
};</htmlanchorelement></htmlanchorelement></t>

Die zweite label setSelect -Funktion ist definiert als T extends Major ? Major : ResCategoryLabel . Das Problem ist, dass, wenn T ist, wenn es Major | ResCategoryLabel , Typscript kann die Art der label nicht bestimmen. Der bedingte Typ versucht, einen Typ auszuwählen, der darauf basiert, ob T Major ist. T kann jedoch Major oder ResCategoryLabel sein, was dazu führt, dass die Typ -Folgerung keinen bestimmten Typ ergibt, was zu einem Fehlanpassungsfehler vom Typ führt. Dies ist kein Code -Logikfehler, sondern eine Einschränkung des TypsScript -Systems beim Umgang mit Gewerkschaftstypen und bedingten Typen. Für eine Problemumgehung kann die Typdefinition der Props -Typ- oder setSelect -Funktion neu gestalten, z label

Das obige ist der detaillierte Inhalt vonWas ist verwirrend an Inferenz für Typskriptyp: Die vier Typen haben die gleichen Ergebnisse und das Problem, die bedingten Typen mit Gewerkschaftstypen abzustimmen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!