如何在TypeScript中使用枚举子集定义变量类型？

刚好之前也遇到过类似的需求，先聊聊你提到的两种思路的优缺点，再分享几个更通用的实现方式：

先说说你现有的两个思路 #

• 思路A：直接写联合类型
  优点是简单直接，不需要额外定义，但缺点很明显——如果这个子集类型需要在多个组件Props或其他地方复用，每次都要重复写Alignment.Left | Alignment.Top，完全不符合DRY（Don't Repeat Yourself）原则，维护起来也麻烦。
• 思路B：创建新枚举
  语义化确实不错，但会产生冗余的枚举定义，而且原枚举如果有更新（比如值修改、新增成员），新枚举必须同步维护，很容易出现不一致的问题，不推荐。

更通用的实现方案 #

方案1：用Extract工具类型提取子集类型 #

TypeScript内置的Extract工具类型专门用来从联合类型中提取指定的成员，刚好适合从枚举中摘出我们需要的部分：

export enum Alignment { 
  Top = 'top', 
  Right = 'right', 
  Bottom = 'bottom', 
  Left = 'left', 
}

// 定义复用的子集类型
type AlignStart = Extract<Alignment, Alignment.Left | Alignment.Top>;

// 在Props中使用
interface CompProps {
  align: AlignStart;
}

这个方案的好处是只需要定义一次子集类型，后续任何地方都可以直接复用，而且类型完全基于原枚举，不会出现不一致的问题。

方案2：通过枚举key生成子集类型 #

如果你更习惯用枚举的key来指定需要的成员，可以用索引访问类型来实现：

export enum Alignment { 
  Top = 'top', 
  Right = 'right', 
  Bottom = 'bottom', 
  Left = 'left', 
}

// 先指定需要的枚举key
type TargetAlignKeys = 'Left' | 'Top';
// 通过索引访问得到对应的枚举值类型
type TargetAlign = Alignment[TargetAlignKeys];

interface CompProps {
  align: TargetAlign;
}

这种方式在需要调整子集成员时，只需要修改TargetAlignKeys的key集合即可，同样能保证和原枚举的一致性。

方案3：同时生成可复用的常量和类型 #

如果你的场景不仅需要类型，还需要在运行时用到这个子集（比如做参数校验、遍历渲染选项），可以用const断言来同时生成常量数组和对应类型：

export enum Alignment { 
  Top = 'top', 
  Right = 'right', 
  Bottom = 'bottom', 
  Left = 'left', 
}

// 定义运行时可用的常量数组，as const让元素类型变成字面量
const allowedAlignments = [Alignment.Left, Alignment.Top] as const;
// 从常量数组推导对应的类型
type AllowedAlign = typeof allowedAlignments[number];

interface CompProps {
  align: AllowedAlign;
}

// 运行时也能直接用这个数组，比如做校验
function validateAlign(align: string): align is AllowedAlign {
  return (allowedAlignments as readonly string[]).includes(align);
}

这个方案兼顾了类型安全和运行时的实用性，非常适合需要同时处理类型和运行逻辑的场景。

总结一下 #

• 临时用一次：思路A足够简单；
• 需要复用类型：优先选方案1或方案2；
• 需要兼顾运行时：方案3是最优解；
• 尽量避免思路B，维护成本太高。

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