如何在TypeScript中创建专属字符串子类型，替代类型别名实现参数限制？

要实现你想要的编译时类型区分、运行时仍是普通字符串的效果，可以使用TypeScript的**品牌类型（Branded Types）**方案，无需包装成对象，同时能创建真正独立的专属类型。

具体实现 #

通过给字符串类型添加唯一的"品牌标记"（编译时存在，运行时无额外开销），让TypeScript将两个字符串类型视为完全不同的类型：

// 创建带唯一品牌的专属字符串类型
type StringA = string & { readonly __brand: unique symbol };
type StringB = string & { readonly __brand: unique symbol };

// 辅助函数：将普通字符串转换为对应专属类型（封装类型断言）
const toStrA = (str: string): StringA => str as StringA;
const toStrB = (str: string): StringB => str as StringB;

// 定义目标函数
const foo = (a: StringA, b: StringB) => {};

// 测试用例
foo(toStrB("123"), toStrA("abc")); // ❌ 编译报错（参数类型不匹配，符合预期）
foo(toStrA("123"), toStrB("abc")); // ✅ 正常通过

原理说明 #

1. unique symbol的作用：每个unique symbol都是独一无二的，因此StringA和StringB的__brand属性完全不同，TypeScript会将这两个类型判定为不兼容。
2. 交叉类型的特性：string & { ... }表示该类型既是字符串，又拥有虚拟的品牌属性，运行时它就是普通字符串，不会有任何额外的内存开销。
3. 辅助函数的意义：封装类型断言，避免在代码中重复写as StringA这类冗余代码，同时让类型转换的意图更清晰。

替代方案（字符串品牌） #

如果你觉得unique symbol过于繁琐，也可以用固定字符串作为品牌标记（注意避免品牌字符串重复）：

type StringA = string & { readonly __brand: "StringA" };
type StringB = string & { readonly __brand: "StringB" };

这种方式同样能实现类型区分，但unique symbol的唯一性更可靠，不会出现因品牌字符串重复导致的类型混淆问题。

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