继承和返回实例的循环依赖问题答案

【问题标题】：Circular dependency issues with inheritance and returning instances继承和返回实例的循环依赖问题
【发布时间】：2014-04-17 02:50:39
【问题描述】：

我在不同的标题中有两个类：

struct A {
    virtual B getB();
}

template<typename T>
struct Basic : public A {
}
typedef Basic<int> B;

两个标头需要相互包含，由于循环依赖，这并不理想。但是，A::getB() 返回一个实例，所以我不能转发声明以避免包含，并且 Basic 继承 A，所以它的处理相同。 Basic 必须继承 A，但 A 不需要 getB() 函数（尽管它非常可取）。
我必须避免循环依赖，但我是不是走错了路？

注意：A 类将被许多其他类继承，因此 getB() 是虚拟的。 Basic 是一个模板类，所以它的定义也在它的标题中。 getB() 必须返回一个实例（从 getB() 出来的任何东西都应该是 getB() 的本地内容，这就是它不能返回指针或引用的原因）。

【问题讨论】：

标签： c++ inheritance circular-dependency forward-declaration

【解决方案1】：

如果是按值返回，可以转发声明。

因此，在您的示例中，您必须执行以下操作：

template <typename> struct Basic;
typedef Basic<int> B;

struct A {
    virtual B getB();
};

【讨论】：

编译器在返回它之前不需要知道B的大小直到它被定义吗？
仅当您致电getB()时

【解决方案2】：

执行以下操作：

struct A {
    virtual B* getB();
}

即struct A 只能通过指针引用struct B。然后你可以通过在struct A的定义前前向声明struct B来解决这个问题。

澄清后更新：

您可以执行以下操作：

template <typename> struct Basic;
typedef Basic<int> B;

struct A {
    virtual B getB();
};

template<typename T>
struct Basic : public A {

};

// definitions of member functions for struct A below here!!!
B A::getB() { B b; return b;}

int main()
{
    A a;
    B b;

   return 0;
}

请记住，struct A 的成员函数的定义必须在 struct B 的定义之下。

【讨论】：

在“注：”下澄清。