Toisc go bhfuil TypeScript struchtúrach go cineálach, tá UserId agus OrderId atá araile ina string interchoigeartach — ní féidir leis an compiler stad a chur ort ó a bheith ag meascadh suas. Déanann tiomáint ar dhréim- a dhéanamh tríd bhanna uathúil, fantom a ghealadh ionas go mbíonn cineálacha ar shlí eile comhionann éagsúil.
// 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
Ní bhíonn an fhéiniúlacht __brand ann riamh ag am runtime (is STRING a bhíonn sa luach), ach sa chóras cineáil déanann sé UserId agus OrderId neamh-chomhoiriúnach — ag fáil réidh le rang iomlán botún measctha.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Bailiú a dhíolúint ag an teorainn; iontaoibhíonn an chuid eile den chód an cineál brandáilte.
Aithint (UserId vs OrderId), téaghraí bailíochtaithe/ghlanaithe (Email, SafeHtml), aonaid (Meters vs Feet), PositiveNumber — áit ar bith ar bhraistint dhá luach cineál primitive ach go gcaithfidh siad gan a bheith i meascadh.
Cuireann branded types sábháilteacht ainmneacha le feidhmiú áit ar bhíonn socrú struchtúrach ró-bhreith. Gabhann siad as meascadh ord-argóinte agus mearbhall "neamhbhailíochtaithe i gcoinne bailíochtaithe" ag am dreasaithe, gan aon chostas runtime — patrún cumhachtach maidir le fhormáil fearann i n-códanna ollmhór, neamh-mhalartaithe.