Que signifient les déclarations suivantes?

Question

J'ai une classe B qui a hérité de la classe A, mais je ne comprends pas pourquoi la classe B déclare de cette manière.

class B : public A <B> 
{ 
public: 
    ... 
}; 

template <class T> 
class A 
{ 
public: 
     .... 
} 

Answer 1

Comme déjà souligné par PeterT, c'est le curiously recurring template pattern (CRTP). C'est un moyen d'implémenter le polymorphisme statique en C++ car la classe de base A a des connaissances sur la sous-classe B et ses types et états (internes). Par exemple, la logique A peut renvoyer des objets du bon type qui ne seraient pas possibles avec le polymorphisme dynamique. Par exemple, la logique A peut renvoyer des objets du bon type. CRTP permet de déplacer cette logique vers la classe de base où le polymorphisme dynamique nécessiterait des fonctions virtuelles dans la classe dérivée pour traiter le bon type approprié à B.

Une explication plus détaillée est donnée here.

Answer 2

La classe A est une classe modèle. Donc, tout en héritant, B doit fournir une valeur pour l'argument templae T, qui dans ce cas est «B». Mais vous devez placer la définition de classe de A avant B, sinon il y aura une erreur de compilation.