TypeScript字符串字面量解析为何需空格才能正确推断类型？

问题背景 #

我们尝试在TypeScript类型层面解析字符串字面量中的类型与变量名：

type VarType = 'vec2' | 'vec3' | 'vec4'
type Src = 'vec2 abc;'

目标是提取vec2类型和abc变量名，但遇到了两个奇怪的推断行为，下面逐一解析原因。

问题1：无空格时U被推断为整个联合类型，加空格后正确 #

现象

// U的推断结果为 'vec2' | 'vec3' | 'vec4'
type TestA = Src extends `${infer U extends VarType}${string}` ? U : false;

// U的推断结果为 'vec2'（符合预期）
type TestB = Src extends `${infer U extends VarType} ${string}` ? U : false;

原因

TypeScript的字符串字面量模式匹配在无明确分隔符时，会优先遵循infer的类型约束，而非严格执行字符串前缀匹配：

• 对于${infer U extends VarType}${string}，${string}可以匹配任意内容（包括空字符串），TypeScript无法确定U的精确边界。此时它会认为所有符合VarType约束的成员都有可能满足模式（即使部分成员并非Src的前缀），因此U被推断为整个联合类型。
• 添加空格后，模式中的空格成为明确的分隔符，TypeScript会严格匹配前缀：只有'vec2 '是Src的有效前缀，因此U只能被推断为'vec2'。

问题2：无空格时双infer匹配失败，加空格后成功 #

现象

// 匹配失败，结果为false
type TestC = Src extends `${infer U extends VarType}${infer Tail}` ? [U, Tail] : false;

// 匹配成功，结果为 ['vec2', 'abc;']（符合预期）
type TestD = Src extends `${infer U extends VarType} ${infer Tail}` ? [U, Tail] : false;

原因

TypeScript的双infer推断需要明确的边界来分割字符串：

• 对于${infer U extends VarType}${infer Tail}，即使VarType的成员长度相同，由于缺乏明确的分隔标记，TypeScript无法确定U的结束位置。它需要找到一组U和Tail使得U + Tail = Src且U属于VarType，但联合类型的存在让推断逻辑无法锁定唯一的分割方式，最终导致匹配失败。
• 添加空格后，空格成为清晰的分割点，TypeScript可以精准提取前缀'vec2'作为U，剩余部分'abc;'作为Tail，因此匹配成功。

总结 #

TypeScript字符串字面量的类型推断严重依赖明确的边界标记（如固定字符、分隔符）。当边界模糊时，推断会优先遵循类型约束，或因无法确定分割逻辑而失败。如果要兼容任意空白字符，可以使用预定义的空白字符类型（如type Whitespace = ' ' | '\n' | '\t'）结合递归模式来实现更鲁棒的解析。

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