Kadangi TypeScript yra struktūriškai tipuojama, UserId ir OrderId, kurie abu yra string, yra keičiami - kompiliatorius negali jūsų sustabdyti nuo jų painiojimo. Žymėti tipai imituoja vardinį tipavimą, pridėdami unikalią, fantominę "žymę", todėl kitaip identiški tipai tampa skirtingi.
// 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
Savybė __brand niekada neegzistuoja runtime metu (reikšmė yra tik eilutė), bet tipo sistemoje ji daro UserId ir OrderId nesuderinamus - išvengiant visos šios sumaišymo klaidų klasės.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Patikrinkite vieną kartą riboje; likusi kodo dalis pasitiki žymėtu tipu.
ID (UserId vs OrderId), patvirtinti/išvalytus eilutes (Email, SafeHtml), vienetus (Meters vs Feet), PositiveNumber - bet kur dvi reikšmės dalijasi primityvų tipą, bet negali būti supainiojamos.
Žymėti tipai prideda vardinę saugą, kur struktūrinis tipavimas yra per daug tolerancinis.
Jie pagauna argumentų tvarkos sumaišymus ir "nepatikrinto vs patikrinto" painiavą kompiliacijos metu, be jokių runtime išlaidu - galingas modelis domenės modeliavimui dideliuose, tikslumo kritiniuose kodų bazėse.