क्योंकि TypeScript संरचनात्मक रूप से टाइप किया गया है, UserId और OrderId जो दोनों string हैं वे विनिमेय हैं — कंपाइलर आपको उन्हें मिलाने से नहीं रोक सकता। Branded types एक अद्वितीय, भूतकाल "ब्रांड" संलग्न करके नाममात्र टाइपिंग का अनुकरण करते हैं ताकि अन्यथा समान प्रकार अलग हो जाएं।
// 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 type पर विश्वास करता है।
IDs (UserId बनाम OrderId), सत्यापित/सामग्री स्ट्रिंग (Email, SafeHtml), इकाई (Meters बनाम Feet), PositiveNumber — कहीं भी जहां दो मान आदिम प्रकार साझा करते हैं लेकिन भ्रमित नहीं होने चाहिए।
Branded types नाममात्र सुरक्षा जोड़ते हैं जहां संरचनात्मक टाइपिंग बहुत अनुमत है। वे तर्क-क्रम मिश्रण और "अमान्य बनाम सत्यापित" भ्रम को संकलन समय पर पकड़ते हैं, शून्य रनटाइम लागत के साथ — बड़े, सटीकता-महत्वपूर्ण कोडबेस में डोमेन मॉडलिंग के लिए एक शक्तिशाली पैटर्न।