TypeScript Academy · Pelajaran

Mengira dengan Panjang Tuple

Wakili nombor sebagai panjang tuple dalam jenis.

Pelajaran 1 daripada 413 langkah

Mengira dengan Panjang Tuple ialah pelajaran TypeScript Academy percuma di CoddyKit. Ini ialah pelajaran 1 daripada 4. Anda boleh membaca keseluruhan pelajaran di bawah secara percuma — kemudian berlatih secara praktikal dalam pelayar menggunakan penyunting kod terbina dalam dan tutor kecerdasan buatan 24/7. Pelajaran ini merupakan sebahagian daripada laluan pembelajaran TypeScript Academy, dan kemajuan anda disegerakkan merentas web serta aplikasi CoddyKit. Kursus TypeScript Academy merangkumi sejumlah 4 pelajaran.

Nombor Memerlukan Perwakilan

Sistem jenis tidak boleh menjumlahkan literal angka secara langsung. Penyelesaian alternatif klasik ialah mewakili nombor N sebagai tupel dengan N elemen. Kandungannya tidak penting; hanya panjangnya yang penting.

type Three = [unknown, unknown, unknown];
type N = Three["length"]; // 3

Membaca Panjang

Setiap jenis tupel mempunyai sifat length yang merupakan jenis literal berangka. Pengindeksan dengan ["length"] membacanya semula sebagai nombor yang boleh digunakan.

type A = [1, 2, 3, 4]["length"]; // 4
type B = []["length"];           // 0
type C = ["x"]["length"];        // 1

Mengapa Pengisi unknown

Kami menggunakan unknown sebagai jenis elemen kerana nilainya tidak penting; hanya bilangannya yang penting. Apa-apa jenis boleh digunakan, tetapi unknown menandakan "ruang letak" dengan jelas.

type Two = [unknown, unknown];
type N = Two["length"]; // 2

Membina Tupel dengan Panjang N

Untuk melakukan perkara sebaliknya, bina tupel dengan panjang sasaran menggunakan rekursi. Tambahkan elemen sehingga panjangnya sepadan dengan N, kemudian kembalikan tupel itu. Inilah pembantu BuildTuple yang terkenal.

type BuildTuple<N extends number, Acc extends unknown[] = []> =
  Acc["length"] extends N ? Acc : BuildTuple<N, [...Acc, unknown]>;

type A = BuildTuple<3>; // [unknown, unknown, unknown]

Cara BuildTuple Membuat Gelung

Jejaki BuildTuple<3>:

Panjang pengumpul 0, bukan 3, tambah satu
Panjang pengumpul 1, bukan 3, tambah satu
Panjang pengumpul 2, bukan 3, tambah satu
Panjang pengumpul 3, sama dengan 3, kembalikan

Panjang pengumpul ialah pembilang gelung.

type A = BuildTuple<2>; // [unknown, unknown]

Panjang ialah Penghubung

Dua operasi membolehkan anda bergerak antara nombor dan tupel:

Nombor kepada tupel: BuildTuple<N>
Tupel kepada nombor: T["length"]

Semua aritmetik peringkat jenis dibina dengan merentasi penghubung ini.

type FromN = BuildTuple<4>;        // tuple of length 4
type BackToN = FromN["length"];    // 4

Membandingkan Berdasarkan Panjang

Oleh sebab panjang tupel ialah literal, anda boleh menyemak kesamaan kiraan. Bina tupel dan bandingkan panjangnya melalui kebolehtugasan.

type SameLength<A extends unknown[], B extends unknown[]> =
  A["length"] extends B["length"] ? true : false;

type X = SameLength<[1, 2], ["a", "b"]>;   // true
type Y = SameLength<[1], ["a", "b"]>;      // false

Pengira Panjang Generik

Anda boleh melaksanakan semula length melalui rekursi untuk memahaminya, walaupun membaca ["length"] lebih pantas. Ini menunjukkan bahawa mengira hanyalah proses merentasi tupel.

type Len<T extends unknown[], Acc extends unknown[] = []> =
  T extends [unknown, ...infer R]
    ? Len<R, [...Acc, unknown]>
    : Acc["length"];

type A = Len<["a", "b", "c"]>; // 3

Tupel sebagai Pengira

Anggap tupel sebagai tanda kiraan: setiap elemen ialah satu tanda. Menambah elemen meningkatkan kiraan; membuang satu mengurangkannya. Model mental ini menjadikan aritmetik lebih mudah difahami.

type Inc<N extends number> = [...BuildTuple<N>, unknown]["length"];

type A = Inc<3>; // 4

Pratonton Pengurangan

Pengurangan membina tupel untuk N, kemudian membuat inferens terhadap segala-galanya kecuali elemen terakhir dan membaca panjang yang lebih pendek. Anda akan memformalkannya dalam pelajaran seterusnya.

type Dec<N extends number> =
  BuildTuple<N> extends [unknown, ...infer R] ? R["length"] : 0;

type A = Dec<3>; // 2
type B = Dec<0>; // 0

Had yang Perlu Diingati

Teknik ini berfungsi untuk integer kecil bukan negatif. N yang sangat besar akan mencapai had rekursi, dan tiada kemudahan terbina dalam untuk nombor negatif atau perpuluhan. Dalam lingkungan ini, teknik ini boleh dipercayai dan sepenuhnya statik.

type A = BuildTuple<5>["length"]; // 5 (fine)
// BuildTuple<10000> would error: too deep

Semakan Pantas

Uji pemahaman anda tentang pengiraan berdasarkan panjang tupel.

Jawab dalam pelajaran interaktif

Ringkasan

Pengiraan ialah asas matematik peringkat jenis.

Wakili N sebagai tupel dengan panjang N.
Baca nombor itu dengan T["length"].
BuildTuple<N> menukar nombor kepada tupel.
Hanya berfungsi untuk integer kecil bukan negatif.

Seterusnya: penambahan dan penolakan sebenar.

Percuma untuk bermula

Pelajari TypeScript dengan tutor kecerdasan buatan — percuma

Tulis dan jalankan kod sebenar dalam pelayar anda, dapatkan bantuan segera daripada tutor kecerdasan buatan yang tersedia 24/7, dan sambung semula dari tempat anda berhenti di web atau dalam aplikasi.

Kursus: 101
Pelajaran: 352

Mula belajar secara percuma Lihat kursus penuh

Soalan Lazim

Adakah pelajaran “Mengira dengan Panjang Tuple” percuma?

Ya — teks penuh “Mengira dengan Panjang Tuple” boleh dibaca secara percuma di web ini. Untuk berlatih secara interaktif menggunakan penyunting kod terbina dalam dan tutor kecerdasan buatan 24/7, serta membuka kunci baki kursus TypeScript Academy, tingkat taraf kepada CoddyKit PRO. Kursus TypeScript Academy merangkumi sejumlah 4 pelajaran.

Apakah yang akan saya pelajari dalam “Mengira dengan Panjang Tuple”?

Wakili nombor sebagai panjang tuple dalam jenis. Anda berlatih TypeScript Academy menggunakan kod praktikal yang dijalankan terus dalam pelayar, manakala tutor kecerdasan buatan 24/7 menjawab soalan anda semasa anda mengikuti pelajaran.

Adakah saya memerlukan pengalaman untuk memulakan TypeScript Academy?

Tiada pengalaman terdahulu diperlukan. Pembelajaran TypeScript Academy di CoddyKit disusun untuk pelajar daripada peringkat pemula hingga lanjutan, jadi anda boleh bermula di sini atau dari awal dan belajar mengikut kadar anda sendiri. Ini ialah pelajaran 1 daripada 4.

Berapa lamakah pelajaran “Mengira dengan Panjang Tuple” diambil?

Kebanyakan pelajaran CoddyKit mengambil masa kira-kira 5–10 minit. Setiap pelajaran ringkas dan interaktif, jadi anda boleh membuat kemajuan secara berterusan dan menyambung tepat dari tempat anda berhenti di web atau aplikasi.

Bolehkah saya menulis dan menjalankan kod dalam pelajaran TypeScript Academy ini?

Ya. Setiap pelajaran TypeScript Academy menyertakan penyunting kod terbina dalam, jadi anda boleh menulis dan menjalankan kod sebenar terus dalam pelayar serta menerima maklum balas kecerdasan buatan serta-merta — tanpa memerlukan persediaan setempat.

Semua pelajaran dalam kursus ini

Mengira dengan Panjang Tuple
Penambahan dan Penolakan pada Aras Jenis
Perbandingan pada Aras Jenis
Utiliti Jenis Berangka Praktikal

← Kembali ke TypeScript Academy