Поскольку TypeScript работает со структурной типизацией, UserId и OrderId, которые оба представляют string, взаимозаменяемы — компилятор не может предотвратить их смешивание. Именованные типы имитируют типизацию, добавляя уникальный, фантомный "бренд", благодаря чему в остальном идентичные типы становятся различными.
// 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
}
Проверяйте один раз на границе; остальной код доверяет именованному типу.
Идентификаторы (UserId vs OrderId), проверенные/очищенные строки (Email, SafeHtml), единицы измерения (Meters vs Feet), PositiveNumber — везде, где два значения имеют общий примитивный тип, но не должны быть перепутаны.
Именованные типы добавляют номинальную безопасность там, где структурная типизация слишком снисходительна.
Они ловят ошибки порядка аргументов и путаницу между "непроверенным и проверенным" на этапе компиляции с нулевой стоимостью во время выполнения — мощный паттерн для моделирования предметной области в больших кодовых базах, критичных по корректности.