使用CRTP继承

Question

我有这三节课。

class A  
{  
    public:  
        virtual void Func() = 0;  
};

template<class T>  
class B : public A  
{  
    public:  
        void Func()  
        {  
            cout << "In B" << endl;  
            static_cast<T*>(this)->Func();  
        }  
};  

class C : public B<C>  
{  
    public:  
        void Func()  
        {  
            cout << "In C" << endl;  
        }  
};  

然后，我这样做：

int main(int argc, char **argv)  
{  
    A *a = new C;  
    a->Func();  

    return 0;  
}  

它打印出："In C“。

如果我这么做了，

int main(int argc, char **argv)  
{  
    B<C> *a = new C;  
    a->Func();  

    return 0;  
}  

它再次打印"In C“

怎么一回事？

Answer 1

您正在调用一个重载了此函数的C类对象的虚拟成员函数。它调用C类中的函数。

此外，这不是CRTP，因为模板化的类B不是从类模板参数继承的。

Answer 2

Func是虚拟的，a是指向C实例的指针，因此C版本的Func被调用。

Answer 3

代码不完整，请添加#include和"using namespace std;“。更重要的是，您可以通过删除A中的虚函数声明来获得所需的行为。通常，使用CRTP的主要原因是让模板知道它接收的类型，并避免进行虚调用(或者更好的做法是避免将方法设为虚的)。

template <typename T>
class ClassUsingSomething {
  public:
    void method1() {
      // I need to call method2, I do this by casting, so it doesn't need to be virtual.
      static_cast<T *>(this)->method2();
    }
};

class A: public ClassUsingSomething<A> {
  public:
    void method2() {
      //do something
    }
};