TypeScript如何约束Theme类泛型T必须包含'light'|'dark'字面量

实现方案 #

// 定义必须包含的固定主题类型
type RequiredThemes = 'light' | 'dark'

// 给泛型T添加约束
class Theme<T extends string & (RequiredThemes extends T ? unknown : never)> {}

约束逻辑说明 #

• 第一点要求T继承string：通过T extends string直接实现
• 第二点要求T必须包含light和dark两个字面量：本质是要求联合类型'light' | 'dark'必须是T的子类型，通过条件判断RequiredThemes extends T实现，不满足条件时泛型约束会返回never触发类型错误。

测试验证（完全匹配示例要求） #

new Theme<'light' | 'dark'>() // 合法
new Theme<'light'>() // 类型报错，缺少'dark'类型
new Theme<string>() // 合法，string类型包含所有字符串字面量
new Theme<'rainbow'>() // 类型报错，缺少'light'和'dark'类型
new Theme<'light' | 'dark' | 'rainbow'>() // 合法，包含必填类型的同时支持扩展

可选优化（更友好的报错提示） #

如果希望类型报错更直观，可以拆分判断逻辑自定义报错信息：

type ValidateTheme<T extends string> = 
  'light' extends T 
    ? 'dark' extends T 
      ? T 
      : "错误：缺少'dark'类型"
    : "错误：缺少'light'类型"

class Theme<T extends ValidateTheme<T>> {}

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