TypeScript 基于枚举属性实现接口条件必填的类型定义方法

核心需求回顾 #

• 目标是让函数入参的配置类型满足：type字段取哪个枚举值，就强制要求传入该类型对应的专属配置参数，其余参数不做强制要求
• 初始的通用单接口写法，因为属性的必填/可选状态是静态定义的，天生不支持跨属性的动态条件校验，没法实现预期效果

你提出的联合类型方案完全可行 #

• 这正是TypeScript中**可辨识联合（判别联合）**的标准实现模式，TS原生支持基于这种结构做精准的类型收窄和校验
• 实际校验逻辑完全匹配预期：
  • 当传入配置的type为SomeEnumType.Type1时，TS会强制要求必须携带paramRequiredForType1参数，漏传直接触发类型报错
  • 当type为SomeEnumType.Type2时，仅要求paramRequiredForType2为必填，其余类型的专属参数不会触发强制校验
  • 当type为SomeEnumType.Type3时，仅要求paramRequiredForType3为必填
• 相比单接口写法，这种联合类型还能实现更严格的排他校验：比如给Type1类型的配置多传Type2专属的参数，TS也能精准识别结构不匹配的问题

可减少重复代码的优化写法 #

如果后续需要扩展更多配置类型，不需要每次手动写独立接口，可以通过泛型映射自动生成联合类型，减少冗余代码：

enum SomeEnumType {
  Type1 = 'Type1',
  Type2 = 'Type2',
  Type3 = 'Type3',
}

// 定义每个枚举值对应的专属参数结构映射
type ConfigSpecificParamMap = {
  [SomeEnumType.Type1]: { paramRequiredForType1: any },
  [SomeEnumType.Type2]: { paramRequiredForType2: any },
  [SomeEnumType.Type3]: { paramRequiredForType3: any },
}

// 自动生成可辨识联合类型，和手动写三个接口的校验效果完全一致
type SomeConfig = {
  [K in SomeEnumType]: { type: K } & ConfigSpecificParamMap[K]
}[SomeEnumType]

// 函数定义和之前的写法保持一致
function someFunctionWithSomeConfigPassedIn(config: SomeConfig) {
  
}

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