TypeScript中如何实现函数参数的互斥对约束？

完全可以通过TypeScript的类型系统实现这个需求，核心思路是用联合类型定义互斥的参数选项，再用交叉类型组合多组互斥规则，同时通过never类型阻止非法的参数组合。

具体实现代码 #

// 定义foo/fooId的互斥必选类型
type FooOption =
  | { foo: string; fooId?: never }
  | { fooId: string; foo?: never };

// 定义bar/barId的互斥必选类型
type BarOption =
  | { bar: string; barId?: never }
  | { barId: string; bar?: never };

// 函数参数同时满足两组互斥规则
function x(params: FooOption & BarOption) {
  const { foo, fooId, bar, barId } = params;
  // 业务逻辑示例：获取对应值
  const fooValue = foo ?? fooId;
  const barValue = bar ?? barId;
}

验证效果 #

• 合法调用（编译器通过）：

  x({ foo: "test", bar: "demo" });
  x({ fooId: "123", bar: "demo" });
  x({ foo: "test", barId: "456" });
  x({ fooId: "123", barId: "456" });
  

• 非法调用（编译器报错）：

  // 同时传入foo和fooId，类型冲突
  x({ foo: "test", fooId: "123", bar: "demo" });
  // 缺少foo/fooId其中一个
  x({ bar: "demo" });
  // 缺少bar/barId其中一个
  x({ foo: "test" });
  

原理说明 #

1. 互斥选项定义：每个XXXOption用联合类型|拆分两种合法场景，其中一个字段必填，另一个字段设为never类型——TypeScript不允许给never类型赋值，因此如果同时传入互斥字段，会直接触发类型错误。
2. 交叉组合规则：用&把FooOption和BarOption交叉，确保函数参数必须同时满足两组互斥必选要求，缺少任意一组的合法选项都会触发类型检查失败。

通用工具类型（可选） #

如果需要复用这种“二选一互斥必选”的逻辑，可以封装一个通用工具类型，支持自定义字段名和类型：

type ExclusivePair<
  FieldA extends string,
  TypeA,
  FieldB extends string,
  TypeB
> =
  | { [K in FieldA]: TypeA } & { [K in FieldB]?: never }
  | { [K in FieldB]: TypeB } & { [K in FieldA]?: never };

// 复用示例：foo是string，fooId是number
type FooOption = ExclusivePair<"foo", string, "fooId", number>;
// bar是string，barId是number
type BarOption = ExclusivePair<"bar", string, "barId", number>;

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