Kekeliruan mengenai Jenis Jenis Kesimpulan: Kenapa definisi jenis nilai pulangan dari empat fungsi yang sama, dan bagaimana untuk mengelakkan kesilapan jenis dalam senario jenis kesatuan?

Sangat meneroka kehalusan kesimpulan jenis jenis: kesetaraan definisi jenis nilai pulangan dari empat fungsi dan keselamatan jenis di bawah jenis kesatuan

Artikel ini sangat menganalisis mekanisme kesimpulan jenis jenis, menerangkan bagaimana definisi jenis fungsi yang kelihatan berbeza dapat memperoleh hasil yang sama, dan menyelesaikan kesilapan jenis dalam senario jenis bersama.

Pertama, kita melihat empat jenis definisi 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 mengekstrak jenis nilai pulangan dari jenis fungsi. Walaupun jenis parameter ( never , never[] , any[] , any ) adalah berbeza, mereka tidak mempunyai kesan ke atas hasil kesimpulan dari jenis nilai pulangan R dalam jenis kesimpulan. Kata kunci extends memberi tumpuan kepada struktur jenis fungsi, bukan jenis parameter tertentu. Selagi jenis fungsi sepadan, infer R boleh menyimpulkan jenis nilai pulangan dengan betul. Oleh itu, empat definisi ini sebenarnya bersamaan.

Seterusnya, kami menganalisis sekeping kod yang menunjukkan ralat jenis yang mungkin berlaku apabila jenis kesatuan dan jenis bersyarat digabungkan:

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

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>

Terdapat masalah dengan jenis kesimpulan label parameter fungsi setSelect dalam definisi jenis Props . Jenis bersyarat T extends Major ? Major : ResCategoryLabel cuba untuk menentukan jenis label berdasarkan jenis T Walau bagaimanapun, kerana T adalah jenis bersama Major | ResCategoryLabel , apabila jenis sebenar T tidak diketahui, pengkompil tidak dapat menentukan sama ada T adalah Major atau ResCategoryLabel , mengakibatkan kesimpulan jenis label gagal. Masalahnya bukan jenis bersyarat itu sendiri, tetapi aplikasinya dalam konteks jenis kesatuan.

Penyelesaiannya adalah menggunakan Major | ResCategoryLabel secara langsung sebagai jenis label :

 jenis alat peraga<t extends major rescategorylabel> = {
  Labels: t [];
  setSelect: (indeks: nombor, label: major | rescategoryLabel) => void;
  xxx: Mana -mana; // atribut lain ditinggalkan};</t>

Dengan cara ini, jenis parameter fungsi setSelect adalah jelas, mengelakkan kesilapan jenis dan meningkatkan kebolehbacaan dan mengekalkan kod. Ini mencerminkan keperluan untuk meninggalkan kawalan jenis halus yang dibawa oleh jenis bersyarat apabila berurusan dengan jenis bersama sebagai pertukaran untuk definisi jenis yang lebih jelas dan lebih selamat.

Atas ialah kandungan terperinci Kekeliruan mengenai Jenis Jenis Kesimpulan: Kenapa definisi jenis nilai pulangan dari empat fungsi yang sama, dan bagaimana untuk mengelakkan kesilapan jenis dalam senario jenis kesatuan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!