TypeScript如何解析递归类型？为何无字符串终止条件不触发无限循环？

为什么不需要添加string的边界条件？ #

你的AllStrings<T>类型之所以不用专门处理string类型，核心在于TypeScript对原始类型的映射类型处理逻辑：

当你把string传入AllStrings<T>时，keyof string虽然包含数字索引、字符串方法（比如toString、charAt）等，但TypeScript会对原始类型（string/number/boolean/null/undefined等）的映射类型做特殊优化——直接返回该原始类型本身，而不是生成一个包含所有属性的复杂类型。

换句话说，AllStrings<string>的结果就是string，所以当处理Person接口的name: string时，递归调用AllStrings<string>会直接得到string，既不会修改类型，也不会陷入无限循环。

TypeScript如何解析这类递归类型？ #

TypeScript处理递归条件类型时依赖两个关键机制：

• 惰性求值：TypeScript不会一次性展开所有递归层级，只有当需要具体解析某个类型成员（比如访问NewPerson['name']）时，才会逐步展开递归逻辑。
• 原始类型终止：如前所述，当递归到原始类型时，映射类型会直接返回该类型本身，自然终止递归链条，避免无限展开。

这种解析逻辑是TypeScript类型系统的核心设计之一，确保递归类型可以安全使用。

该行为是否属于预期？会不会未来失效？ #

这是完全符合预期的官方行为，且有明确的文档支撑（TypeScript官方文档中关于映射类型、递归类型的章节均有相关说明）。原始类型的映射优化是TypeScript类型系统的稳定特性，未来不会随意移除或改变，你可以放心使用。

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