继承共享库非特化模板遇未解析外部符号问题求助

这个问题我之前碰到过类似的，咱们一步步拆解来搞清楚到底是怎么回事：

核心原因：基类模板的虚析构函数缺少定义 #

先看你给出的共享库中EventHandler模板的代码：

template <typename T> class EventHandler { 
public: 
    virtual ~EventHandler(); // 只有声明，没有实现！
    virtual EventResult ReceiveEvent(T * evn, EventDispatcher<T> * dispatcher) = 0; 
};

这里有个很容易忽略的点：虚析构函数哪怕是纯虚的，也必须有定义。因为当派生类对象被销毁时，会递归调用基类的虚析构函数，编译器需要找到这个函数的实现。你的基类模板只声明了析构函数，没写定义，当你在自己的代码里继承EventHandler<SomeEventType>时，编译器要实例化这个特化版本的析构函数，但找不到它的实现，自然就抛出「Unresolved External Symbols」错误了。

而你手动特化模板时，补了析构函数的空实现：

template <> class EventHandler<SomeEventType> { 
public: 
    virtual ~EventHandler() {} // 这里补上了定义！
    virtual EventResult ReceiveEvent(SomeEventType * evn, EventDispatcher<SomeEventType> * dispatcher) = 0; 
};

这就解决了编译器找不到析构函数的问题，所以代码能正常跑起来。

为什么在共享库源码里直接继承没问题？ #

大概率是因为在库的编译环境中，析构函数的定义被间接提供了：

• 可能你在库的某个.cpp文件里，已经给EventHandler模板的析构函数写了通用实现，比如：

  // 库的某.cpp文件中
  template <typename T>
  EventHandler<T>::~EventHandler() {}
  

  这种情况下，库编译时会自动实例化你测试用的EventHandler<SomeEventType>版本，所以在库内部继承没问题。但如果共享库没有把这个特化版本的符号导出，或者外部代码触发了新的特化，就会出现找不到符号的问题。
• 也有可能你在库源码测试时，编译器在同一个编译单元里自动生成了析构函数的默认实现（不过严格来说，手动声明了虚析构函数后，编译器不会自动生成默认定义，所以前者的可能性更大）。

关于命名空间的影响 #

你的派生类在命名空间里，这本身一般不会导致这个问题，但可以做两个排查：

• 确保基类模板的命名空间引用正确：如果EventHandler不在你的派生类所在的命名空间，继承时要明确指定，比如public ::EventHandler<SomeEventType>（如果基类在全局命名空间），避免编译器因为命名空间查找规则找不到正确的基类。
• 检查是否有命名冲突：比如你的命名空间里有没有和EventHandler同名的类/模板，导致编译器解析错误。

不过从你特化后就能正常运行的情况来看，命名空间不是主要问题，但可以作为后续排查的备选方向。

最优解决方案 #

你完全不需要手动特化模板，只需要修改共享库中的EventHandler模板，给虚析构函数补上定义就行：

template <typename T> class EventHandler { 
public: 
    virtual ~EventHandler() = default; // C++11及以上可用，或者直接写空实现 {}
    virtual EventResult ReceiveEvent(T * evn, EventDispatcher<T> * dispatcher) = 0; 
};

或者在库的某个.cpp文件中提供析构函数的模板实现：

template <typename T>
EventHandler<T>::~EventHandler() {}

这样，外部代码继承任意特化版本的EventHandler时，编译器都能找到析构函数的定义，不会再报未解析符号的错误。

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