C++抽象基模板类的非空化方法

Question

template <typename T>
T& AbstractBaseClass<T>::function(){
return T();
}

template <typename T>
T& AbstractBaseClass<T>::function(){
return T& tmp= T();
}

但是两者似乎都不起作用，我不能不定义这些函数，因为我得到了函数的未定义引用错误。我假设这个错误是因为函数是模板。实现非空纯虚函数的适当方法是什么？

template <typename T>
class AbstractBaseClass{
public:
virtual ~AbstractBaseClass() = 0;
T& function();
}

template <typename T>
T& AbstractBaseClass<T>::function(){
    //what must I do here when I don't have any member variable
}

Answer 1

下面是一个纯虚函数和实现它的派生类的示例（为了清楚起见，省略了一些成员函数）：

template <class T>
class Base
{
   public:
     virtual T& get() = 0;
     virtual ~Base() = 0;
};

template <class T>
Base<T>::~Base() {}

template <class T>
class Derived: public Base<T>
{
   T t;
   public:
     T& get() override { return t; }
};

请注意base中的get()没有实现，而derived中的get的实现使用了base中不可用的新数据成员。

还要注意，与其他纯虚函数不同，纯虚析构函数必须有一个实现。通常，如果类中有其他纯函数，则不需要纯虚析构函数。这里显示它是为了说明。