TypeScript中能否定义由指定字符串子集所有组合构成的类型？

给定以下TypeScript类型：

type DNA = {
    G: string;
    C: string;
    T: string;
    A: string;
}

type DNAKeys = keyof DNA;

需求是定义一个类型DNACombinations，使其包含所有由DNAKeys（即"G"/"C"/"T"/"A"）组成的任意长度的字符串字面量，比如"G"、"GC"、"ATCG"、"AAAAA"等都属于该类型。

目前能想到的方案是手动定义递增长度的联合类型，但显然无法覆盖所有可能：

type DNACombinations = 
    | DNAKeys
    | `${DNAKeys}${DNAKeys}`
    | `${DNAKeys}${DNAKeys}${DNAKeys}`
    // 无限续写下去，不现实

想知道当前TypeScript是否支持实现这种类型，是否需要等正则类型支持才能完成？

解答 #

截至TypeScript 5.x版本，原生不支持直接定义真正无限长度的字符串字面量联合类型，因为TypeScript的类型系统基于有限的结构展开，无法生成无限数量的类型组合。不过可以通过以下方式实现近似方案：

1. 递归模板字面量类型（有限深度） #

利用TypeScript的模板字面量递归特性，可以定义一个覆盖大量长度的类型，虽然有递归深度限制，但足以应对绝大多数实际场景：

type DNA = {
    G: string;
    C: string;
    T: string;
    A: string;
}
type DNAKeys = keyof DNA;

// 递归定义任意长度（受TS递归深度限制）的DNA组合类型
type DNACombinations = DNAKeys | `${DNAKeys}${DNACombinations}`;

这个类型会递归生成DNAKeys、DNAKeys+DNAKeys、DNAKeys+DNAKeys+DNAKeys……直到达到TypeScript的递归深度上限（默认约1000层，超过会触发类型溢出错误）。

2. 正则类型的可能性 #

目前TypeScript还不支持直接用正则表达式语法（比如/^[GCAT]+$/）来定义字符串类型。虽然有相关提案在讨论，但尚未正式纳入语言标准。如果未来支持正则类型，就可以直接用正则模式匹配所有符合要求的字符串，无需手动或递归定义组合。

总结 #

• 当前没有完美的“无限长度”解决方案，递归模板字面量是最接近的实现方式，但存在深度限制
• 真正的任意长度匹配需要等待TypeScript对正则类型的支持
• 如果只是需要确保运行时字符串合法，也可以在函数内部通过正则表达式做额外校验，弥补类型系统的不足

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