如何在TypeScript中条件创建支持多类型组合的动态类型？

问题分析 #

你需要基于BaseType，通过布尔开关（如foo: true）条件性地合并多个扩展类型，且支持同时启用任意数量的扩展——当开关为true时，必须携带对应扩展的必填字段；开关为false或不设置时，可省略对应字段。传统的联合类型只能支持单一扩展，无法满足多扩展组合的需求。

解决方案 #

通过条件类型+交叉类型结合的方式，构建动态的类型约束，实现任意扩展组合的类型检查：

完整代码示例 #

interface BaseType {
  base: string;
}

// 定义每个扩展的核心必填字段（不含开关）
type FooCore = { fooType: string };
type BarCore = { barType: number };
type BazCore = { bazType: boolean };

// 辅助类型：根据开关值决定是否强制包含核心字段
type ConditionalExtension<SwitchKey extends string, Core> = 
  // 开关为false或不设置时：可选开关，核心字段可省略
  | { [K in SwitchKey]?: false } & Partial<Core>
  // 开关为true时：必须设置开关为true，且必填核心字段
  | { [K in SwitchKey]: true } & Core;

// 组合基础类型与所有条件扩展
type ExtendedType = BaseType & 
  ConditionalExtension<'foo', FooCore> & 
  ConditionalExtension<'bar', BarCore> & 
  ConditionalExtension<'baz', BazCore>;

// 带类型约束的函数
function myFunc<T extends ExtendedType>(props: T): T {
  return props;
}

测试验证 #

以下场景都会触发正确的类型检查：

// 单一扩展：缺失fooType会报错
myFunc({
  base: "",
  foo: true,
  fooType: "", // 必须填写，否则TS报错
});

// 单一扩展：缺失barType会报错
myFunc({
  base: "",
  bar: true,
  barType: 2, // 必须填写，否则TS报错
});

// 多扩展组合：缺失任意核心字段都会报错
myFunc({
  base: "",
  foo: true,
  fooType: "",
  bar: true,
  barType: 2,
});

// 多扩展组合：核心字段类型不匹配会报错
myFunc({
  base: "",
  bar: true,
  barType: 2, // 原示例中写""会因类型不匹配报错，符合预期
  baz: true,
  bazType: false,
});

// 开关为false：无需填写核心字段
myFunc({
  base: "",
  foo: false,
});

// 不设置开关：无需填写核心字段
myFunc({
  base: "",
});

原理说明 #

1. 拆分核心字段与开关：将每个扩展的布尔开关（如foo）和对应必填字段（如fooType）分离，让类型逻辑更清晰。
2. ConditionalExtension辅助类型：
   • 当开关设为true时，通过{ [K in SwitchKey]: true } & Core强制要求同时存在开关和核心字段，避免遗漏。
   • 当开关设为false或不设置时，通过{ [K in SwitchKey]?: false } & Partial<Core>允许省略核心字段，保持灵活性。
3. 交叉类型组合：用&将基础类型与所有条件扩展交叉，支持任意数量的扩展组合。
4. 泛型函数约束：通过T extends ExtendedType让TypeScript自动推导参数类型，确保类型检查的准确性。

扩展性 #

如果需要新增扩展，只需两步：

1. 定义新的核心字段类型（如QuxCore = { quxType: Date }）。
2. 在ExtendedType中添加新的条件扩展：& ConditionalExtension<'qux', QuxCore>。

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