如何强制TypeScript泛型方法参数为传入的完整联合类型？

问题背景 #

需求是强制带有泛型参数的方法必须严格使用指定的联合类型，但当前TypeScript的类型检查允许方法实现仅满足该联合类型的子类型，不会触发报错：

• 示例中Foo类实现泛型接口时，将myMethod的参数类型设为string（属于string | number的子类型），但TS未报错
• 期望实现像Foo2类那样，必须将参数类型严格设为string | number才合法
• 已尝试元组和工具类型，但未解决问题

解决方案 #

通过自定义严格相等的条件类型，约束泛型参数必须与目标联合类型完全匹配，否则让方法参数类型变为never，从而触发类型错误。

1. 定义严格相等辅助类型

type StrictlyEqual<T, U> =
  (<G>() => G extends T ? 1 : 2) extends
  (<G>() => G extends U ? 1 : 2) ? T : never;

2. 修改泛型接口的约束

将接口中的泛型参数约束为目标联合类型，并在方法参数中使用StrictlyEqual强制类型完全匹配：

interface Bar<T extends string | number> {
  myMethod(arg: StrictlyEqual<T, string | number>): void;
}

3. 测试代码

// ❌ 报错：类型'string'不能赋值给类型'never'
class Foo implements Bar<string> {
  myMethod(arg: string) {}
}

// ✅ 正常通过
class Foo2 implements Bar<string | number> {
  myMethod(arg: string | number) {}
}

原理说明 #

StrictlyEqual类型利用了TypeScript条件类型的分布特性：只有当两个类型完全相等时，两个泛型函数类型(<G>() => G extends T ? 1 : 2)和(<G>() => G extends U ? 1 : 2)才会被视为等价。如果T是目标联合类型的子类型（比如string），StrictlyEqual会返回never，导致方法参数类型不匹配，触发类型错误，从而实现强制严格使用指定联合类型的目的。

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