کیونکہ TypeScript ساختی طور پر ٹائپ کیا جاتا ہے، UserId اور OrderId جو دونوں string ہیں ایک دوسرے کی جگہ استعمال ہو سکتے ہیں — کمپائلر آپ کو انہیں الجھانے سے روک نہیں سکتا۔ Branded types ایک منفرد،幻影 "brand" شامل کر کے nominal ٹائپنگ کو نقل کرتے ہیں تاکہ دوسری طرح سے ایک جیسی اقسام مختلف ہو جائیں۔
// 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 خاصیت رن ٹائم میں کبھی موجود نہیں ہے (قیمت صرف ایک سطر ہے)، لیکن ٹائپ سسٹم میں یہ 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), تصدیق شدہ/صاف کیے گئے سطریں (Email, SafeHtml), یونٹ (Meters vs Feet), PositiveNumber — جہاں کہیں دونوں اقدار ایک primitive قسم کا اشتراک کریں لیکن الجھن میں نہ آئیں۔
Branded types نمونی حفاظت شامل کرتے ہیں جہاں ساختی ٹائپنگ بہت رواں دار ہے۔
وہ argument-order الجھن اور "unvalidated بمقابلہ validated" الجھن کو کمپائل وقت میں پکڑتے ہیں، بغیر کسی رن ٹائم کے خرچ کے — بڑے، صحت سے متعلقہ اہم کوڈ بیسز میں ڈومین ماڈلنگ کے لیے ایک طاقتور نمونہ۔