如何在TypeScript中实现不互通的字符串类型别名？

TypeScript的普通类型别名是透明的，Name和Color本质都是string类型，所以编译器不会拦截跨类型赋值的错误。要实现真正的不透明类型，让不同的string别名无法互换，可以用**品牌类型（Branded Types）**的方案，以下是两种常用实现方式：

方法一：基于Symbol的品牌类型（最安全） #

利用Symbol的唯一性，给每个类型添加唯一的品牌标识，确保TypeScript能区分不同的不透明类型：

// 定义唯一的品牌符号
const NameBrand = Symbol();
const ColorBrand = Symbol();

// 交叉string与带品牌的对象类型，构造不透明类型
type Name = string & { [NameBrand]: never };
type Color = string & { [ColorBrand]: never };

type Person = {
    name: Name;
    favoriteColor: Color;
};

// 封装类型创建函数，避免直接使用类型断言
function createName(value: string): Name {
    return value as Name;
}

function createColor(value: string): Color {
    return value as Color;
}

function getName(): Name {
    return createName('alice');
}

// 此时以下代码会触发编译错误，符合预期
const person1: Person = { 
    name: getName(),
    favoriteColor: getName(), // 类型错误：Type 'Name' is not assignable to type 'Color'
};

方法二：基于字符串字面量的品牌类型（简洁易用） #

如果团队能遵守不手动滥用类型断言的约定，也可以用字符串字面量作为品牌标识：

// 给每个类型添加唯一的品牌字面量属性
type Name = string & { __brand: 'Name' };
type Color = string & { __brand: 'Color' };

type Person = {
    name: Name;
    favoriteColor: Color;
};

// 封装创建函数
function createName(value: string): Name {
    return value as Name;
}

function createColor(value: string): Color {
    return value as Color;
}

function getName(): Name {
    return createName('alice');
}

// 错误赋值会触发编译报错
const person1: Person = { 
    name: getName(),
    favoriteColor: getName(), // 类型错误
};

说明 #

• 品牌类型的核心是通过交叉类型给基础类型附加唯一的标识，让TypeScript将不同的别名视为完全不同的类型。
• 封装创建函数是为了规范类型的生成方式，避免直接使用as断言绕过类型检查，保证类型安全。

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