Pengendalian ralat menyeluruh dengan kesatuan terbeza
Tulis pengendali menyeluruh untuk kesatuan terbeza menggunakan switch+never, utiliti pembantu, dan pemeriksaan liputan masa kompilasi merentas modul.
Pengendalian ralat menyeluruh dengan kesatuan terbeza ialah pelajaran TypeScript Academy percuma di CoddyKit. Ini ialah pelajaran 2 daripada 2. 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 2 pelajaran.
Pengenalan
Matlamat: Pastikan setiap ahli kesatuan dikendalikan. Anda akan menggunakan pemeriksaan pilihan menyeluruh, utiliti exhaustiveCheck kecil, dan melihat cara mengekalkan liputan merentas fail.
- Pembeza (medan penanda)
- Pernyataan pilihan menyeluruh
- Nilai lalai yang gagal dengan segera
Kesatuan terbeza
Kesatuan terbeza mempunyai penanda dikongsi (di sini kind). Setiap varian membawa datanya sendiri.
export type Payment =
| { kind: "Card"; last4: string }
| { kind: "Cash" }
| { kind: "Wire"; iban: string }Pernyataan pilihan dan nilai mustahil
default menetapkan p kepada never. Jika Anda menambahkan varian baharu kemudian, pengkompil melaporkan ralat sehingga Anda mengendalikannya.
export function describe(p: Payment): string {
switch (p.kind) {
case "Card": return `Card ••••${p.last4}`
case "Cash": return "Cash"
case "Wire": return `Wire ${p.iban}`
default: {
const _exhaustive: never = p
return _exhaustive
}
}
}Pembantu exhaustiveCheck
Gunakan pembantu kecil untuk menjadikan maksudnya jelas. Parameter never menjadikan kes yang tidak dikendalikan sebagai ralat jenis, bukan sekadar lontaran semasa masa jalan.
export function exhaustiveCheck(x: never): never {
throw new Error(`Unhandled case: ${JSON.stringify(x)}`)
}
export function pay(p: Payment): string {
switch (p.kind) {
case "Card": return "charged card"
case "Cash": return "took cash"
case "Wire": return "initiated wire"
default: return exhaustiveCheck(p)
}
}Liputan merentas modul
Apabila kesatuan ditakrifkan dalam satu fail dan dikendalikan dalam fail lain, cabang yang ditambahkan masih memecahkan binaan sehingga semua pernyataan pilihan dikemas kini—tepat seperti yang kita mahukan.
// errors.ts
export type AppError =
| { tag: "Auth"; reason: "Unauthorized" | "Forbidden" }
| { tag: "NotFound"; resource: string }
| { tag: "Conflict"; resource: string }
// handler.ts
import type { AppError } from "./errors"
import { exhaustiveCheck } from "./exhaustive"
export function toStatus(e: AppError): number {
switch (e.tag) {
case "Auth": return e.reason === "Unauthorized" ? 401 : 403
case "NotFound": return 404
case "Conflict": return 409
default: return exhaustiveCheck(e)
}
}Petua dan perangkap
Petua:
- Utamakan penanda literal rentetan (contohnya,
tag/kind). - Pastikan varian kecil; gabungkan data melalui objek bersarang dan bukannya kesatuan yang sangat besar.
- Jangan gunakan
defaulttanpa pengawalnever; ia menyembunyikan kes yang hilang.
Pemeriksaan kesempurnaan
Pemeriksaan pantas: Apakah yang menguatkuasakan pengendalian menyeluruh?
Ringkasan
Ringkasan: Gunakan pembeza, tulis pernyataan pilihan, dan dalam cabang lalai tetapkan kepada never (atau panggil exhaustiveCheck) untuk menjamin liputan penuh apabila kesatuan berkembang.
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
Soalan Lazim
Adakah pelajaran “Pengendalian ralat menyeluruh dengan kesatuan terbeza” percuma?
Ya — teks penuh “Pengendalian ralat menyeluruh dengan kesatuan terbeza” 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 2 pelajaran.
Apakah yang akan saya pelajari dalam “Pengendalian ralat menyeluruh dengan kesatuan terbeza”?
Tulis pengendali menyeluruh untuk kesatuan terbeza menggunakan switch+never, utiliti pembantu, dan pemeriksaan liputan masa kompilasi merentas modul. 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 2 daripada 2.
Berapa lamakah pelajaran “Pengendalian ralat menyeluruh dengan kesatuan terbeza” 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
- Jenis gaya Result/Either
- Pengendalian ralat menyeluruh dengan kesatuan terbeza