Özet - Exhaustive check

Exhaustive check ile güvenli bir durum yöneticisi yazarsın.

Özet - Exhaustive check

Exhaustive check, union üyelerini işleyen switch'lerin tamamının tükenmiş olmasını garanti eder. assertNever ile default dalı never parametresi alır; eksik case varsa derleyici hatası verir. Bu, durum yöneticilerinde yeni durum eklenince tüm işleme yerlerinin güncellenmesini zorlar.

type State = "idle" | "loading" | "ready" | "error";

function assertNever(x: never): never {
  throw new Error("Unexpected: " + x);
}

function transition(s: State): string {
  switch (s) {
    case "idle": return "Başlat";
    case "loading": return "Yükleniyor";
    case "ready": return "Hazır";
    case "error": return "Hata";
    default: return assertNever(s);
  }
}

Uygulama Durum yöneticisi yaz

assertNever(x: never): never fonksiyonunu tanımla (içinde throw new Error("Unexpected") olsun). State = "idle" | "loading" | "ready" | "error" union türünü tanımla. transition(s: State): string fonksiyonunu switch (s) ile yaz: idle için "Başlat", loading için "Yükleniyor", ready için "Hazır", error için "Hata", default için return assertNever(s); yaz. console.log(transition("ready")) ve console.log(transition("error")) ile sonuçları yazdır.

Örnek çözümü göster

function assertNever(x: never): never {
  throw new Error("Unexpected");
}

type State = "idle" | "loading" | "ready" | "error";

function transition(s: State): string {
  switch (s) {
    case "idle":
      return "Başlat";
    case "loading":
      return "Yükleniyor";
    case "ready":
      return "Hazır";
    case "error":
      return "Hata";
    default:
      return assertNever(s);
  }
}

console.log(transition("ready"));
console.log(transition("error"));

Kendini test et

Bir durum yöneticisinde yeni bir durum eklenirse ne olur?
- Mevcut case'ler silinir
- Tüm switch'lerdeki eksik case'ler derleyici hatası verir
- assertNever otomatik çağrılır
- Çalışma zamanı hatası alınır
Cevabı göster

Tüm switch'lerdeki eksik case'ler derleyici hatası verir — Yeni durum eklendiğinde, eksik case'lerin bulunduğu switch'lerde default dalındaki değişken never olmaz; assertNever çağrısı derleme hatası verir ve güncellenecek yerleri bildirir.

error durumunu işle

function assertNever(x: never): never {
  throw new Error("Unexpected");
}

type State = "idle" | "loading" | "ready" | "error";

function transition(s: State): string {
  switch (s) {
    case "idle": return "Başlat";
    case "loading": return "Yükleniyor";
    case "ready": return "Hazır";
    case ____: return "Hata";
    default: return assertNever(s);
  }
}

Cevabı göster

function assertNever(x: never): never {
  throw new Error("Unexpected");
}

type State = "idle" | "loading" | "ready" | "error";

function transition(s: State): string {
  switch (s) {
    case "idle": return "Başlat";
    case "loading": return "Yükleniyor";
    case "ready": return "Hazır";
    case "error": return "Hata";
    default: return assertNever(s);
  }
}

Exhaustive check özet eşleştirmesi

assertNever(x: never)

parametresi never olmalı
default dalı

tüm case'ler sonrası kalan
Yeni durum eklenince

eksik case derleyicide hata
Derleme zamanı güvenliği

çalışma zamanı hatasını önler

Sıradaki ders: User-defined type guard

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler