TypeScript中Exclude与枚举映射条件类型结合不生效如何解决？

问题根源 #

你原有逻辑不生效的核心原因是没有将子级的Category过滤规则和父级的IssueType类型做绑定：如果你给所有IssueType对应的子对象都定义了统一的Category约束，Exclude<Category, Category.Other>自然无法只作用于IssueType.Error的场景。

正确实现方案 #

首先先对齐基础枚举定义（和你的实际代码保持一致即可）：

enum IssueType {
  Error = 'error',
  Advice = 'advice'
}

enum Category {
  Software = 'software',
  Hardware = 'hardware',
  Other = 'other'
}

// 假设你每个分类下的必填配置类型为RequiredConfig，可替换为你实际的配置结构
type RequiredConfig = Record<typeof inputNames[number], boolean>

Conditions类型定义 #

用带条件判断的映射类型，针对不同的IssueType键单独约束子级的Category范围：

type Conditions = {
  [T in IssueType]: T extends typeof IssueType.Error 
    ? Record<Exclude<Category, Category.Other>, RequiredConfig>
    : Record<Category, RequiredConfig>
}

类型效果验证 #

按以上定义后，以下写法完全符合类型约束，不会报错：

const conditions: Conditions = {
  [IssueType.Error]: {
    // 只需要包含Software、Hardware两个配置，多写Other反而会报多余属性错误
    [Category.Software]: { /* 你的必填规则配置 */ },
    [Category.Hardware]: { /* 你的必填规则配置 */ }
  },
  [IssueType.Advice]: {
    // 必须包含全量三个Category的配置，缺任何一个都会报错
    [Category.Software]: { /* 你的必填规则配置 */ },
    [Category.Hardware]: { /* 你的必填规则配置 */ },
    [Category.Other]: { /* 你的必填规则配置 */ }
  }
}

这个方案完全不需要使用可选属性，所有要求的配置项都是强制必填，符合你的需求。

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