Наследование с использованием CRTP

Question

У меня есть эти 3 класса.

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; 
} 

И печатает: "В C".

Если я сделаю это,

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

    return 0; 
} 

Это снова печатает "В С"

Что происходит?

Answer 1

Вы вызываете функцию виртуального члена объекта класса C, который перегрузил эту функцию. Он вызывает функцию в классе C.

Кроме того, это не CRTP, поскольку шаблонный класс B не наследуется от параметра шаблона класса.

Answer 2

Func является виртуальным, a является указателем на экземпляр C, поэтому версия FuncC «s называется.

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 
    } 
};