本文介绍如何利用 typescript 的私有字段机制为继承自同一抽象基类的子类添加类型“品牌”，从而阻止它们在函数参数中被错误地互换使用，解决因结构类型系统导致的类型安全漏洞。
本文介绍如何利用 typescript 的私有字段机制为继承自同一抽象基类的子类添加类型“品牌”，从而阻止它们在函数参数中被错误地互换使用，解决因结构类型系统导致的类型安全漏洞。
TypeScript 默认采用结构类型系统（structural typing），即只要两个类型的成员结构兼容，就视为可互换——即使它们语义上完全无关。这在抽象基类场景下可能引发隐蔽的类型错误：当多个子类仅通过实现相同的抽象方法来区分时，TypeScript 无法识别其业务含义差异，导致 getUser(orgId) 这类明显违反设计意图的调用也能通过编译。
例如，UserId 和 OrganizationId 均继承自抽象类 Id 并实现了 getPrefix()，但它们代表完全不同的领域实体。理想情况下，接受 UserId 的函数绝不应接收 OrganizationId。然而，由于二者在运行时都只是普通对象、且无差异化字段，TS 仅依据公共接口进行检查，最终判定二者“兼容”。
解决方案：类型“品牌化”（Branding）
通过在基类和每个子类中声明一个同名但私有（private）的字段（如 _brand!: void），可强制 TypeScript 将该字段作为类型标识的一部分。由于私有字段不可被继承、不可被外部访问，且不同类的私有字段在类型检查中被视为不兼容，TS 会将 UserId 和 OrganizationId 视为互不兼容的独立类型，从而在赋值或函数调用时触发类型错误。
以下是完整实现示例：
abstract class Id {
private readonly _brand!: void; // 关键：私有字段，无实际值，仅用于类型区分
public abstract getPrefix(): string;
}
class UserId extends Id {
private readonly _brand!: void; // 必须在每个子类中重复声明
public getPrefix(): string {
return 'user';
}
}
class OrganizationId extends Id {
private readonly _brand!: void;
public getPrefix(): string {
return 'organization';
}
}
const getUser = (id: UserId): void => {
console.log(`User ID prefix: ${id.getPrefix()}`);
};
const userId = new UserId();
const orgId = new OrganizationId();
getUser(userId); // ✅ 正确
getUser(orgId); // ❌ 编译错误：Argument of type 'OrganizationId' is not assignable to parameter of type 'UserId'.注意事项：
- 私有字段名必须完全一致（如 _brand），且需在每个具体子类中显式声明（不能仅靠继承）；
- 使用 !: 断言符是因为该字段仅用于类型标记，无需初始化；
- 此方案不增加运行时开销（字段未被赋值，也不会出现在生成的 JavaScript 中）；
- 若未来需支持序列化/反序列化，应确保该字段不影响 JSON 序列化逻辑（因其为 undefined 且私有，通常自动被忽略）。
这种“品牌化”技巧是 TypeScript 社区广泛认可的模式，它巧妙利用了语言的私有修饰符语义与类型擦除特性，在零运行时成本的前提下，显著提升领域模型的类型安全性与可维护性。
