판별 유니온을 활용한 모든 오류 처리
switch+never, 도우미 유틸리티, 모듈 전반의 컴파일 시점 검사로 판별 유니온의 모든 경우를 빠짐없이 처리하는 핸들러를 작성합니다.
판별 유니온을 활용한 모든 오류 처리은(는) 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 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- Result/Either 스타일 타입
- 판별 유니온을 활용한 모든 오류 처리