如何定义TypeScript枚举子集数组类型，新增成员时触发警告

要实现枚举新增成员时TypeScript强制你显式处理的目标，可以通过显式排除非目标枚举成员+约束数组包含所有目标成员的组合方式实现，具体步骤如下：

1. 定义目标类型VehiclesThatFly #

使用TypeScript内置的Exclude工具类型，从Vehicles枚举中排除不需要的成员。这样当枚举新增成员时，默认会被纳入VehiclesThatFly（除非你显式排除它）：

enum Vehicles {
    CAR = 1,
    BOAT = 2,
    AIRPLANE = 3
}

// 显式列出所有不属于"会飞"的交通工具
type NonFlyingVehicles = Vehicles.CAR | Vehicles.BOAT;
// 会飞的交通工具 = 枚举中排除非飞行成员后的剩余类型
type VehiclesThatFly = Exclude<Vehicles, NonFlyingVehicles>;

2. 约束数组必须包含所有目标成员 #

为确保vehiclesThatFly数组包含所有VehiclesThatFly类型的成员，我们可以定义辅助类型检查数组元素的联合类型是否完全覆盖目标类型，再结合satisfies关键字做约束：

// 辅助类型：检查数组元素的联合类型是否完全覆盖目标联合类型
type ArrayCoversUnion<T, U extends readonly T[]> = [T] extends [U[number]] ? true : false;

// 定义数组并添加约束
const vehiclesThatFly = [Vehicles.AIRPLANE] as const satisfies ReadonlyArray<VehiclesThatFly> & 
  (ArrayCoversUnion<VehiclesThatFly, typeof vehiclesThatFly> extends true ? {} : never);

3. 新增枚举成员时的效果 #

当你给Vehicles枚举新增成员（比如HELICOPTER）：

enum Vehicles {
    CAR = 1,
    BOAT = 2,
    AIRPLANE = 3,
    HELICOPTER = 4 // 新增成员
}

此时TypeScript会立即报错，你必须二选一：

• 若HELICOPTER属于会飞的交通工具：将Vehicles.HELICOPTER加入vehiclesThatFly数组，错误消失。
• 若HELICOPTER不属于会飞的交通工具：把Vehicles.HELICOPTER加入NonFlyingVehicles类型，显式排除它。

简化方案（无需辅助类型） #

如果不需要严格约束数组包含所有成员，仅希望新增枚举成员时未被显式排除则需被考虑，直接将数组类型定义为VehiclesThatFly[]即可：

const vehiclesThatFly: VehiclesThatFly[] = [Vehicles.AIRPLANE];

这种情况下，当枚举新增未被排除的成员时，虽然数组不会强制要求添加，但后续若涉及枚举全成员的处理（比如switch语句），TypeScript会提示你遗漏了新增成员。

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