Multi-héritage de pointeur C++

Question

J'écris du code impliquant l'héritage d'une classe de base de pointeur de comptage de ref; et quelques complexités de C++ ont surgi. Je l'ai réduit comme suit:

Supposons que j'ai:

class A{}; 
class B{}; 
class C: public A, public B {}; 

C c; 
C* pc = &c; 
B* pb = &c; 
A* pa = &c; 

// does pa point to a valid A object? 
// does pb point to a valid B object? 

// does pa == pb ? 

En outre, le fait:

// pc == (C*) pa ? 
// pc == (C*) pb ? 

Merci!

Answer 1

• Est-ce que pa indique un objet A valide?
• pb pointe-t-il sur un objet B valide?

Oui, le C* est converti afin que pa et pb pointent vers les bonnes adresses.

• fait pa == pb?

Non, généralement pas. Il ne peut pas y avoir un objet A et un objet B à la même adresse.

De plus, est-

• pc == (C *) par an?
• pc == (C *) pb?

Le casting convertit les pointeurs de retour à l'adresse de l'objet C, afin que les deux égalités sont vraies.

Answer 2

pc == pa; 
pc == pb; 

Non défini, dépend de la structure de la classe.

pc == (C*) pa; 
pc == (C*) pb; 

Ceci est correct.

pa == pb; 

No.

-ils pointent vers des objets valides?

Yes 

Answer 3

C intègre un A et un B.

class C: public A, public B {}; 

est très similaire au code C

struct C { 
    A self_a; 
    B self_b; 
}; 

et (B*) &c; est équivalent à static_cast< B* >(&c) est similaire à &c.self_b si vous utilisiez C. droite

En général, vous ne pouvez pas compter sur des pointeurs à différents types étant interchangeables ou comparables.

Answer 4

Ce que vous obtenez est quelque chose comme ça en mémoire

---------- 
| A data | 
---------- 
| B data | 
---------- 
| C data | 
---------- 

Donc, si vous voulez que l'ensemble de l'objet C, vous aurez un pointeur au début de la mémoire. Si vous voulez seulement la partie A, vous obtenez la même adresse puisque c'est là que se trouvent les membres de données. Si vous voulez la partie "B" vous obtenez le début + sizeof (A) + sizeof (tout ce que le compilateur ajoute pour vtable). Ainsi, dans l'exemple, pc! = Pb (pourrait être pc! = Pa) mais pa n'est jamais égal à pb.

Answer 5

Item 28 Meaning of Pointer Comparison en C++ Common Knowledge: Essential Intermediate Programming) explique la clé du pointeur d'objet en C++:

En C++, un objet peut avoir plusieurs adresses valides, et la comparaison de pointeur n'est pas une question sur les adresses. C'est une question sur l'identité de l'objet.

Jetez un oeil sur le code:

class A{}; 
class B{}; 
class C: public A, public B {}; 

C c; 
C* pc = &c; 
B* pb = &c; 
A* pa = &c; 

class C aussi bien de ses class A et class B, donc class C est à la fois class A et class B. l'objet C c a 3 adresses valides: adresse pour class A, class B et class C. La mise en œuvre dépend du compilateur, de sorte que vous ne pouvez pas assumer la mise en page de mémoire de class C, et il peut comme ceci:

---------- <- pc (0x7ffe7d10e1e0) 
|  | 
---------- <- pa (0x7ffe7d10e1e4) 
| A data | 
---------- <- pb (0x7ffe7d10e1e8) 
| B data | 
---------- 
| C data | 
---------- 

Dans le cas ci-dessus, bien que la valeur d'adresse de pc, pa et pb ne sont pas identiques, ils se réfèrent tous au même objet (c), donc le compilateur doit s'assurer que pc compare égale à la fois pa et pb, soit pc == pa et pc == pb. Le compilateur effectue cette comparaison en ajustant la valeur de l'un des pointeurs comparés par le décalage approprié. Par exemple,

pc == pa 

est traduit:

pc ? ((uintptr_t)pc + 4 == (uintptr_t)pa) : (pa == 0) 

, entre autres, depuis A et B ont aucune relation d'héritage, nous ne pouvons pas comparer directement pa et pb.

Pour vos questions:

(1) does pa point to a valid A object? 
(2) does pb point to a valid B object? 
Yes, refer the above diagram. 

(3) pc == (C*) pa ? 
(4) pc == (C*) pb ? 
Yes, No need to add (C*). 

(5) does pa == pb ? 
No. We can't compare them.