C++带虚函数的接口如何替代C的void*技巧解决类循环引用问题

方案一：优先用前向声明解决循环头依赖 #

绝大多数循环头文件依赖问题不需要引入额外的接口层，通过前向声明即可解决：如果头文件中仅用到某类的指针、引用，或仅将该类作为函数参数/返回值类型，不需要访问类成员、不需要知道类内存布局的场景，无需引入对应类的头文件，只需提前声明类名即可，具体的实现依赖放在cpp文件中处理。
示例代码如下：

Foo.h 头文件 #

#ifndef FOO_H
#define FOO_H
class Bar; // 前向声明Bar类，无需引入Bar.h
class Foo {
public:
    Foo(Bar* b);
    Foo* newFoo();
    void doFoo();
private:
    Bar* bar_ptr;
};
#endif

Bar.h 头文件 #

#ifndef BAR_H
#define BAR_H
class Foo; // 前向声明Foo类，无需引入Foo.h
class Bar {
public:
    Bar(Foo* f = nullptr);
    void doBar();
private:
    Foo* foo_ptr;
};
#endif

实现文件（Foo.cpp/Bar.cpp） #

在cpp实现文件中才引入对应头文件，不会出现循环依赖问题：

// Foo.cpp
#include "Foo.h"
#include "Bar.h"
Foo::Foo(Bar* b) : bar_ptr(b) {}
// 其他成员函数实现

方案二：抽象接口+工厂方法（需隐藏实现的场景） #

如果你需要彻底解耦、隐藏Foo的内部实现细节，避免上层代码依赖Foo的具体定义，可以用抽象接口+工厂方法的方案，该方案是C++中对等于你C语言void*方案的类型安全实现，不会出现类型转换错误。

正确的抽象接口定义 #

// FooInterface.h
#ifndef FOO_INTERFACE_H
#define FOO_INTERFACE_H
class Bar; // 前向声明Bar类
class FooInterface {
public:
    // 必须定义虚析构函数，避免内存泄漏
    virtual ~FooInterface() = default;
    // 接口方法定义
    virtual void doFoo() = 0;
    // 静态工厂方法，用于创建实例
    static FooInterface* create(Bar* b);
};
#endif

内部实现（上层代码完全无感知） #

// FooImpl.cpp
#include "FooInterface.h"
#include "Bar.h"
// 具体实现类，不对外暴露
class Foo : public FooInterface {
public:
    Foo(Bar* b) : bar(b) {}
    void doFoo() override {
        // 具体业务逻辑实现
    }
private:
    Bar* bar;
};
// 实现工厂方法
FooInterface* FooInterface::create(Bar* b) {
    return new Foo(b);
}

上层调用示例 #

#include "FooInterface.h"
#include "Bar.h"
int main() {
    Bar* bar = new Bar();
    // 上层仅依赖接口，完全不知道Foo的存在
    FooInterface* fi = FooInterface::create(bar);
    fi->doFoo();
    delete fi; // 虚析构保证正确释放资源
    delete bar;
    return 0;
}

C++11及以上版本推荐用智能指针自动管理内存，工厂方法可返回std::unique_ptr<FooInterface>，无需手动释放资源。

相关最佳实践 #

• 优先用前向声明解决循环依赖：90%以上的循环头依赖都可以通过前向声明解决，不需要额外引入接口层增加复杂度。
• 遵循依赖倒置原则：抽象接口仅依赖其他抽象或基础类型，不要依赖具体实现类，彻底实现上层与下层实现的解耦。
• 工厂方法封装实例创建逻辑：将具体实现类的创建逻辑封装在接口的静态工厂方法中，上层仅需和接口交互，完全感知不到实现类的存在。
• 抽象接口必须定义虚析构函数：避免子类实例通过基类指针释放时出现未定义行为、内存泄漏问题。
• 禁止用C风格void做类型擦除：C++的抽象接口方案是编译期类型安全的，不会出现void强制转换导致的非法访问问题，可维护性也远高于void*方案。
• 构造函数不能定义为虚函数：C++不支持虚构造函数，实例创建的需求通过工厂方法实现即可。

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