Discussion :

[deubelte]

Bonjour

Je ne comprends pas les phrases suivantes du § 5.2.7, sur le dynamic_cast

If, in the most derived object pointed to by v, v points to a public base class suboject of a T object, and if only one object of type T is derived from the sub-object pointed to by v, the result is a pointer to that T object.

Si par exemple on a:

Code :

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

1
2
3
4
5
6
7
 
class A{};
class B: public A{};
class C: public A{};
class D: public virtual B, public virtual C{};
 
D d;

Dans d, qu'est ce que: "in the most derived object pointed to by v"?
Je ne comprends pas trop non plus la phrase:
"and if only one object of type T is derived from the sub-object pointed to by v"

Pouvez vous me donner un exemple svp?

Otherwise, if v points to a public base class sub-object of the most derived object, and the type of the most derived object has a base class, of type T, that is unambiguous and public, the result is a pointer to the T sub-object of the most derived object.

Idem, est-ce possible d'avoir un exemple qui illustre la différence?
Merci

[AF_2.8]

Le dynamic_cast, concerne les pointeurs.
Par exemple tu as une classe A, une classe A_1 et une classe A_2. A_1 et A_2 héritent de A.
Tu peux donc créer un tableau de pointeur sur A qui contiendras des objets de types A_1 et A_2.
Cependant si A_1 et A_2 ajoutent de nouvelles méthodes par rapport à A, tu ne pourras y accéder car tu as un tableau d'objet de type A*.
Si tu connais le type des objets dans ton tableau, c'est à dire que tu sais que A[0] est de type A_1 alors tu peux effectuer un dynamic_cast sur A[0] vers un pointeur de type A_1.

L'opérateur dynamic_cast permet de vérifier que le cast est bien possible lors de l'exécution du code.
Si on se réfère au livre de B. Stroustrup : "Un dynalic_cast peut effectuer une conversion d'une classe de base virtuelle polymorphique vers une classe dérivée ou une classe soeur."

Bref en résumé celà concerne uniquement les pointeurs. Et celà te dit que si un pointeur de type classe mère pointe en réalité sur une classe fille, alors le dynamic_cast sur le pointeur permettra d'obtenir un pointeur du type de la classe fille.