TypeScript Academy · Lekcja

Modelowanie typów Result

Reprezentuj powodzenie i niepowodzenie jako dane za pomocą Result

Modelowanie typów Result to bezpłatna lekcja TypeScript Academy na CoddyKit. To lekcja 2 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej TypeScript Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs TypeScript Academy zawiera 4 lekcji w sumie.

Typ Result

Result modeluje operację, która kończy się powodzeniem i zwraca wartość albo kończy się błędem, zwracając go jako unię dyskryminowaną zamiast zgłaszać wyjątek.

Definiowanie Result

Klasyczny kształt używa dyskryminantu ok. Gdy ok ma wartość true, dostępna jest wartość value; gdy ma wartość false, dostępny jest error.

type Result<T, E> =
  | { ok: true; value: T }
  | { ok: false; error: E };

Funkcje pomocnicze konstruktorów

Niewielkie funkcje pomocnicze ok i err pozwalają zwięźle i czytelnie tworzyć wyniki, zamiast za każdym razem ręcznie zapisywać literały obiektów.

const ok = <T>(value: T): Result<T, never> => ({ ok: true, value });
const err = <E>(error: E): Result<never, E> => ({ ok: false, error });

Zwracanie Result

Funkcja, która może zakończyć się błędem, zwraca ok(value) albo err(error). Typ zwracany informuje każdego wywołującego o obu możliwościach.

function divide(a: number, b: number): Result<number, string> {
  return b === 0 ? err("divide by zero") : ok(a / b);
}

Zawężanie za pomocą ok

Sprawdzenie result.ok zawęża unię. W prawdziwej gałęzi TypeScript wie, że istnieje value; w fałszywej gałęzi wie, że istnieje error.

const r = divide(10, 2);
if (r.ok) console.log(r.value); // 5
else console.log(r.error);

Dyskryminant zapewnia bezpieczeństwo

Pole ok jest dyskryminantem, który pozwala kompilatorowi wybrać właściwą gałąź. Nie można uzyskać dostępu do value bez wcześniejszego wykazania, że ok ma wartość true.

const r = divide(1, 0);
// r.value here is a type error until we check r.ok
if (!r.ok) console.log("err:", r.error);

Błędy z określonym typem

Błędy mogą zawierać więcej informacji niż same ciągi znaków. Użycie unii błędów o określonych typach pozwala wywołującym precyzyjnie obsłużyć każdy rodzaj błędu po zawężeniu typu.

type DivErr = { kind: "zero" } | { kind: "overflow" };
function div(a: number, b: number): Result<number, DivErr> {
  if (b === 0) return err({ kind: "zero" });
  return ok(a / b);
}

Pełna obsługa błędów

Ponieważ typ błędu jest unią, można sprawdzić kompletność instrukcji switch względem jej dyskryminantu, aby upewnić się, że obsłużono każdy wariant błędu.

const r = div(1, 0);
if (!r.ok) {
  switch (r.error.kind) {
    case "zero": console.log("no zero"); break;
    case "overflow": console.log("too big"); break;
  }
}

Funkcja pomocnicza z wartością domyślną

Czasami potrzebna jest po prostu wartość albo wartość zastępcza. Niewielka funkcja unwrapOr poprawia czytelność i pozwala zachować obsługę błędu w jednym miejscu.

function unwrapOr<T, E>(r: Result<T, E>, fallback: T): T {
  return r.ok ? r.value : fallback;
}
console.log(unwrapOr(divide(1, 0), -1)); // -1

Result a zgłaszanie wyjątków

Result przenosi błąd do typu zwracanego, więc wywołujący musi się nim zająć. Wadą jest bardziej jawny kod, co zwykle się opłaca w przypadku oczekiwanych błędów.

Kompletny przykład

Połączmy wszystkie elementy: zdefiniujmy funkcje pomocnicze, zwracajmy wyniki i zawężajmy typ przed użyciem. Kompilator gwarantuje, że gałąź błędu zostanie uwzględniona.

function safeParse(s: string): Result<number, string> {
  const n = Number(s);
  return Number.isNaN(n) ? err("NaN") : ok(n);
}
const p = safeParse("42");
console.log(p.ok ? p.value : p.error); // 42

Szybki test

Szybki test z tego tematu.

Podsumowanie

Result<T, E> jest unią dyskryminowaną { ok: true; value } albo { ok: false; error }. Należy tworzyć ją za pomocą funkcji pomocniczych ok/err i zawężać typ na podstawie ok, aby bezpiecznie uzyskiwać dostęp do value albo error. Błędy o określonych typach umożliwiają pełną obsługę wszystkich wariantów.

Często zadawane pytania

Czy lekcja „Modelowanie typów Result” jest bezpłatna?

Tak — pełny tekst „Modelowanie typów Result” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu TypeScript Academy, przejdź na CoddyKit PRO. Kurs TypeScript Academy zawiera 4 lekcji w sumie.

Co nauczysz się w „Modelowanie typów Result”?

Reprezentuj powodzenie i niepowodzenie jako dane za pomocą Result Ćwiczysz TypeScript Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć TypeScript Academy?

Nie wymagamy żadnego doświadczenia. TypeScript Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 2 z 4.

Ile czasu zajmuje lekcja „Modelowanie typów Result”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji TypeScript Academy?

Tak. Każda lekcja TypeScript Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

← Powrót do TypeScript Academy