TypeScript中如何强制MARKED泛型的第二个参数必须为unique symbol

你遇到的问题核心在于TypeScript中unique symbol的特殊特性——它是symbol的专属子类型，只有通过const声明的符号才会被识别为unique symbol类型。直接用M extends unique symbol作为泛型约束其实是有效的，但可能在某些场景下你没看到预期的报错，或者想要更严格的类型限制，这里有两种可靠的实现方式：

方案一：泛型约束直接限制 #

直接在泛型参数上约束M必须是unique symbol，任何非unique symbol的类型传入都会直接触发编译错误：

type MARKED<C, M extends unique symbol> = C & { readonly m: M; };

// ✅ 正确用法：使用const声明的unique symbol
const SPECIAL: unique symbol = Symbol();
type SpecialUser = MARKED<{ id: number }, typeof SPECIAL>;

// ❌ 错误用法：传入字符串会报错（类型"special"不满足约束"unique symbol"）
type BadSpecialFoo = MARKED<Foo, 'special'>;

// ❌ 错误用法：传入普通symbol类型也会报错（类型"symbol"不满足约束"unique symbol"）
let regularSymbol = Symbol();
type BadMarkedType = MARKED<Foo, typeof regularSymbol>;

方案二：条件类型强制非符合类型返回never #

如果想要让非unique symbol的场景报错更直观（直接得到never类型，无法赋值给任何变量），可以用条件类型来实现：

type MARKED<C, M> = M extends unique symbol 
  ? C & { readonly m: M; } 
  : never;

// ✅ 正确用法
const ADMIN: unique symbol = Symbol();
const adminUser: MARKED<{ username: string }, typeof ADMIN> = {
  username: "johndoe",
  m: ADMIN
};

// ❌ 错误用法：得到never类型，编译时会提示"类型never不能赋值给类型MARKED<Foo, 'special'>"
const invalidValue: MARKED<Foo, 'special'> = {} as any;

为什么直接约束看起来可能"不生效"？ #

需要注意unique symbol的生成规则：

• const s: unique symbol = Symbol(); → typeof s是标准的unique symbol类型
• let s = Symbol(); → typeof s是普通symbol类型，不满足约束

如果你的代码依赖类型推断而非显式指定泛型参数，要确保推断出的M确实是unique symbol类型，否则也会触发约束错误。

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