c++ - 在派生模板类中重新实现基类的虚函数

Question

我有一个具有虚函数的基类:

class Base {
   ...
   virtual void myFunction() { assert(0 && "not implemented yet"); }

}

以及 Base 的派生(模板)类:

DerviedClass.hpp:

Template<typename T>
class DerivedClass : public Base, public T {

  ...
  void myFunction();

}

派生类.cpp:

template <>
void DerivedClass<ClassA>::myFunction() {
 //Something ClassA is suppose to do
}

这可以编译。但是当我尝试实例化 DerivedClass<ClassB> 时我收到错误:

IProject.o:-1: erreur : undefined reference to `DerivedClass<ClassB>::myFunction()'

为什么我会出现这个错误？为什么不采取 Base::myFunction而不是强制我实​​现通用的 myFunction在DerivedClass或专门功能DerivedClass::myFunction ？

注意: myFunction 中的断言是因为 ClassB不应该打电话 myFunction期间runtime 。例如，如果 myFunction是 getRadius , DerivedClass<Circle>::getRadius()还可以，但是DerivedClass<Square>::getRadius()不应该被调用。

注2:我发现的其他主题对此并不清楚

Answer 1

Why it does not take Base::myFunction instead of forcing me to implement a generic myFunction in DerivedClass or a specialized function DerivedClass::myFunction?

你自己通过声明强制这样做:

void myFunction();

考虑完全专门化类模板，这将有条件地生成类，无论是否覆盖 myFunction，例如:

template <typename T>
class DerivedClass : public Base, public T {
    // not overriding    
};

template <>
class DerivedClass<ClassA> : public Base, public ClassA {
    void myFunction() override;
};

template <>
void DerivedClass<ClassA>::myFunction() {
    // something ClassA is supposed to do
}

---

如果有一些常见的东西，你可以把它放在:

template <typename T>
class DerivedClassCommons : public Base, public T {
    // common stuff
};

然后重构 DerivedClass 以使用此类模板的单一继承。

这就是您的问题，但正如其他人指出的那样，我认为您有一个更大的设计问题。