使用前向引用答案

【问题标题】：Using forward reference使用前向引用
【发布时间】：2012-07-19 00:43:55
【问题描述】：

我有一个圆形标题问题，与这里已经问过的大多数问题不同。我有两个相互依赖的类，但不是成员，所以不要遇到编译器无法计算类大小的问题。所以我可以使用前向声明来打破循环。

但是，我不希望客户端必须包含这两个标头才能使用我的类。标头应该是自包含的，因此用户不需要知道这种依赖关系。有没有办法做到这一点？

编辑：棘手的部分是 A 和 B 必须只定义标题。

在标题 A.hpp 中

#ifndef A_HPP
#define A_HPP

#include "B.hpp"

struct A
{
    B foo() { ... }
};

#endif

在标题 B.hpp 中

#ifndef B_HPP
#define B_HPP

struct A;

struct B
{
    void bar()
    {
        A a = A();
        ...
    }
};

#endif

在 main.cpp 中

#include "B.hpp"
B().bar(); // error: 'a' uses undefined class 'A'

【问题讨论】：

【解决方案1】：

标题 B.hpp

#ifndef B_HPP
#define B_HPP

struct A;

struct B
{
   void bar();
};

#endif

来源 B.cpp

#include "A.hpp"

void B::bar()
{
   A a;
}

编辑。因此，如果您想要仅实现标头，请使用 AndreyT 解决方案。

【讨论】：

【解决方案2】：

如果两个头文件都包含要求其他类型完整的代码，那么在一般情况下，它不可能由独立的头文件实现。

在您的具体示例中（太简单而无法代表），您可以简单地将定义 if B::bar 移动到 A.hpp：

inline void B::bar()
{
    A a = A();
    ...
}

当然，在A.hpp 中定义B 的方法看起来并不优雅。

如果B::bar 的“内联性”对您很重要，那么“工业”解决方案将涉及将B::bar 的定义放入额外的头文件B_aux.hpp。当您包含标题时，您应该在包含所有“正常”标题之后包含“辅助”标题，即在main.cpp 中您将拥有

#include "A.hpp"
#include "B.hpp"
#include "C.hpp"
...
#include "B_aux.hpp"
...

但这显然不是一种“自成一体”的方法。

【讨论】：

【解决方案3】：

只需将#include "A.hpp" 添加到B.hpp 的底部。你仍然会有一个循环包含，但现在它不会伤害任何东西。

【讨论】：

【解决方案4】：

通常循环包含表明这两种类型密切相关，这可能意味着它们是一个组件。如果是这种情况，那么只需将两个标头合并为一个组件的标头，首先是类型声明，最后是成员函数定义，当这两种类型都已完全定义时。

【讨论】：