Devo aspettarmi che gli upcast e i downcast nell'ereditarietà singola non regolino il puntatore?

Question

Supponiamo che io sono:

class Base { 
public: 
    virtual void Nothing() {} 
}; 
class MiddleDerived : public Base { 
    virtual void Nothing() {} 
}; 
class Derived : public MiddleDerived { 
    virtual void Nothing() {} 
}; 

e il mio codice va in questo modo:

Derived* object = new Derived(); 
Base* base = object; //implicit conversion here 

void* derivedVoid = object; 
void* baseVoid = base; 

Devo aspettare che baseVoid == derivedVoid?

So che la maggior parte delle implementazioni funziona in questo modo ma è garantita?

Answer 1

Quello che "si aspetta" può essere diverso da quello garantito.

A static_cast in alto o in basso una catena di eredità può modificare l'indirizzo.

L'esempio canonico in cui ciò si verifica in pratica è dove una classe base non è polimorfica e una classe derivata introduce una funzione virtuale, che con molti compilatori introduce un puntatore vtable all'inizio di ogni oggetto derivato.

Answer 2

Penso che la parte della norma che si occupa di questo è §5.2.9 (13)

Quale afferma (in poche parole) che un T * cast un void * e poi di nuovo ad un T * deve riferirsi allo stesso oggetto.

Tuttavia non c'è alcuna indicazione L'indirizzo di Derived deve essere uguale all'indirizzo Base.

Quindi la mia risposta sarebbe "no - codice che si aspetta questa equivalenza è malformato invitando comportamento indefinito".