TypeScript如何限制配置key为枚举成员同时匹配对应值类型？

核心思路是建立枚举值到对应配置类型的显式映射，替换原有的联合类型声明即可实现需求。

修改步骤 #

1. 新增枚举值与配置类型的映射表，绑定每个枚举值对应的专属配置类型：

type VehicleConfigMap = {
  [Vehicles.CAR]: CarConfig
  [Vehicles.BUS]: BusConfig
}

2. 替换原有的VehicleConfig类型定义，保留可选属性特性的同时继承映射关系：

// Partial 用来保留你原有的可选属性逻辑
type VehicleConfig = Partial<VehicleConfigMap>

完整修改后代码 #

enum Vehicles {
  CAR = "car",
  BUS = "bus"
}

type VehicleKeys = keyof typeof Vehicles;
type VehicleValues = `${Vehicles}`;

interface CarConfig{
  engine: string;
};

interface BusConfig{
  color: string
}

// 新增枚举值到配置类型的映射
type VehicleConfigMap = {
  [Vehicles.CAR]: CarConfig
  [Vehicles.BUS]: BusConfig
}

// 替换原VehicleConfig定义
type VehicleConfig = Partial<VehicleConfigMap>; 

interface Config extends VehicleConfig {
  name: string,
}

const config: Config = {
  name: "test",
  car: {
    engine: "My Car",
  },
  bus: {
    color: "Red",
  }
}

// 此时访问不会报错，TS可正确推导config.car为CarConfig类型
if(config.car){
  console.log( config.car.engine)
}

说明 #

• 原写法中所有枚举key对应的取值都被声明为CarConfig | BusConfig联合类型，TS无法根据key的不同自动缩小类型范围，因此访问独有属性会报错。
• 新增映射表后，每个枚举key对应的类型是固定绑定的，TS可以正确推导每个key的专属类型，访问属性不会报错。
• 依然保留了枚举外的key（如plane）无法添加的限制，完全符合需求。
• 后续如果枚举新增成员，只需要在VehicleConfigMap中补充对应类型映射即可，TS会主动校验映射完整性，避免遗漏。

内容的提问来源于stack exchange，提问作者Susitha Ravinda Senarath