Branded(nominal) type이란 무엇이며 왜 사용하나요?

Question

Accepted Answer

TypeScript는 **구조적으로** 타이핑되기 때문에, 둘 다 `string`인 `UserId`와 `OrderId`는 서로 교환 가능합니다 — 컴파일러는 당신이 그것들을 섞어 쓰는 것을 막을 수 없습니다. **Branded type**은 고유한 가상(phantom) "브랜드"를 붙여 nominal 타이핑을 모사하여, 그렇지 않았으면 동일했을 타입들을 구별되게 만듭니다. ```ts // 브랜드는 타입 시스템에만 존재하고 런타임에는 결코 존재하지 않는 프로퍼티 type Brand = T & { readonly __brand: B }; type UserId = Brand; type OrderId = Brand; function getUser(id: UserId) { return id; } const uid = "u1" as UserId; const oid = "o1" as OrderId; getUser(uid); // ✅ getUser(oid); // ❌ 오류: OrderId는 UserId에 대입 불가 getUser("u1"); // ❌ 오류: 평범한 string은 UserId가 아님 ``` `__brand` 프로퍼티는 런타임에 결코 존재하지 않지만(값은 그냥 string), 타입 시스템에서는 `UserId`와 `OrderId`를 호환 불가능하게 만듭니다 — 한 부류의 혼동 버그를 통째로 방지합니다. ## 스마트 생성자로 더 안전하게 구성 ```ts function toUserId(s: string): UserId { if (!s.startsWith("u")) throw new Error("invalid UserId"); return s as UserId; // 검증이 여기서 한 번 일어남 } ``` 경계에서 한 번 검증하면, 나머지 코드는 branded 타입을 신뢰합니다. ## 흔한 용도 ID(`UserId` vs `OrderId`), 검증/정제된 문자열(`Email`, `SafeHtml`), 단위(`Meters` vs `Feet`), `PositiveNumber` — 두 값이 원시 타입을 공유하지만 혼동되어서는 안 되는 모든 곳입니다. ## 왜 중요한가 Branded type은 구조적 타이핑이 너무 관대한 곳에 nominal 안전성을 더합니다. 인자 순서 혼동과 "검증 안 됨 vs 검증됨" 혼동을 컴파일 타임에 런타임 비용 제로로 잡아냅니다 — 크고 정확성이 중요한 코드베이스의 도메인 모델링에 강력한 패턴입니다.