幻影类型模式：将运行时约束编译到类型系统中

利用 Typescript 泛型参数的未使用特性，在类型层面编码业务规则，使非法状态变得不可表示。 · 难度：入门 · +10XP

幻影类型模式：将运行时约束编译到类型系统中

幻影类型（Phantom Type）指在类型定义中存在但未在运行时使用的泛型参数。通过它们可以在类型层面编码状态、单位或访问权限等约束，让非法状态成为类型错误。例如将美元与欧元定义为不同的幻影类型分支，编译器可在赋值时阻止货币混用，而运行时这些类型参数被擦除，无额外开销。

type Currency = 'USD' | 'EUR';
type Amount<C extends Currency> = { value: number } & { __phantom: C };
function add<C extends Currency>(a: Amount<C>, b: Amount<C>): Amount<C> {
  return { value: a.value + b.value } as Amount<C>;
}
const usd1: Amount<'USD'> = { value: 10 } as Amount<'USD'>;
const eur1: Amount<'EUR'> = { value: 20 } as Amount<'EUR'>;
// add(usd1, eur1); // 类型错误: 不能将欧元混入美元加法