如何实现Divide、Expression、GroupExpression三类的互相类型引用？

首先，你的代码存在两个核心问题：循环依赖导致的声明顺序冲突，以及继承+成员嵌套带来的无限递归类大小问题，后者会直接导致编译器报错，所以原设计不可行，需要调整。

一、问题本质 #

1. 声明顺序冲突：Divide需要GroupExpression的定义才能声明其成员对象，但GroupExpression又继承自Divide，继承要求基类Divide必须先完整定义，形成死循环。
2. 无限递归类大小：如果Divide包含GroupExpression对象，而GroupExpression是Divide的子类（包含Divide的所有成员），那么Divide的大小会包含GroupExpression的大小，而GroupExpression又包含Divide的大小，编译器无法计算合法的类大小。

二、修正方案 #

要解决这个问题，核心是用指针/智能指针代替直接对象成员，打破循环依赖的完整定义要求，同时调整类的声明和定义顺序：

1. 前向声明

先声明所有涉及的类，让编译器知道这些类的存在，不需要立即知道它们的完整定义：

#include <vector>
#include <memory> // 用于智能指针

// 前向声明
class GroupExpression;
class Expression;

2. 定义Divide类

用智能指针（推荐std::unique_ptr）存储GroupExpression成员，因为指针只需要前向声明即可，不需要完整类定义：

class Divide{
public:
    // 使用智能指针避免手动管理内存，也可以用原始指针（需注意内存泄漏）
    std::unique_ptr<GroupExpression> numerator;
    std::unique_ptr<GroupExpression> denumerator;
    
    // 构造、析构等成员函数可以在类外定义（当GroupExpression完整定义后）
    Divide();
    ~Divide();
};

3. 定义Expression类

此时Divide已经完整定义，直接声明Divide对象成员即可：

class Expression{
public:
    Divide pow;
    Divide multiple;
    //... 其他成员
};

4. 定义GroupExpression类

现在Divide和Expression都已完整定义，继承和vector<Expression>成员都能正常编译：

class GroupExpression : public Divide{
public:
    std::vector<Expression> group;
    //... 其他成员
};

5. 补充Divide成员函数的定义（如果需要）

如果Divide的成员函数需要访问GroupExpression的成员，要在GroupExpression完整定义后再实现：

Divide::Divide() {
    // 可以在这里初始化numerator和denumerator
    numerator = std::make_unique<GroupExpression>();
    denumerator = std::make_unique<GroupExpression>();
}

Divide::~Divide() = default;

三、设计可行性说明 #

调整后的设计是可行的：

• 用智能指针打破了Divide和GroupExpression之间的循环完整定义依赖；
• 继承关系和成员关系的逻辑保持了你的需求：GroupExpression作为Divide的子类，Expression包含Divide，Divide指向GroupExpression；
• 避免了无限递归的类大小问题，编译器能正常计算每个类的内存布局。

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