Koska TypeScript on rakenteellisesti tyypitetty, UserId ja OrderId, jotka molemmat ovat string, ovat vaihdettavissa — kääntäjä ei voi estää sinua sekoittamasta niitä. Brändätyt tyypit simuloivat nimellisen tyypityksen liittämällä ainutlaatuisen, fantom "brändän", joten muutoin identtisistä tyypeistä tulee erillisiä.
// 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-ominaisuus ei koskaan ole olemassa ajon aikana (arvo on vain merkkijono), mutta tyyppijärjestelmässä se tekee UserId ja OrderId yhteensopimattomiksi — estää kokonaisen virheluokan sekoittamisen.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Validoi kerran rajalla; loput koodista luottavat brändättyyn tyyppiin.
Tunnukset (UserId vs OrderId), vahvistetut/puhdistetut merkkijonot (Email, SafeHtml), yksiköt (Meters vs Feet), PositiveNumber — missä tahansa kaksi arvoa jakaa primitiivisen tyypin, mutta niitä ei saa sekoittaa.
Brändätyt tyypit lisäävät nimellisen turvallisuuden, kun rakenteellinen tyypitys on liian sallivaa.
Ne saavat kiinni argumenttien järjestyssekaannuksista ja "validoimaton vs validoitu" -sekaannuksesta käännösaikana, nolla suoritusaikakustannuksin — tehokas malli verkkotunnuksen mallintamiseen suurissa, oikeellisuuden kannalta kriittisissä koodipohjissa.