[問題] compiler 該如何處理這種 circular dependency

[macbuntu (邀怪)]

以 java 的語法為例 (這種 dependency 是合法的):

class A {
    void funcA(B b) {
        b.funcB(this);    // A depends on B
    }
}

class B {
    void funcB(A a) {
        a.funcA(this);    // B depends on A
    }
}

Compiler 在處理 A 的時候, 必須知道 B 的定義才能處理 b.funcB(),
但是要定義 B, 又必須知道 A 的定義才能處理 a.funcA()...

我現在寫的 compilier 是先掃第一次只定義所有型別的介面, 再掃第二次
處理 method 內的 statements; 但是在處理 statements 的時候可能會遇到
新的型別, 就又要回去定義, 整個架構變得有點亂...
想問問有沒有人知道一般 compiler 是用什麼架構處理這種問題的?

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 60.251.144.115
推 noctem:我知道有些 compiler 會在第一個 pass 先把 interface 的
→ noctem:相關資訊寫到一個檔案裡面，然後再做第二個 pass.
→ noctem:基本上都是要兩個 pass 囉..?
→ Schelfaniel:為什咩掃第二次時會出現新的型別??
推 godfat:因為實作裡可能用到介面沒出現的型別？
→ godfat:所以掃型別時，可能要連實作都要掃，不能只看介面？
→ macbuntu:對, 譬如實作裡出現 Foo o; 宣告, 這個 Foo 就是新的
→ macbuntu:在所有型別介面沒確定前, 直接掃實做也不行, 譬如
→ macbuntu:X.Y.Z(); 就無法知道 Y 是 package 還是 field name,
→ macbuntu:得定義完 X 才能確定, 所以也沒辦法第一次就連實做掃 :(
→ Schelfaniel:可是型別不是會要事先宣告??
→ Schelfaniel:Java 有 package 名稱建議小寫，大概就是怕混淆。
推 godfat:宣告也是在實作裡宣告，沒寫在介面上，至於 package...
→ godfat:我想這大概是為什麼 ActionScript 強迫你用 import 吧 :s