TypeScript Academy · 강의

판별 유니온을 활용한 모든 오류 처리

switch+never, 도우미 유틸리티, 모듈 전반의 컴파일 시점 검사로 판별 유니온의 모든 경우를 빠짐없이 처리하는 핸들러를 작성합니다.

레슨 2/28개 단계

판별 유니온을 활용한 모든 오류 처리은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 2개 중 2번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 2개의 강의가 포함되어 있습니다.

소개

목표: 모든 유니언 멤버가 처리되도록 보장합니다. switch + never와 작은 exhaustiveCheck 유틸리티를 사용하고 파일 간 전체 적용 범위를 유지하는 방법을 살펴봅니다.

  • 판별자(tag 필드)
  • 모든 경우를 처리하는 switch
  • 즉시 실패하는 기본 분기

판별된 유니언

판별된 유니언에는 공유되는 태그(여기서는 kind)가 있습니다. 각 변형은 고유한 데이터를 포함합니다.

export type Payment =
  | { kind: "Card"; last4: string }
  | { kind: "Cash" }
  | { kind: "Wire"; iban: string }

Switch와 never

default는 p를 never에 할당합니다. 나중에 새 변형을 추가하면 해당 변형을 처리할 때까지 컴파일러가 오류를 보고합니다.

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
    }
  }
}

exhaustiveCheck 도우미

작은 도우미를 사용하여 의도를 분명하게 만듭니다. never 매개변수는 처리되지 않은 경우를 단순한 실행 시점 예외가 아니라 타입 오류로 만듭니다.

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)
  }
}

모듈 간 적용 범위

유니언이 한 파일에 정의되고 다른 파일에서 처리될 때 새 분기를 추가하면 모든 switch를 업데이트하기 전까지 빌드가 계속 실패합니다. 바로 이것이 우리가 원하는 동작입니다.

// 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)
  }
}

팁 및 주의점

팁:

  • 문자열 리터럴 태그(예: tag/kind)를 우선 사용합니다.
  • 변형은 작게 유지하고, 거대한 유니언 대신 중첩 객체를 통해 데이터를 조합합니다.
  • never 가드 없이 default를 사용하지 않습니다. 누락된 경우를 숨기기 때문입니다.

모든 경우 처리 확인

빠른 확인: 모든 경우를 처리하도록 강제하는 것은 무엇인가요?

요약

요약: 판별자를 사용하고 switch를 작성한 다음, default 분기에서 never에 할당하거나 exhaustiveCheck를 호출하여 유니언이 변경되어도 모든 경우가 처리되도록 보장합니다.

무료로 시작

AI 튜터와 함께 TypeScript을(를) 배우세요 — 무료

브라우저에서 실제 코드를 작성하고 실행하며, 24/7 AI 튜터로부터 즉각적인 도움을 받고, 웹이나 앱에서 중단한 부분부터 계속 학습하세요.

코스
101
레슨
352

자주 묻는 질문

“판별 유니온을 활용한 모든 오류 처리” 강의는 무료인가요?

네 — “판별 유니온을 활용한 모든 오류 처리” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 2개의 강의가 포함되어 있습니다.

“판별 유니온을 활용한 모든 오류 처리”에서 뭘 배우나요?

switch+never, 도우미 유틸리티, 모듈 전반의 컴파일 시점 검사로 판별 유니온의 모든 경우를 빠짐없이 처리하는 핸들러를 작성합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 2개 중 2번째 강의입니다.

“판별 유니온을 활용한 모든 오류 처리” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

  1. Result/Either 스타일 타입
  2. 판별 유니온을 활용한 모든 오류 처리
← TypeScript Academy(으)로 돌아가기