为何TypeScript递归类型推断对对象字面量生效却对类不生效？

问题背景 #

为什么对象字面量的递归类型推断能正常工作：

const test = {
  value: 42,
  fn: () => test
};

const value = test.fn().fn().value; // typeof value 是 number

但类实例的递归引用却触发类型错误：

class Test {
  constructor(public readonly value: number, public readonly fn: () => Test) {}
}

const test2 = new Test(42, () => test2); // 错误：'test2'隐式拥有'any'类型，因为它没有类型注解且在自身初始化器中直接或间接被引用。(7022)

const value2 = test2.fn().fn().value; // typeof value2 是 any

同样，非递归的匹配器类型推断正常：

const matcher1 = new OrMatcher(
  new AndMatcher(new Matcher("("), new Matcher(")")), 
  new Matcher("a")
);

const result1 = matcher1.tryMatch(); // typeof result1 是 ["(", ")"] | "a" | null

但添加递归后就报错，类型推断失效：

const matcher2 = new OrMatcher(
  new AndMatcher(new Matcher("("), new ProxyMatcher(() => matcher2), new Matcher(")")), 
  new Matcher("a")
); // 错误：'matcher2'隐式拥有'any'类型，因为它没有类型注解且在自身初始化器中直接或间接被引用。(7022)

const result2 = matcher2.tryMatch(); // 期望typeof result2为["(", ..., ")"] | "a" | null（其中...指代自身递归类型），但实际得到any

原因分析 #

1. 对象字面量的特殊处理：TypeScript对对象字面量的递归引用采用延迟绑定策略。它会先完成整个对象的结构类型推导，再处理内部函数对自身变量的引用，因此能正确推断出fn的返回类型就是该对象的类型，链式调用的value自然能被推断为number。

2. 类实例/变量的递归引用限制：当你在变量初始化时直接引用自身（比如new Test(42, () => test2)），TypeScript的类型推断流程会被打断——此时test2还未完成类型注解，编译器无法确定它的类型，只能退化为any，进而触发7022错误。匹配器的递归场景本质和这个问题一致，都是初始化时的自引用导致类型推断失效。

解决方案 #

方案1：显式添加类型注解 #

直接为变量指定明确的类型，让编译器跳过对自引用的类型推导冲突：

// 类实例场景
class Test {
  constructor(public readonly value: number, public readonly fn: () => Test) {}
}

const test2: Test = new Test(42, () => test2);

const value2 = test2.fn().fn().value; // typeof value2 是 number

// 匹配器场景
type MatchResult = ["(", MatchResult, ")"] | "a" | null;

// 假设Matcher相关类已定义，显式标注matcher2的类型
const matcher2: OrMatcher = new OrMatcher(
  new AndMatcher(new Matcher("("), new ProxyMatcher(() => matcher2), new Matcher(")")), 
  new Matcher("a")
);

const result2 = matcher2.tryMatch(); // typeof result2 是 MatchResult

方案2：使用类型断言 #

通过类型断言临时指定自引用的类型，绕过编译器的临时类型检查：

const test2 = new Test(42, () => test2 as Test);

const value2 = test2.fn().fn().value; // typeof value2 是 number

方案3：IIFE延迟初始化 #

利用立即执行函数表达式（IIFE）先声明变量，再完成赋值，避免初始化时的直接自引用：

const test2 = (() => {
  let instance: Test;
  instance = new Test(42, () => instance);
  return instance;
})();

const value2 = test2.fn().fn().value; // typeof value2 是 number

这种方式让TypeScript先确定变量的类型，再处理递归引用，能完美解决类型推断问题。

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