如何用具有模板规范的类继承模板抽象类

Question

我有一个在 linux 上构建到静态库的项目，然后我想将其包含在单元测试项目和应用程序项目中。

在这个库中，我有类似的东西：

template<class T> class A
{
public: 
    virtual T doStuff() = 0;
    virtual void doOther(T a) = 0;
protected:
    A() { ... }
};

class B : public A<int>
{
public:
    B() { ... }
    virtual int doStuff() { ... }
    virtual void doOther(int a) { ... }

};

我收到编译错误：undefined reference to A<int>::A() 在我的库中。 我猜它与模板生成有关，我也可以像这样覆盖虚函数吗？

Answer 1

模板是在编译期间生成的，需要在它们原型化的同一个翻译单元中实现。因此，如果要包含模板类的声明，则还需要包含定义。

因此，谨慎的做法是将声明和定义放在同一个头文件中，这样，任何打算使用它的模块在编译时都可以根据需要生成定义。

参考：

14.7.2 显式实例化 [temp.explicit]

对于给定的模板参数集，如果显式实例化 模板出现在显式特化声明之后 对于该模板，显式实例化无效。 否则，对于显式实例化定义的定义 函数模板、成员函数模板或成员函数 或类模板的静态数据成员应存在于每个 在其中显式实例化它的翻译单元。