C++类前向声明问题：类互相包含变量时编译报错原因

错误原因 #

你这段代码编译报错的核心问题在于前向声明的类属于「不完整类型」，无法直接用来定义成员对象：

• 代码开头的class Bar;只是告诉编译器「存在名为Bar的类」，但并没有提供Bar的完整定义（比如类的大小、内部成员等关键信息）。
• 当定义Foo类时，你直接声明了Bar b1;作为成员变量，此时编译器需要知道Bar的具体大小才能为Foo类分配内存空间，但Bar还是不完整类型，编译器无法确定其大小，因此抛出error: field 'b1' has incomplete type 'Bar'的错误。
• 而Bar类中的std::vector<Foo>能通过编译，是因为C++17及以后的标准允许容器（如vector）持有不完整类型的实例——vector内部通过指针管理元素，编译器不需要知道Foo的完整大小就能处理这个成员。

修复方法 #

把Foo类中的Bar成员改为指针（或智能指针）即可解决问题。因为指针的大小是固定的，编译器不需要知道Bar的完整定义就能处理：

#include <vector>
#include <memory> // 使用智能指针时需要引入该头文件

class Bar;

class Foo {
public:
    std::unique_ptr<Bar> b1; // 推荐用智能指针，避免手动管理内存导致泄漏
    // 也可以用原始指针：Bar* b1;
};

class Bar {
public:
    std::vector<Foo> f1;
};

如果一定要用对象而非指针，由于两个类互相依赖，无论调整哪个类的定义顺序，另一个类都会处于不完整状态，因此这种需求无法实现——指针/引用是解决此类循环依赖的唯一可行方案。

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