Casting tra classi congruenti indipendenti

Question

Supponiamo di avere due classi con membri identici da due librerie differenti:

namespace A { 
    struct Point3D { 
    float x,y,z; 
    }; 
} 

namespace B { 
    struct Point3D { 
    float x,y,z; 
    }; 
} 

Quando provo cross-casting, ha funzionato:

A::Point3D pa = {3,4,5}; 
B::Point3D* pb = (B::Point3D*)&pa; 
cout << pb->x << " " << pb->y << " " << pb->z << endl; 

In quali circostanze è questo garantito a lavorare? Sempre? Si noti che sarebbe altamente indesiderabile modificare una libreria esterna per aggiungere un pragma di allineamento o qualcosa del genere. Sto usando g ++ 4.3.2 su Ubuntu 8.10.

Answer 1

Se le strutture che si utilizzano sono solo dati e non viene utilizzata alcuna ereditarietà, penso che dovrebbe sempre funzionare.

Fintanto che sono POD, dovrebbe essere ok. http://en.wikipedia.org/wiki/Plain_old_data_structures

Secondo lo standard (1.8.5)

"meno che non sia un campo bit-fi (9.6), un oggetto più derivato deve avere una dimensione diversa da zero e deve occupare uno o più byte di Memoria . Gli oggetti secondari di classe base possono avere dimensione zero. Un oggetto di POD5) Il tipo (3.9) occupa byte contigui di memoria ".

se occupano byte contigui di stoccaggio e sono la stessa struct con nome diverso, un cast dovrebbe riuscire

Answer 2

so esattamente che non avrebbe funzionato:

• sia struct ha allineamento differen;
• compilato con diverse opzioni RTTI

potrebbe essere qualche altra cosa ...

Answer 3

Questa linea dovrebbe essere:

B::Point3D* pb = (B::Point3D*)&pa; 

Annotare la &. Penso che quello che stai facendo è un reinterpret_cast tra due puntatori. In effetti puoi reinterpretare_cast qualsiasi tipo di puntatore a un altro, indipendentemente dal tipo dei due puntatori. Ma questo pericoloso, e non portatile.

Per esempio,

int x = 5; 
double* y = reinterpret_cast<double*>(&x); 

Stai solo andando con il C-Style, così la seconda linea è in realtà pari a:

double* z = (double*)&x; 

Ho appena odio il C-Style in fase di lancio, perché non si può dire lo scopo del cast da uno sguardo :)

---

In quali circostanze è garantito il funzionamento di ?

Questo non è reale fusione tra i tipi.Ad esempio,

int i = 5; 
float* f = reinterpret_cast<float*>(&i); 

Ora f punta allo stesso posto che i punti. Quindi, nessuna conversione è stata eseguita. Quando si denota f, si otterrà un float con la stessa rappresentazione binaria dell'intero i. Sono quattro byte sulla mia macchina.

Answer 4

Se due strutture POD iniziano con la stessa sequenza di membri, lo standard garantisce che sarete in grado di accedervi liberamente tramite un'unione. È possibile memorizzare A :: Point3D in un'unione e quindi leggere dal membro B :: Point3D, a condizione che si tocchino solo i membri che fanno parte della sequenza comune iniziale. (quindi se una struct conteneva int, int, int, float e l'altra contenuta int, int, int, int, sarà possibile accedere solo ai tre primi valori).

Quindi sembra un modo garantito in cui il codice dovrebbe funzionare. Significa anche il cast dovrebbe funzionare, ma non sono sicuro se questo è indicato esplicitamente nello standard.

Naturalmente tutto ciò presuppone che entrambe le strutture siano compilate con lo stesso compilatore per garantire l'ABI identico.

Answer 5

Quello che segue è abbastanza sicuro:

namespace A { 
    struct Point3D { 
    float x,y,z; 
    }; 
} 

namespace B { 
    typedef A::Point3D Point3D; 
} 

int main() { 
    A::Point3D a; 
    B::Point3D* b = &a; 

    return 0; 
}