如何在TypeScript中实现无循环引用的递归字符串模式？

你的原写法出现循环引用问题，是因为直接在模板字面量里嵌套OneOrMore<A>并结合空字符串，导致类型计算无限递归，没有明确终止点。以下是两种可行的实现方案：

方案一：带终止条件的递归联合类型 #

把单个目标字符串作为递归终止分支，结合嵌套模板字面量实现，这是最简洁的方案：

type OneOrMore<A extends string> = A | `${A}${OneOrMore<A>}`;

declare function u(str: OneOrMore<"a">): void;

u("a");          // ✅ 匹配单个a
u("aa");         // ✅ 匹配两个a
u("aaaaa");      // ✅ 匹配多个a
u("aaaaaaaaaaaa"); // ✅ 匹配超长重复a
u("");           // ❌ 空字符串会报错，符合"一个或多个"的要求

核心逻辑：OneOrMore<A>要么是单个A（终止条件），要么是A后面跟着另一个OneOrMore<A>，TypeScript能正常处理这种有明确终止分支的递归类型。

方案二：带深度限制的递归类型（可选） #

如果需要避免极端场景下的类型性能问题，可以通过辅助类型控制最大重复次数：

// MaxDepth 可自定义最大允许的重复次数，默认10次
type OneOrMore<A extends string, MaxDepth extends number = 10, Depth extends 0[] = []> = 
  Depth['length'] extends MaxDepth 
    ? never 
    : A | `${A}${OneOrMore<A, MaxDepth, [...Depth, 0]>}`;

declare function u(str: OneOrMore<"a">): void;

u("a");          // ✅
u("aaaaaaaaaa"); // ✅ 不超过10个a都能匹配
u("aaaaaaaaaaa"); // ❌ 超过10个a会报错

这个方案通过Depth数组的长度追踪递归次数，达到MaxDepth后停止递归，适合对重复次数有明确限制的场景。

注意：TypeScript对递归类型的处理有默认深度限制，方案一对于日常开发中合理长度的字符串都能正常匹配，无需额外调整。

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