Discussion :

[LoDev]

Salut à tous,

on m'a soumis un problème de compil hier soir. Le soucis est résolu, mais j'ai un doute sur l'explication que j'ai fourni.

Le code présentait à mon sens 2 implémentations douteuses.

4 fichiers : A.h A.cpp B.h et B.cpp

1. Malgré les ifndef, A.h incluer B.h et vice versa.
2. Dans A.h, la classe avait un objet B.

A la compilation du fichier B.cpp, le type B n'était pas reconnu.

Venant du C, mon idée est que le compilo ne connait pas encore la classe B.
Dans B.h, j'inclus A.h, donc ma classe B apparait à la compilation de B.cpp, mais B n'est pas encore défini, car il apparait plus bas dans le code.
Je voudrais savoir si en C++, le compilo peut compiler, sans pour le moment connaître l'objet et que l'erreur vient du fait que A.h inclue B.h (vice versa), de cette déclaration avant la définition de l'objet, voir les 2.

Au final, on a supprimé A.h de B.h... le tour était joué.

Merci.

[Davidbrcz]

regarde du coté de la forward déclaration (présent dans la FAQ du site).

[LoDev]

Merci, ça aurait aussi résolu le problème.

J'en déduis que l'on peut (par cette notion de forward) faire des appels croisés entre class. Mais sans ça, le compilateur ne retrouve pas la classe appelée.

[koala01]

Salut,

Merci, ça aurait aussi résolu le problème.

J'en déduis que l'on peut (par cette notion de forward) faire des appels croisés entre class. Mais sans ça, le compilateur ne retrouve pas la classe appelée.

Je dirais que tu peux effectivement avoir des appels croisés, tant que le compilateur n'a pas besoin de connaitre le contenu réel "l'autre classe"...

Le compilateur lit le code un peu à la façon dont tu lis un roman: lorsque tu est à la page 10, tu ne sais rien de ce qui se trouve à la page 12, mais tu "connait" ce qui s'est passé avant...

Le compilateur fonctionne de la même manière.

Dés lors, tant que tu te contente de déclarer un argument ou une valeur de retour sous la forme d'une référence (constante ou non), ou que tu déclare un pointeur sur une instance d'une classe dont le compilateur sait qu'elle existe (car les pointeurs ont tous la même taille, quelle que soit la taille de l'objet réellement pointé), il n'y a pas de problème.

Par contre, dés le moment où il s'agit d'accéder au contenu de la classe (que ce soit au travers de ses fonctions membres ou des membres eux-mêmes), il faut que le compilateur sache que le membre ou la fonction membre existe...

Il doit donc disposer... de la déclaration de ce membre ou de cette fonction membre, et donc... disposer de la définition d'une classe.

De même, pour pouvoir utiliser une instance de la classe, il doit savoir l'espace que l'objet utilisera en terme de mémoire, or la déclaration anticipée ne suffit pas pour lui permettre de calculer cet espace... Le compilateur a donc, là aussi, beson de la définition complète de la classe