如何避免自定义字符串类型混淆？TypeScript类型校验问题

这个问题本质上是要在TypeScript的结构类型系统里实现名义类型（nominal typing）——因为TS默认是鸭子类型，只要两个类型的结构一致，就会被认为可以互相赋值。要让A和B这两个string派生类型不兼容，我们需要给它们添加独特的“标识”来打破结构一致性，下面是几种实用方案：

方案1：带字面量标识的交叉类型 #

给每个类型交叉一个带有唯一字面量值的对象类型，让TS识别出它们的结构差异：

// 定义带唯一标识的类型
type A = string & { __type: 'A' };
type B = string & { __type: 'B' };

// 工厂函数用于创建实例（直接赋值字符串会缺少__type属性，需要类型断言）
const createA = (value: string): A => value as A;
const createB = (value: string): B => value as B;

// 使用示例
let a: A = createA("a");
let b: B = createB("b");

a = b; // ❌ 类型错误：不能将类型'B'分配给类型'A'

这里的__type是一个仅用于类型区分的标识，运行时不会有实际影响，因为交叉到string上的对象属性在运行时不存在（只是类型层面的标记）。

方案2：用枚举作为类型标签 #

和方案1思路类似，只是用枚举值来做唯一标识，可读性更强：

enum TypeTag { A, B }

type A = string & { tag: TypeTag.A };
type B = string & { tag: TypeTag.B };

const createA = (val: string): A => val as A;
const createB = (val: string): B => val as B;

let a = createA("a");
let b = createB("b");

a = b; // ❌ 类型错误：TypeTag.B 不能赋值给 TypeTag.A

方案3：利用Class实现名义类型 #

如果需要运行时也能区分类型，可以用Class来封装，Class在TS里自带名义类型特性：

class A extends String {
  // 私有属性确保只有A的实例能通过类型检查，防止外部模拟结构
  private __brand: void;
  constructor(value: string) {
    super(value);
  }
}

class B extends String {
  private __brand: void;
  constructor(value: string) {
    super(value);
  }
}

let a = new A("a");
let b = new B("b");

a = b; // ❌ 类型错误：不能将类型'B'分配给类型'A'

这种方式的好处是，实例可以直接调用String的所有方法（比如a.length、a.toUpperCase()），同时在运行时也能通过instanceof区分类型。

注意事项 #

• TypeScript没有内置的名义类型支持，所有方案都是通过“伪造结构差异”实现的；
• 无法通过修改tsconfig.json的编译器配置来实现这个需求，因为配置是全局生效的，无法针对个别类型改变结构类型的判定逻辑。

内容的提问来源于stack exchange，提问作者John Goofy