Discussion :

[fcx35]

Bonjour,

En faisant un petit test, j'ai eu un comportement que je n'explique pas.

Le code suivant

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
class A {
public:
	int x;
	void printA() {
		printf("+ %p\n", this);
	}
};
 
class B: public A {
public:
	virtual ~B() {
	}
	void printB() {
		printf("+ %p\n", this);
	}
};
 
void test() {
	B b;
	b.printA();
	b.printB();
}

me retourne:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
+ 0022FED4
+ 0022FED0

Si je supprime mon "virtual ~B" ou que j'ajoute un "virtual ~A" ou que je supprime mon "int x", les deux "printf" retourne un "this" avec la même valeur.

Quelqu'un a une explication a ce comportement bizarre ? (Je pensais avoir un this toujours identique avec de l'héritage).

nb: je compile avec gcc.

[Médinoc]

Le problème, c'est que la classe B possède une fonction virtuelle (donc une vtable), et la classe A non.

Donc, la classe A n'a aucun pointeur de vtable, alors que la classe B doit en avoir un.

---> Résultat, A n'est pas le premier "membre" de B, ce qui produit un cas de décalage similaire à ceux rencontrés en cas d'héritage multiple.

[Médinoc]

En résumé, c'est comme si tu avais ceci:

Code C++ :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 class A {
public:
	int x;
	void printA() {
		printf("+ %p\n", this);
	}
};
 
class __virt
{
public:
	virtual ~__virt() { }
};
 
class B : public __virt, public A {
public:
	virtual ~B() {
	}
	void printB() {
		printf("+ %p\n", this);
	}
};

[fcx35]

Merci Médinoc, c'est clair.

J'ai rencontré ce problème en voulant construire du code d'arbre n-aire (parent/children) réutilisable dans toutes situations (écrire une fois pour toute des fonctions sur arbres (find recursif, ...)).

J'étais parti sur une conception de type:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
template<class T>
class TreeNode {
public:
	string name;
private:
	list<T> children;
	T* parent;
        ...

Avec une méthode "add" qui rajoute un noeud un fils en mettant "this" dans le champ "parent" du fils (pouvoir remonter dans l'arbre).

Ainsi, si je veux du code hiérarchique, je peux hériter de TreeNode ou bien alors avoir un TreeNode en membre.

Le coté "template" me permettait de travailler sur ma classe hiérarchique finale (et pas du TreeNode).

Je faisais quelques tests en ce sens pour me former les idées mais ce type de conception semble risqué en c++ si la valeur de "this" peut dépendre du contexte (pb ci-dessus, héritage multiple).

J'aime bien le c++ (par rapport a java et c#) mais il y a quand même pas mal de pièges :-(

Je vais réflechir encore à ma conception... Il y a peut être un design pattern qui en parle...

Merci encore.