如何解决C++中相互依赖的类模板问题？

你的代码存在编译问题：A<T>::doSomething() 中尝试创建 B<T> 对象并调用其成员函数，但此时 B<T> 仅完成前向声明，属于不完整类型。C++的两阶段查找规则会判定这段代码非法——模板定义阶段（第一阶段）编译器需要确认对 B<T> 的操作是否合法，而不完整类型不支持创建对象或直接调用成员函数这类操作。

由于模板类的成员函数通常需要在头文件中完整定义以支持实例化，不能像非模板类那样拆分到cpp文件中隔离依赖，这里提供几种通用解决方法：

1. 将成员函数定义移到依赖类的完整定义之后 #

这是最直接的解决方案：先完成两个类的前向声明和类体声明（仅声明成员函数），等依赖的类完整定义后，再实现成员函数。

示例代码：

// 前向声明两个模板类
template<typename> struct B;
template<typename T> struct A;

// 定义A的类体，仅声明成员函数
template<typename T> struct A {
    void doSomething(); // 只声明，不定义
    T t;
};

// 完整定义B类（此时A的类体已经存在，足够支持B中返回A<T>的操作）
template<typename T> struct B {
    void doSomething() {
        // 实现你的逻辑
    }
    A<T> createA() {
        A<T> a;
        // 初始化a的逻辑
        return a;
    }
};

// 现在B已经是完整类型，实现A的成员函数
template<typename T>
void A<T>::doSomething() {
    B<T> b{t}; // 合法，B<T>已完整定义
    b.doSomething(); // 合法
    // 其他逻辑
}

2. 使用指针/引用延迟完整类型依赖（场景受限） #

如果你的逻辑允许不直接创建B<T>对象，而是通过指针或引用操作，那么前向声明就足够支持指针/引用的声明。但如果必须创建B<T>对象，这种方法需要结合动态分配，且最终仍需确保分配时B<T>是完整类型：

#include <memory>

template<typename> struct B;

template<typename T> struct A {
    void doSomething() {
        // 动态分配B<T>，此时只需B的前向声明，但make_unique调用时需要B完整定义
        std::unique_ptr<B<T>> b = std::make_unique<B<T>>(t);
        b->doSomething();
        // 其他逻辑
    }
    T t;
};

// 完整定义B，包括构造函数
template<typename T> struct B {
    explicit B(T val) : t(val) {}
    void doSomething() {
        // 实现逻辑
    }
    A<T> createA() {
        return A<T>{};
    }
    T t;
};

注意：这种方法需要额外处理内存管理，仅适合确实需要动态对象的场景。

3. 拆分功能，降低类间直接依赖 #

如果两个类的相互依赖是局部逻辑导致的，可以把依赖的逻辑抽离到独立的辅助模板中，让A和B分别依赖这个辅助组件，而非直接依赖彼此。比如将A中调用B的逻辑拆成一个单独的模板函数，在B完整定义后实现：

template<typename> struct B;
template<typename T> struct A;

// 辅助模板函数声明
template<typename T>
void callBDoSomething(B<T>& b);

template<typename T> struct A {
    void doSomething() {
        B<T> b{t};
        callBDoSomething(b); // 仅调用辅助函数，无需B完整定义
        // 其他逻辑
    }
    T t;
};

template<typename T> struct B {
    void doSomething() {
        // 实现逻辑
    }
    A<T> createA() {
        return A<T>{};
    }
};

// 实现辅助函数，此时B已完整
template<typename T>
void callBDoSomething(B<T>& b) {
    b.doSomething();
}

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