Qu'est-ce qui est confus dans l'inférence du type de dactylographie: les quatre types ont les mêmes résultats et le problème de la correspondance des types conditionnels avec les types d'union?

Les subtilités de l'inférence de type dactylographié: le même résultat des quatre définitions de types et le problème de correspondance entre le type conditionnel et le type syndical

Cet article explore les raisons pour lesquelles plusieurs définitions de type apparemment différentes dans TypeScript produisent les mêmes résultats et explique un problème de correspondance des types conditionnels avec les types d'union.

Tout d'abord, nous analysons les définitions de quatre types getReturnType :

 Tapez getreTurnType1<t> = T s'étend (... args: jamais) => inférer r? R: Jamais;
Tapez getreTurnType2<t> = T s'étend (... args: jamais []) => inférer r? R: Jamais;
Tapez getreTurnType3<t> = T s'étend (... args: tout []) => inférieur r? R: Jamais;
Tapez getreTurnType4<t> = T s'étend (... args: tout) => inférieur r? R: Jamais;</t></t></t></t>

Les quatre définitions de type sont conçues pour déduire leur type de valeur de retour à partir des types de fonctions. Bien que les types de paramètres (...args: never) , (...args: never[]) , (...args: any[]) et (...args: any) semblent différent, ils fonctionnent de manière cohérente dans l'inférence de type. En effet, le mot clé extends se concentre principalement sur le nombre de paramètres et les types de valeur de retour de la fonction, et ne vérifie pas strictement les détails du type de paramètre. Ne représente never un type impossible, any représente un type et ne représente never[] un tableau vide; Ces différences sont ignorées pendant le processus d'inférence du type de valeur de retour. Par conséquent, le type de valeur de retour R de la fonction peut être correctement déduit.

Ensuite, nous analysons un problème selon lequel les types conditionnels ne correspondent pas aux types d'union:

 Type d'accessoires<t extends major rescategorylabel> = {
  Étiquettes: t [];
  SetSelect: (Index: numéro, étiquette: t étend majeur? Major: RescategoryLabel) => void;
  xxx;
};

const changeselect = (
  Index: numéro,
  Étiquette: Major | RescategoryLabel,
  E: react.Mousevent<htmlanchorelement> | React.touchevent<htmlanchorelement>
) => {
  setSelect (index, label);
  activeTaBtocentter (e.CurrentTarget comme htmlement);
};</htmlanchorelement></htmlanchorelement></t>

La deuxième label de paramètre de setSelect est définie comme T extends Major ? Major : ResCategoryLabel . Le problème est que lorsque T est Major | ResCategoryLabel , TypeScript ne peut pas déterminer le type d' label . Le type conditionnel essaie de sélectionner un type en fonction de la question de savoir si T est Major , mais T peut être Major ou ResCategoryLabel , ce qui fait que l'inférence du type ne donne pas un certain type, ce qui entraîne une erreur de décalage de type. Ce n'est pas une erreur de logique de code, mais une limitation du système de type TypeScript lorsqu'il s'agit de types d'union et de types conditionnels. Une solution de contournement peut nécessiter une refactorisation de la définition de type du type Props ou de la fonction setSelect , telles que l'utilisation d'assertions de type ou des définitions de type granulaire plus granulaires pour taper explicitement label .

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!