C++ Déclaration avant pour la fonction virtuelle

Question

J'ai une hiérarchie de classes et j'écris une fonction virtuelle. Disons qu'il ya trois classes

class A { virtual A* test(); }; (File A.h) 

class B : public A { virtual C* test(); }; (File B.h) 

class C : public A {}; (File C.h) 

Maintenant, est-il possible pour moi d'éviter d'inclure dans C.hB.h, en faisant une sorte de déclaration avant en disant que C est une sous-classe de A?

Merci, Gokul. C/C++ fait la distinction entre les types complets et les types incomplets

Answer 1

Vous pouvez dire au compilateur que trois choses, de trois façons différentes, sur une classe C:

• Qu'il existe. Vous faites cela en déclarant à l'avance la classe.
• Comment est-il structuré. Vous faites cela en déclarant la classe.
• Comment il se comporte. Vous faites cela en définissant les fonctions membres de la classe.

Si vous voulez dire au compilateur ce dont la classe dérive, alors vous parlez de la façon dont la classe est structurée. Vous devez ensuite montrer au compilateur la déclaration de la classe, il n'y a pas d'autre moyen. Pourquoi le besoin de ne pas inclure C.h dans B.h?

Answer 2

Si vous en avant-déclariez class C comme ceci:

class C; 

Il sera disponible en tant que type incomplet, ce qui signifie que vous pouvez déclarer un pointeur vers elle. Cependant, vous ne pouvez pas le sous-classer tant que C n'est pas entièrement déclaré, car C est un type incomplet à ce stade.

Vous pouvez utiliser class C en ligne où vous utiliseriez simplement C. Ce que vous voulez est:

class B : public A { virtual class C* test(); }; 

Answer 3

Il n'y a aucune raison de préciser B :: test() en retour d'un C * parce qu'un * C sera toujours baissés à A * et tout client faisant une utilisation correcte de l'interface à A attendra un A *. Si les clients de B n'attendent que C *, ils doivent soit appeler une fonction différente, soit prendre la responsabilité de s'assurer que les A * renvoyés retournent dans un C * en utilisant dynamic_cast.

Il est également très bien de déclarer la classe C avant la classe A et d'avoir A :: test() retourner un C * - le sous-classement ne fait aucune différence lors de la déclaration de pointeurs sur des types incomplets dans ce cas.