เนื่องจาก TypeScript มี structural typing UserId และ OrderId ที่เป็น string จึงสามารถใช้แทนกันได้ — คอมไพเลอร์ไม่สามารถหยุดคุณจากการสับสนได้ Branded types จำลอง nominal typing โดยแนบ "brand" ที่ไม่ซ้ำใครและเป็น phantom เพื่อให้ประเภทที่เหมือนกันกลายเป็นแตกต่างกัน
// the brand is a property that exists only in the type system, never at runtime
type Brand<T, B> = T & { readonly __brand: B };
type UserId = Brand<string, "UserId">;
type OrderId = Brand<string, "OrderId">;
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 ไม่มีอยู่ในเวลา runtime (ค่าเป็นเพียงสตริง) แต่ในระบบประเภท มันทำให้ UserId และ OrderId ไม่เข้ากัน — ป้องกันข้อผิดพลาดการสับสนทั้งชั้น
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
ตรวจสอบครั้งเดียวที่ขอบเขต ส่วนที่เหลือของโค้ดไว้วางใจประเภท branded
IDs (UserId vs OrderId) validated/sanitized strings (Email, SafeHtml) units (Meters vs Feet) PositiveNumber — ที่ใดก็ตามที่สองค่าแชร์ประเภท primitive แต่ต้องไม่สับสน
Branded types เพิ่ม nominal safety เมื่อ structural typing อนุญาตมากเกินไป
พวกมันจับข้อผิดพลาดลำดับอาร์กิวเมนต์และความสับสน "unvalidated vs validated" ที่เวลาคอมไพล์ โดยไม่มีต้นทุน runtime — รูปแบบที่มีประสิทธิภาพสำหรับการสร้างแบบจำลองโดเมนในฐานรหัสขนาดใหญ่ที่มีความสำคัญในแก้ไขความถูกต้อง