为何语义相同的TypeScript类型G1报错而G2正常？

问题场景 #

你定义了语义完全相同的TypeScript类型Y1和Y2，基于它们分别定义了G1和G2，但G1出现了“'A'、'B'在自身类型注解中直接或间接引用”的错误，G2却能正常通过。相关代码如下：

type Y1 = { A: Y1['B'], B: Y1['A'] }
type G1<T = Y1> = { a: T['A'], b: T['B'] } // 报错：类型实例化过深，可能无限循环。(2589)

type Y2 = { A: Y2['B'], B: Y2['A'] }
type G2 = { a: Y2['A'], b: Y2['B'] } // 正常通过

差异原因与结论 #

这是TypeScript的预期行为，并非Bug，核心差异源于TypeScript对泛型实例化和直接类型引用的不同处理逻辑：

• 直接类型引用的惰性解析：G2直接引用Y2的属性，TypeScript会将Y2['A']和Y2['B']视为惰性解析的递归引用——只有当代码实际需要读取这些类型的具体结构时，才会尝试展开，不会主动触发无限循环的解析，因此可以正常通过。
• 泛型实例化的严格检测：G1是带默认类型参数的泛型类型，当省略泛型参数使用G1时，TypeScript需要先完成G1<Y1>的实例化。在这个过程中，编译器会尝试主动展开T['A']和T['B']，而Y1的属性互相引用导致展开过程陷入无限循环，触发“类型实例化过深”的错误。

关于递归类型的可判定性 #

TypeScript对递归类型的处理不存在不可判定性问题，它通过两种机制避免编译器陷入无限循环：

• 识别合法的惰性递归类型（如type Node = { next: Node }），允许这类递归定义；
• 对类型解析过程设置深度限制，同时跟踪解析路径，一旦检测到会触发无限展开的场景（如G1的泛型实例化），就直接抛出错误终止解析。

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