含联合占位符的模板字面量使Flavored Types失去类型判别性

Flavored Types（通过交叉唯一符号实现的标称类型模式）的核心逻辑是利用TypeScript的结构类型系统，给基础类型附加一个唯一的可选符号属性，以此区分不同语义的类型。但当基础类型是含联合占位符的模板字面量时，模式失效的原因可以从TypeScript对这类类型的处理逻辑来解释：

1. 正常工作场景的核心逻辑 #

当基础类型是普通数字、简单模板字面量（如'fixed-string'）或封闭联合类型时，TypeScript会将交叉符号属性后的类型视为带有唯一标记的特殊类型：

• 原始类型（如number）交叉符号属性后，TypeScript会保留标记作为类型区分的依据，禁止不同标记的类型互相赋值。
• 封闭的字面量类型交叉符号属性后，每个字面量成员都会带上唯一标记，结构类型检查会严格区分不同标记的类型。

举个正常工作的例子：

const flavorSymbol = Symbol('flavor');
type Flavor<T, FlavorTag> = T & { readonly [typeof flavorSymbol]?: FlavorTag };

// 普通数字类型
type Age = Flavor<number, 'age'>;
type Score = Flavor<number, 'score'>;
const age: Age = 25;
// const score: Score = age; // 报错：类型不兼容，符合预期

// 简单模板字面量
type UserId = Flavor<'user-' | 'admin-', 'user-id'>;
type OrderId = Flavor<'order-' | 'refund-', 'order-id'>;
const userId: UserId = 'user-';
// const orderId: OrderId = userId; // 报错：类型不兼容，符合预期

2. 含联合占位符的模板字面量的特殊处理 #

当基础类型是包含联合占位符的模板字面量（如${string}-${'a' | 'b'}）时，TypeScript会将其解析为开放的分布式联合类型，这类类型本质是string的子类型集合，而非封闭的字面量集合：

• 模板字面量中的${string}或联合占位符会生成一系列动态的字符串子类型（如所有以-a或-b结尾的字符串），TypeScript对这类开放类型的处理更接近string本身，而非严格的字面量类型。
• 当给这类开放联合类型交叉可选符号属性时，TypeScript会将交叉操作分布式应用到每个联合成员上，但结构类型检查会优先考虑字符串子类型的兼容性，而忽略可选符号属性的差异——因为可选属性允许不存在，TypeScript认为两个类型的结构在“字符串子类型兼容+可选属性可缺失”的前提下是可以互相赋值的。

举个失效的例子：

const flavorSymbol = Symbol('flavor');
type Flavor<T, FlavorTag> = T & { readonly [typeof flavorSymbol]?: FlavorTag };

// 含联合占位符的模板字面量
type Base = `${string}-${'a' | 'b'}`;
type TypeA = Flavor<Base, 'type-a'>;
type TypeB = Flavor<Base, 'type-b'>;

const a: TypeA = 'test-a';
const b: TypeB = a; // 无报错，模式失效

3. 本质原因总结 #

TypeScript的结构类型系统对不同类型的“严格度”不同：

• 对于封闭、具体的类型（原始类型、简单字面量、封闭联合），交叉的可选符号属性会被视为类型的核心区分标记，严格阻止不同标记的类型赋值。
• 对于开放的分布式模板字面量类型，TypeScript更关注其基础的字符串子类型兼容性，可选符号属性因“可缺失”的特性被忽略，导致不同标记的Flavored Types失去区分能力。

内容的提问来源于stack exchange，提问作者Léo Mouyna