如何实现两个类互相持有对方实例的类结构？

你给出的代码会触发编译错误，原因是：

虽然对class b做了前向声明，但类a中直接声明b var;作为成员变量时，编译器需要知道b的完整定义来确定a的内存大小，前向声明仅告知编译器b是一个类，无法提供足够信息；同理类b中的a var;也会出现同样问题，最终导致编译失败。

要实现这种互相持有的结构，需要使用指针或引用（指针更常用），因为指针/引用的内存大小是固定的，前向声明足够让编译器识别它们的类型。

方案1：使用原始指针（需手动管理内存） #

// 前向声明class b
class b;

class a
{
    // 用指针代替直接实例，编译器仅需知道b是类类型即可
    b* var;
public:
    // 构造、析构函数在类外实现，此时已能获取对方的完整定义
    a();
    ~a();
};

class b
{
    a* var;
public:
    b();
    ~b();
};

// 类外实现构造逻辑，避免在类内定义时对方未完成声明
a::a() : var(new b()) {}
a::~a() { delete var; }

b::b() : var(new a()) {}
b::~b() { delete var; }

方案2：使用智能指针（自动管理内存，推荐） #

C++11及以上可以用std::unique_ptr或std::shared_ptr避免手动内存管理，但要注意循环引用问题（若用shared_ptr，需配合weak_ptr打破循环）：

#include <memory>

class b;

class a
{
    std::unique_ptr<b> var;
public:
    a();
};

class b
{
    std::unique_ptr<a> var;
public:
    b();
};

a::a() : var(std::make_unique<b>()) {}
b::b() : var(std::make_unique<a>()) {}

注意：上述构造函数会触发无限递归创建对象，实际使用中需调整逻辑，比如不在构造时直接初始化对方实例，而是在后续业务流程中赋值。

补充：使用引用的限制 #

引用也能实现，但引用必须在初始化时绑定对象，且无法重新赋值，灵活性远低于指针，仅在特定场景适用。

内容的提问来源于stack exchange，提问作者user28112839