如何在TypeScript中限制特定格式的字符串类型？

你可以通过递归模板字符串类型来实现这个需求，利用TypeScript对模板字符串的类型推导能力，结合递归逻辑匹配多个逗号分隔的场景：

// 基础Action类型
type ActionType = 'TypeA' | 'TypeB' | 'TypeC' | 'TypeD';

// 递归定义支持单个或多个逗号分隔的类型
type ActionUnion = ActionType | `${ActionType},${ActionUnion}`;

// 正确用法示例
const myActionType1: ActionUnion = "TypeA"; // ✅ 单个值
const myActionType2: ActionUnion = "TypeB,TypeC,TypeA"; // ✅ 多个逗号分隔值
const myActionType3: ActionUnion = "TypeD,TypeB"; // ✅ 两个值

// 错误用法示例（会触发类型检查报错）
const myActionType4: ActionUnion = "TypeX"; // ❌ 不属于ActionType的取值
const myActionType5: ActionUnion = "TypeA,TypeX"; // ❌ 包含非法取值
const myActionType6: ActionUnion = "TypeA;TypeB"; // ❌ 使用了分号而非逗号分隔

原理说明 #

• 匹配单个值时，直接命中ActionType分支；
• 匹配多个值时，通过${ActionType},${ActionUnion}的递归结构，不断拆解出"前缀ActionType+逗号+剩余ActionUnion"的格式，直到最后一段是单个ActionType，从而覆盖所有合法的逗号组合场景。

注意：这种递归类型需要TypeScript 4.1及以上版本支持，因为模板字符串类型是从该版本开始引入的。

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