TypeScript의 discriminated union은 어떤 문제를 해결하나요?

discriminated union은 공통 판별 필드를 기준으로 여러 객체 타입 중 하나를 안전하게 좁히는 패턴입니다. 로딩, 성공, 실패 상태처럼 형태가 다른 데이터를 하나의 타입으로 표현하면서 switch 문에서 누락된 케이스를 컴파일 단계에 발견할 수 있습니다.

핵심 개념

핵심 기준은 공통 판별자로 상태별 데이터 구조를 안전하게 분기입니다. 이 개념은 단순히 용어를 외우는 것보다, 어떤 문제를 줄이기 위해 등장했는지와 실제 코드나 운영 환경에서 어떤 trade-off를 만드는지 함께 이해하는 것이 중요합니다.

여러 상태나 이벤트를 하나의 타입으로 표현할 때 공통 판별 필드를 두는 방식을 떠올려보세요.

동작 흐름

1. 먼저 문제가 발생하는 조건과 입력을 확인합니다.
2. 관련된 런타임, 브라우저, 서버, 데이터 저장소의 책임을 나눠 봅니다.
3. 가장 작은 범위에서 안전한 해결책을 적용합니다.
4. 로그, 테스트, 모니터링으로 실제로 문제가 줄었는지 확인합니다.

실제 예시

type State = { status: "loading" } | { status: "success"; data: User } | { status: "error"; message: string }처럼 모델링합니다.

실무에서 적용하는 방법

상태마다 필요한 필드가 다르면 optional 필드를 많이 두기보다 판별 가능한 union으로 나누는 것이 좋습니다.

실무에서 주의할 점

• 판별 필드 값이 문자열 리터럴로 유지되지 않으면 타입 좁히기가 약해질 수 있습니다.
• 상태 조합이 지나치게 많으면 더 단순한 상태 머신이나 도메인 모델이 필요할 수 있습니다.
• 개념을 적용하기 전에 현재 시스템의 규모, 병목, 장애 영향도를 함께 확인해야 합니다.
• 팀 규칙이나 프레임워크 기본 동작과 충돌하지 않는지도 점검하는 것이 좋습니다.

함께 연결해서 보면 좋은 키워드

TypeScript, Union, 타입좁히기, 상태모델링

면접에서 짚으면 좋은 포인트

• 정의만 말하기보다 어떤 문제를 줄이기 위한 개념인지 먼저 설명하면 좋습니다.
• 장점과 함께 비용, 한계, 적용하지 않아도 되는 상황을 같이 말하면 실무 이해도가 드러납니다.

정리

한 줄로 정리하면, discriminated union은 공통 판별 필드를 기준으로 여러 객체 타입 중 하나를 안전하게 좁히는 패턴입니다. 로딩, 성공, 실패 상태처럼 형태가 다른 데이터를 하나의 타입으로 표현하면서 switch 문에서 누락된 케이스를 컴파일 단계에 발견할 수 있습니다. 실무에서는 개념을 적용하는 조건과 적용하지 않았을 때 생기는 문제까지 함께 이해하는 것이 중요합니다.