ブランド型(nominal 型)とは何で、なぜ使うのですか?

Question

Accepted Answer

TypeScript は**構造的**に型付けされるため、どちらも `string` である `UserId` と `OrderId` は交換可能であり、コンパイラはそれらを取り違えるのを止められません。**ブランド型**は、一意で幻影的な「ブランド」を付与することで*nominal*型付けを模倣し、それ以外は同一の型を区別できるようにします。 ```ts // the brand is a property that exists only in the type system, never at runtime 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); // ❌ Error: OrderId is not assignable to UserId getUser("u1"); // ❌ Error: plain string is not a UserId ``` `__brand` プロパティは実行時には決して存在しません(値は単なる文字列です)が、型システム上では `UserId` と `OrderId` を非互換にし、取り違えバグの一群を防ぎます。 ## スマートコンストラクタによる安全な構築 ```ts function toUserId(s: string): UserId { if (!s.startsWith("u")) throw new Error("invalid UserId"); return s as UserId; // validation happens here, once } ``` 境界で一度だけ検証し、残りのコードはブランド型を信頼します。 ## よくある用途 ID(`UserId` 対 `OrderId`)、検証済み/サニタイズ済みの文字列(`Email`、`SafeHtml`)、単位(`Meters` 対 `Feet`)、`PositiveNumber` など、2つの値がプリミティブ型を共有しているが混同してはならないあらゆる場面です。 ## なぜ重要なのかブランド型は、構造的型付けが寛容すぎる場面に nominal な安全性を加えます。引数の順序の取り違えや「未検証対検証済み」の混同をコンパイル時に検出でき、しかも実行時コストはゼロです。大規模で正しさが重視されるコードベースにおけるドメインモデリングのための強力なパターンです。