TypeScript模板字面量中infer的贪婪性困惑：不一致的匹配行为

这个问题确实戳中了TypeScript模板字面量推断里一个容易混淆的细节——明明infer是非贪婪的，但为什么带约束的推断和直接用联合类型前缀的匹配结果差这么多？咱们来把这个问题拆解透：

核心原因：两种匹配逻辑的本质差异 #

TypeScript在处理这两种写法时，用了完全不同的逻辑：

1. 为什么${Starts}${infer Rest}能正常匹配多字符前缀？

当你写'[[Text' extends ${Starts}${infer Rest} ? Rest : never时，TypeScript会枚举联合类型Starts的每一个完整成员，依次检查字符串是否以该成员开头。对于'[[Text'，它会先尝试匹配'[['，发现完全契合，就直接返回对应的Rest，这是联合类型作为模板前缀的标准分布式匹配行为。

2. 为什么${infer Start extends Starts}${infer Rest}得不到预期的'[['？

这里的关键在于：带约束的infer推断逻辑是先生成候选值，再用约束过滤。具体来说：

• TypeScript会按照非贪婪的规则，从字符串开头生成最短的候选值（也就是单个字符'['）；
• 然后检查这个候选值是否属于Starts（'[[' | '<<'）——显然'['不在里面；
• 但TypeScript不会自动继续尝试更长的候选值（比如'[['），它的默认逻辑是“如果最短候选不满足约束，就直接放弃，不会主动枚举更长的可能”。

这就是为什么你得到的结果和预期不符——TS没主动去尝试匹配多字符的前缀成员。而当你用单字符联合类型ShortStarts时，单个字符的候选正好属于联合成员，所以能正确匹配，这就造成了“不一致”的假象。

解决方法：用分布式条件类型实现预期效果 #

要捕获字符串中符合Starts的前缀，我们可以利用联合类型的分布式特性，先枚举Starts的成员，再检查匹配：

type Starts = '[[' | '<<';

// 提取符合Starts的前缀
type ExtractMatchingPrefix<T extends string, P extends string> = P extends any
  ? T extends `${P}${string}`
    ? P
    : never
  : never;

// 测试
type MatchedPrefix = ExtractMatchingPrefix<'[[Text', Starts>; // 结果是 '[['，符合预期
type MatchedPrefix2 = ExtractMatchingPrefix<'<<Hello', Starts>; // 结果是 '<<'，符合预期

这个写法的原理是：先把联合类型P拆分成单个成员，逐个检查目标字符串是否以该成员开头，最后把所有匹配成功的成员合并成联合类型（这里每个测试用例只有一个匹配项）。如果需要处理多个可能的前缀都匹配的场景，这个方法也能自动返回所有匹配的前缀联合。

总结 #

• 直接用${联合类型}${infer Rest}：TS会枚举联合成员进行匹配，适合从字符串中移除已知前缀；
• 用${infer X extends 联合类型}${...}：TS会生成最短候选再过滤，适合单字符或明确长度的前缀匹配；
• 要匹配多字符联合前缀并提取它，优先用分布式条件类型的写法，能避免infer默认的非贪婪逻辑限制。

备注：内容来源于stack exchange，提问作者thomasrea0113