派生類錯誤：未定義類型

Question

代碼如下所示：

class B {/*something*/}; 

class D1: public B { 
public: 
void set() = 0; 
friend int D2::get(D1&); 
private: 
int a; 
} 
class D2: public B { 
public: 
int get(D1& d) {return d.a;} 
} 

我已經包含在這兩個派生類的.h文件（"D1.h" and "D2.h"），也有 「D2.h」 在D1，D2中"D1.h""B.h" .. 。但不斷收到編譯錯誤：

...\D2.h ... use of undefined type D1 

那麼我在做什麼錯了？謝謝。

Answer 1

您創建了一個圓形夾雜：你包括D1.h爲D2.h，你還包括D2.h爲D1.h。循環包容從未起作用，從未達到任何目的。

你的循環包含是類定義之間循環依賴的直接後果。在你的代碼中，這兩個類的定義都是相互引用的，要求這兩個類的類型都是完整的（要完全定義）。這意味着無論你做什麼，你的代碼都是無法編譯的。您需要打破類定義之間的循環依賴關係。

在你的情況下，可以通過以下方式來完成。

保持D1.h不變，即將D2.h保持爲D1.h，並保持類D1的定義原樣。

然而，不包括D1.h到D2.h而是引入D1預先聲明爲D2.h

class D1; 

變化D2的定義

class D2: public B { 
public: 
    int get(D1& d); 
}; 

注意：不要試圖去定義方法get正確定義類D2。你必須搬遷的D2::get定義一些其他的地方，那裏的D1完整定義也是可見的（就像D2.cpp例如，其中應包括D1.h和D2.h）

int D2::get(D1& d) 
{ 
    return d.a; 
} 

就是這樣。通過這種方式定義D2::get的副作用是它變爲非內聯。如果你真的想保持它內聯，你必須把它定義爲

inline int D2::get(D1& d) 
{ 
    return d.a; 
} 

，並確保它是某種只包括後的D1完整定義。例如，您可以將它放在第三個頭文件（D2_aux.h或類似的東西）中，並記住在之後包括它D1.h。

當然，嘗試解決此問題的更好方法是重新考慮整個設計。你真的需要D1內的朋友聲明嗎？也許你應該以某種方式重新設計你的代碼，以消除這個朋友聲明的需要，從而消除這種依賴性。

---

或者，您也可以通過改變D1.h並保持D2.h不變解決。然而，跟着你將有一個更徹底的和寬鬆的

friend class D2; 

，以取代「細粒度」 friend聲明

friend int D2::get(D1&); 

和D1.h去除D2.h列入該路徑。

前朋友聲明要求類D2是完整的，這實際上是創建「不可破壞」的依賴關係。後面的聲明不需要D2是完整的。

Answer 2

如果D1的定義取決於D2和D2的定義取決於D1，那麼你就需要轉發參考都類：

class B; 
class D1; 
class D2; 

Answer 3

在點是代碼提到D2沒有發生過任何事情說什麼D2是（編譯器不希望弄清楚）。所以你需要通過在D1的定義開始之前加上class D2;來告訴編譯器什麼是D2。