如何在OOP自举编译器中处理类型推断的前向引用问题

你的核心问题是变量声明顺序与依赖顺序相反，当前按AST书写顺序的遍历无法处理这种向前引用的类型推断。以下是具体解决思路：

1. 分离符号注册与类型推断阶段 #

把当前的遍历流程调整为：

• 第一轮遍历：仅收集所有类、变量、方法的符号（名字、作用域），不处理类型和初始化逻辑，确保所有符号都能被后续查询到（即使类型暂时标记为「未知」）。
• 第二轮遍历：解析类的类型链（泛型参数、继承关系等），比如先确定TestClass<E>的结构，明确构造函数、属性、方法的类型签名模板。
• 第三轮遍历：处理有明确初始化的变量（比如a = TestClass(1)），先完成这类变量的类型推断：
  • 根据构造函数TestClass(E name)的参数类型，结合传入的1（int类型），推断泛型参数E=int，因此a的类型是TestClass<int>。
• 第四轮遍历：处理依赖其他变量的初始化（比如c = a.name、d = a.test(1)），此时a的类型已经确定，可直接查询a.name的类型为int，a.test(1)的返回类型为int，从而完成c和d的类型推断。

2. 使用约束收集+约束求解的类型推断模型 #

如果需要更通用的类型推断能力（比如复杂泛型、多变量依赖），可以采用这种方式：

• 遍历AST时不直接推断类型，而是收集所有类型约束：
  • c的类型等于a.name的类型
  • a的类型是TestClass<E>
  • 构造函数参数name的类型E等于传入值1的类型（int）
  • d的类型等于a.test(1)的类型，而test方法的返回类型是E
• 收集完所有约束后，用约束求解器统一处理：将E绑定为int，进而推导出a: TestClass<int>、c: int、d: int。
  这种方式不依赖变量的声明顺序，只要约束逻辑自洽就能得到正确结果。

3. 临时处理：允许延迟报错 #

如果暂时不想重构整个遍历流程，可以修改符号查询逻辑：当查询到未知类型的变量时，不立即抛出错误，而是记录这个依赖关系，等后续遍历到该变量完成类型推断后，再回头补全依赖它的变量的类型。
比如处理c = a.name时，发现a类型未知，就把c加入「待补全」列表；等处理完a的类型推断后，再遍历「待补全」列表完成c的类型推断。

针对你的示例代码的具体执行流程 #

按分离阶段的方式：

1. 第一轮遍历：注册c、a、d三个变量符号，注册TestClass类及其构造函数、属性、方法符号。
2. 第二轮遍历：解析TestClass<E>的泛型结构，明确name属性类型为E，test方法参数和返回类型为E。
3. 第三轮遍历：处理a = TestClass(1)，推断E=int，设置a的类型为TestClass<int>。
4. 第四轮遍历：
   • 处理c = a.name：查询a的类型是TestClass<int>，name属性类型为int，因此c的类型为int。
   • 处理d = a.test(1)：查询test方法返回类型为int，因此d的类型为int。

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