Apa yang membingungkan mengenai kesimpulan jenis jenis: Empat jenis mempunyai hasil yang sama, dan masalah yang sepadan dengan jenis bersyarat dengan jenis kesatuan?

Subtleties Jenis Jenis Kesimpulan: Hasil yang sama dari Empat Jenis Definisi dan Masalah Padanan antara Jenis Bersyarat dan Jenis Kesatuan

Artikel ini menerangkan sebab -sebab mengapa beberapa definisi jenis yang kelihatan berbeza dalam TypeScript menghasilkan hasil yang sama, dan menjelaskan masalah jenis bersyarat yang sepadan dengan jenis kesatuan.

Pertama, kita menganalisis definisi empat jenis getReturnType :

 Taipkan getReturnType1<t> = T meluas (... args: tidak pernah) => menyimpulkan r? R: tidak pernah;
Taip getReturnType2<t> = T meluas (... args: tidak pernah []) => menyimpulkan r? R: tidak pernah;
Taip getReturnType3<t> = T meluas (... args: mana -mana []) => menyimpulkan r? R: tidak pernah;
Taip getReturnType4<t> = T meluas (... args: mana -mana) => menyimpulkan r? R: tidak pernah;</t></t></t></t>

Semua empat definisi jenis direka untuk menyimpulkan jenis nilai pulangan mereka dari jenis fungsi. Walaupun jenis parameter (...args: never) , (...args: never[]) , (...args: any[]) dan (...args: any) kelihatan berbeza, mereka melakukan secara konsisten dalam kesimpulan jenis. Ini kerana kata kunci extends terutamanya memberi tumpuan kepada bilangan parameter dan jenis nilai pulangan fungsi, dan tidak semestinya memeriksa butiran jenis parameter. never mewakili jenis yang mustahil, any mewakili apa -apa jenis, dan never[] mewakili array kosong; Perbezaan ini diabaikan semasa proses penyimpanan jenis nilai pulangan. Oleh itu, jenis nilai R fungsi boleh disimpulkan dengan betul.

Seterusnya, kami menganalisis masalah yang jenis bersyarat tidak sepadan dengan jenis kesatuan:

 jenis alat peraga<t extends major rescategorylabel> = {
  Labels: t [];
  setSelect: (indeks: nombor, label: t melanjutkan utama? Major: RescategoryLabel) => void;
  xxx;
};

const changeSelect = (
  Indeks: nombor,
  Label: Major | RescategoryLabel,
  E: React.MouseEvent<htmlanchorelement> | React.TouchEvent<htmlanchorelement>
) => {
  setSelect (indeks, label);
  ActiveTabTocenter (e.currentTarget sebagai htmlelement);
};</htmlanchorelement></htmlanchorelement></t>

label parameter kedua fungsi setSelect ditakrifkan sebagai T extends Major ? Major : ResCategoryLabel . Masalahnya ialah apabila T adalah Major | ResCategoryLabel , TypeScript tidak dapat menentukan jenis label . Jenis bersyarat cuba memilih jenis berdasarkan sama ada T adalah Major , tetapi T mungkin menjadi Major atau ResCategoryLabel , menyebabkan kesimpulan jenis gagal memberikan jenis tertentu, mengakibatkan kesilapan jenis tidak sepadan. Ini bukan kesilapan logik kod, tetapi batasan sistem jenis TypeScript apabila berurusan dengan jenis kesatuan dan jenis bersyarat. Penyelesaian mungkin memerlukan refactoring jenis definisi jenis Props atau fungsi setSelect , seperti menggunakan penegasan jenis atau lebih banyak definisi jenis berbutir untuk menaip label secara eksplisit.

Atas ialah kandungan terperinci Apa yang membingungkan mengenai kesimpulan jenis jenis: Empat jenis mempunyai hasil yang sama, dan masalah yang sepadan dengan jenis bersyarat dengan jenis kesatuan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!