C++模板基类与派生类循环依赖下的代码拆分问题求助

报错根本原因 #

C++ 模板的特性是，除非手动做了显式实例化，否则模板函数/类的实现必须在调用点可见，编译器才能根据传入的模板参数生成对应类型的实例代码。你把TemplatedBase<T>::go()的实现放到单独的cpp文件里，编译main.cpp的时候只能看到TemplatedBase.h里的声明，看不到实现，自然没法生成TemplatedBase<int>::go()的实例，就会报Undefined symbol错误。

你现在额外的问题是TemplatedBase<T>::go()依赖Derived类，而Derived又继承自TemplatedBase<int>，存在循环依赖，所以不能直接把go的实现放回TemplatedBase.h里，有两种成熟的解决方案：

方案一：显式实例化模板（适合TemplatedBase仅用于少数固定类型的场景） #

如果你确定TemplatedBase只会被int类型（也就是Derived用到的这个特化）或者有限几个类型实例化，直接在实现文件里显式声明要实例化的类型即可：

1. TemplatedBase.h 保留原声明不变：

template <typename T> struct TemplatedBase
{
  T value;
  
  void go();
};

2. 新建TemplatedBase.cpp 存放实现，末尾加显式实例化语句：

#include "TemplatedBase.h"
#include "Derived.h"

template <typename T> void TemplatedBase<T>::go()
{
  Derived der;
  der.hello();
}

// 显式实例化int类型的TemplatedBase，编译器会在此处生成对应实例的符号
template struct TemplatedBase<int>;

3. Derived.h 删掉TemplatedBase<T>::go()的实现，只保留Derived本身的定义即可：

#include "TemplatedBase.h"
#include <stdio.h>

struct Derived : public TemplatedBase<int>
{
  void hello()
  {
    printf("HI %d\n", value);
  }
};

这个方案改造成本最低，不需要调整原有继承结构，唯一的限制是如果后续要新增TemplatedBase<long>这类其他类型的特化，需要在TemplatedBase.cpp里补加对应的显式实例化语句。

方案二：用CRTP模式解耦基类和派生类（适合需要扩展多个派生类的场景） #

你现在的耦合问题根源是基类依赖具体的派生类Derived，不符合开闭原则。可以用CRTP（奇异递归模板模式）把派生类作为模板参数传给基类，彻底解耦：

1. TemplatedBase.h 调整为接受派生类作为第二个模板参数，实现直接写在头文件中：

template <typename T, typename DerivedType> 
struct TemplatedBase
{
  T value;
  
  void go()
  {
    DerivedType der;
    der.hello();
  }
};

2. Derived.h 继承时传入自身作为模板参数即可：

#include "TemplatedBase.h"
#include <stdio.h>

struct Derived : public TemplatedBase<int, Derived>
{
  void hello()
  {
    printf("HI %d\n", value);
  }
};

这个方案不需要单独的TemplatedBase实现文件，所有代码都放在对应头文件里，后续新增其他派生类只需要继承时传入自身类型即可，不需要修改基类代码，扩展性更强。

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