Apa jenis Catatan dalam naskah?

Apa yang dimaksud Record<K, T>dalam naskah?

Jenis naskah 2.1 memperkenalkan Recordjenis tersebut, menjelaskannya dalam contoh:

// For every properties K of type T, transform it to U
function mapObject<K extends string, T, U>(obj: Record<K, T>, f: (x: T) => U): Record<K, U>

lihat naskah 2.1

Dan Jenis Lanjutan halaman menyebutkan Recorddi bawah Jenis dipetakan menuju samping Readonly, Partialdan Pick, dalam apa yang tampaknya menjadi definisi:

type Record<K extends string, T> = {
    [P in K]: T;
}

Readonly, Partial dan Pick bersifat homomorfik sedangkan Record tidak. Satu petunjuk bahwa Record bukan homomorphic adalah bahwa ia tidak mengambil tipe input untuk menyalin properti dari:

type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>

Dan itu saja. Selain kutipan di atas, tidak ada lagi disebutkan Recorddi typescriptlang.org .

Pertanyaan

1. Adakah yang bisa memberikan definisi sederhana tentang apa Recorditu?

2. Apakah Record<K,T>hanya cara mengatakan "semua properti pada objek ini akan memiliki tipe T"? Mungkin tidak semua properti, karena Kmemiliki beberapa tujuan ...

3. Apakah Kgenerik melarang kunci tambahan pada objek yang tidak K, atau apakah itu memperbolehkannya dan hanya menunjukkan bahwa propertinya tidak ditransformasikan T?

4. Dengan contoh yang diberikan:

    type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>

Apakah persis sama dengan ini ?:

    type ThreeStringProps = {prop1: string, prop2: string, prop3: string}

1. Adakah yang bisa memberikan definisi sederhana tentang apa Recorditu?

A Record<K, T>adalah tipe objek yang memiliki kunci properti Kdan yang memiliki nilai properti T. Artinya, keyof Record<K, T>sama dengan K, dan Record<K, T>[K](pada dasarnya) setara dengan T.

2. Apakah Record<K,T>hanya cara mengatakan "semua properti pada objek ini akan memiliki tipe T"? Mungkin tidak semua benda, karena Kmemiliki beberapa tujuan ...

Seperti yang Anda perhatikan, Kmemiliki tujuan ... untuk membatasi kunci properti hingga nilai tertentu. Jika Anda ingin menerima semua kunci bernilai string yang mungkin, Anda bisa melakukan sesuatu seperti Record<string, T>, tetapi cara idiomatis melakukan itu adalah dengan menggunakan tanda tangan indeks seperti { [k: string]: T }.

3. Apakah Kgenerik melarang kunci tambahan pada objek yang tidak K, atau apakah itu memperbolehkannya dan hanya menunjukkan bahwa propertinya tidak ditransformasikan T?

Itu tidak persis "melarang" kunci tambahan: setelah semua, nilai umumnya diizinkan untuk memiliki properti yang tidak disebutkan secara eksplisit dalam jenisnya ... tetapi itu tidak akan mengenali bahwa properti tersebut ada:

declare const x: Record<"a", string>;
x.b; // error, Property 'b' does not exist on type 'Record<"a", string>'

dan itu akan memperlakukan mereka sebagai properti berlebih yang kadang-kadang ditolak:

declare function acceptR(x: Record<"a", string>): void;
acceptR({a: "hey", b: "you"}); // error, Object literal may only specify known properties

dan terkadang diterima:

const y = {a: "hey", b: "you"};
acceptR(y); // okay

4. Dengan contoh yang diberikan:

   type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>

   Apakah persis sama dengan ini ?:

   type ThreeStringProps = {prop1: string, prop2: string, prop3: string}

Iya!

Semoga itu bisa membantu. Semoga berhasil!

Catatan memungkinkan Anda membuat tipe baru dari Serikat. Nilai-nilai di Uni digunakan sebagai atribut dari tipe baru.

Misalnya, saya memiliki Serikat seperti ini:

type CatNames = "miffy" | "boris" | "mordred";

Sekarang saya ingin membuat objek yang berisi informasi tentang semua kucing, saya bisa membuat tipe baru menggunakan nilai-nilai di CatName Union sebagai kunci.

type CatList = Record<CatNames, {age: number}>

Jika saya ingin memenuhi CatList ini, saya harus membuat objek seperti ini:

const cats:CatList = {
  miffy: { age:99 },
  boris: { age:16 },
  mordred: { age:600 }
}

Anda mendapatkan keamanan tipe yang sangat kuat:

• Jika saya lupa kucing, saya mendapatkan kesalahan.
• Jika saya menambahkan kucing yang tidak diizinkan, saya mendapatkan kesalahan.
• Jika nanti saya mengubah CatNames, saya mendapatkan kesalahan. Ini sangat berguna karena CatNames kemungkinan diimpor dari file lain, dan kemungkinan digunakan di banyak tempat.

Contoh nyata bereaksi dunia nyata.

Saya menggunakan ini baru-baru ini untuk membuat komponen Status. Komponen akan menerima prop status, dan kemudian membuat ikon. Saya telah menyederhanakan kode di sini untuk tujuan ilustrasi

Saya memiliki serikat pekerja seperti ini:

type Statuses = "failed" | "complete";

Saya menggunakan ini untuk membuat objek seperti ini:

const icons: Record<
  Statuses,
  { iconType: IconTypes; iconColor: IconColors }
> = {
  failed: {
    iconType: "warning",
    iconColor: "red"
  },
  complete: {
    iconType: "check",
    iconColor: "green"
  };

Saya kemudian dapat membuat dengan menghancurkan elemen dari objek menjadi alat peraga, seperti:

const Status = ({status}) => <Icon {...icons[status]} />

Jika penyatuan Status kemudian diperpanjang atau diubah, saya tahu komponen Status saya akan gagal dikompilasi dan saya akan mendapatkan kesalahan yang bisa segera saya perbaiki. Ini memungkinkan saya untuk menambahkan status kesalahan tambahan ke aplikasi.

Perhatikan bahwa aplikasi aktual memiliki lusinan status kesalahan yang direferensikan di banyak tempat, jadi jenis keamanan ini sangat berguna.