Bagaimana untuk memahami persimpangan TypeScript melalui keyof

Question

interface Person {
   nama: rentetan;
}

antara muka Jangka hayat {
   tarikh lahir;
   kematian: Tarikh;
}

jenis PersonSpan = Orang &

jenis K = keyof PersonSpan; // jenis K = "nama"

biarkan prop: K = "nama"; // ok

let obj: PersonSpan = { // kompilasi ralat, hilang sifat kelahiran dan kematian
   nama: "John Smith"
}

Jika saya ingin memahami jenis persimpangan melalui kunci:

Kunci{ nama: "John Smith" } bagi contoh objek ini ialah nama, yang sepadan dengan kunci PersonSpan , iaitu "nama" |. "kelahiran" |. "Kelahiran" |. "Kematian" = "Nama";

Jadi, selagi objek mempunyai salah satu daripada tiga sifat ini, ia sepatutnya sah, mengapa ia masih perlu mempunyai semua sifat yang boleh diserahkan kepada PersonSpan?

Answer 1

Dalam TypeScript, apabila anda mentakrifkan jenis menggunakan persilangan & dua atau lebih jenis, jenis yang terhasil akan mempunyai semua sifat setiap jenis persimpangan. Dalam kes ini, PersonSpan ditakrifkan sebagai persilangan Person dan Jangka Hayat, jadi objek jenis PersonSpan mesti mempunyai semua sifat Person dan Jangka Hayat. Walaupun keyof PersonSpan menghasilkan "nama" |. "kelahiran" |. set, anda boleh mengakses sifat ini menggunakan kekunci "nama" pada objek jenis PersonSpan, "kelahiran" atau "kematian" yang mungkin juga jenis Separa yang anda cari, yang menjadikan semua prop sebagai pilihan

let obj: Partial<PersonSpan> = {  
   name: "John Smith"
}