仅用两个头文件时，如何通过模板解决C++类的循环依赖问题？

问题背景 #

EventEntry<Typespec>与Event<Typespec>互相包含头文件形成循环依赖，希望找到无需拆分文件或复杂操作的解决方案，否则将恢复旧版双模板参数的实现。

可行方案（无需拆分文件） #

通过前向声明模板类替代直接包含头文件，调整代码顺序即可解决：

修改EventEntry.hpp #

// 前向声明Event模板，无需包含完整头文件
template<class Typespec>
class Event;

template<class Typespec>
class EventEntry{
    EventEntry(int priority, Event<Typespec>&& event); 

    // ...

    std::unique_ptr<Event<Typespec>> eventPtr;
};

// 在需要访问Event完整定义的实现代码前，包含Event.hpp
#include "Event.hpp"
template<class Typespec>
EventEntry<Typespec>::EventEntry(int priority, Event<Typespec>&& event)
    : eventPtr(std::make_unique<Event<Typespec>>(std::move(event))) {}

修改Event.hpp #

// 前向声明EventEntry模板
template<class Typespec>
class EventEntry;

template<class Typespec>
class Event{
    // ...

    virtual void render(EventEntry<Typespec>& entry, ...) = 0;
};

// 若Event的成员函数需要访问EventEntry内部细节，在此处包含EventEntry.hpp
#include "EventEntry.hpp"

方案原理 #

模板类的前向声明对于指针、引用类型的依赖完全足够，不需要完整的类定义。仅在需要访问类内部成员（如调用方法、访问成员变量）的代码位置前，确保类的完整定义可见即可——这里通过在成员函数实现前包含对方头文件来满足要求。

备选方案 #

如果不想使用前向声明，恢复旧版的双模板参数方案（EventEntry<BaseEvent, Typespec>）确实可行，通过模板参数传递依赖关系，从根源上避免循环包含问题。

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