派生类错误：未定义类型

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。