タイプスクリプトタイプの推論について混乱しているものは何ですか。4つのタイプには同じ結果があり、条件付きタイプを組合型と一致させる問題はありますか？

タイプスクリプトタイプの推論の微妙さ：4つのタイプ定義と同じ結果と条件付きタイプとユニオンタイプの一致する問題

この記事では、TypeScriptのいくつかの一見異なるタイプの定義が同じ結果を生成する理由を調査し、条件付きタイプを組合タイプと一致させる問題を説明します。

まず、4つのgetReturnTypeタイプの定義を分析します。

タイプgetReturnType1<t> = t拡張（... args：never）=> very r？ R：決して;
タイプgetReturnType2<t> = t拡張（... args：never []）=> r？ R：決して;
タイプgetReturnType3<t> = t extends（... args：any []）=>推測r？ R：決して;
タイプgetReturnType4<t> = t拡張（... args：any）=> vert r？ R：決して;</t></t></t></t>

4つのタイプ定義はすべて、関数タイプからの返品値タイプを推測するように設計されています。パラメータータイプ(...args: never) 、 (...args: never[]) 、 (...args: any[]) 、および(...args: any)は違うように見えますが、タイプの推論で一貫してパフォーマンスします。これは、 extendsキーワードが主にパラメーターの数と関数の値タイプに焦点を合わせ、パラメータータイプの詳細を厳密に確認しないためです。不可能なタイプを表すnever 、いずれany任意のタイプを表し、空の配列を表すことnever[] 。これらの違いは、戻り値タイプの推論プロセス中に無視されます。したがって、関数の戻り値タイプRを正しく推測できます。

次に、条件付きタイプが組合タイプと一致しないという問題を分析します。

タイプ小道具<t extends major rescategorylabel> = {
  ラベル：t [];
  setSelect：（index：number、label：t extends major？major：rescategorylabel）=> void;
  xxx;
};

const changeselect =（
  インデックス：番号、
  ラベル：メジャー| RecategoryLabel、
  E：React.MouseEvent<htmlanchorelement> | React.touchevent<htmlanchorelement>
）=> {
  setSelect（index、label）;
  ActiveTabTocenter（e.currentTarget as htmlelement）;
};</htmlanchorelement></htmlanchorelement></t>

setSelect関数の2番目のパラメーターlabel 、 T extends Major ? Major : ResCategoryLabel 。問題は、 TがMajor | ResCategoryLabelであることですMajor | ResCategoryLabel 、TypeScriptはlabelのタイプを決定できません。条件付きタイプは、 TがMajorであるかどうかに基づいてタイプを選択しようとしますが、 T MajorまたはResCategoryLabelである可能性があり、タイプの推論が特定のタイプを与えないため、タイプのミスマッチエラーが発生します。これはコードロジックエラーではなく、組合タイプと条件付きタイプを扱う際の型タイプスクリプトタイプシステムの制限です。回避策では、タイプアサーションまたはより粒状タイプ定義を使用してlabelを明示的に入力するなど、 Propsタイプのタイプ定義をリファクタリングするか、機能をsetSelect必要があります。

以上がタイプスクリプトタイプの推論について混乱しているものは何ですか。4つのタイプには同じ結果があり、条件付きタイプを組合型と一致させる問題はありますか？の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。