タイプスクリプトタイプの推論に関する混乱：なぜ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つのタイプ定義はすべて、関数タイプから戻り値タイプを抽出するように設計されています。パラメータータイプ（ never never[] 、[]、 any[] 、 any ）は異なりますが、推論のタイプの戻り値タイプRの推論結果に影響はありません。 extendsキーワードは、特定のタイプのパラメーターではなく、関数タイプの構造に焦点を当てています。関数タイプが一致する限り、 infer R戻り値のタイプを正しく推測できます。したがって、これらの4つの定義は実際に同等です。

次に、組合タイプと条件付きタイプが組み合わされたときに発生する可能性のあるタイプエラーを示すコードを分析します。

タイプ小道具<t extends major rescategorylabel> = {
  ラベル：t [];
  setSelect：（index：number、label：t extends major？major：rescategorylabel）=> void;
  xxx：any; //その他の属性は省略されています};

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

Propsタイプ定義のsetSelect関数パラメーターlabelのタイプ推論には問題があります。条件付きタイプT extends Major ? Major : ResCategoryLabel Tのタイプに基づいてlabelのタイプを決定しようとします。ただし、 Tは共同タイプのMajor | ResCategoryLabel 、 Tの実際のタイプが不明の場合、コンパイラはTがMajorかResCategoryLabelかを決定することができず、 labelのタイプの推論が失敗します。問題は、条件付きタイプ自体ではなく、組合タイプのコンテキストでの適用です。

解決策は、 Major | ResCategoryLabelを使用することですlabelのタイプとして直接Major | ResCategoryLabel ：

タイプ小道具<t extends major rescategorylabel> = {
  ラベル：t [];
  setSelect：（index：number、label：major | rescategorylabel）=> void;
  xxx：any; //その他の属性は省略されています};</t>

このようにして、 setSelect関数のパラメータータイプは明確であり、タイプエラーを回避し、コードの読みやすさと保守性を向上させます。これは、より明確で安全なタイプの定義と引き換えに共同タイプを扱う際に、条件付きタイプによってもたらされる洗練されたタイプの制御を放棄する必要性を反映しています。

以上がタイプスクリプトタイプの推論に関する混乱：なぜ4つの関数の返品値タイプの定義が同じであるのか、およびユニオンタイプシナリオのタイプエラーを回避する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。