Безопасность указателя arithmatic на унаследованных объектов

Question

Если мы имеем следующий код:

struct Base 
{ 
    int x; 
    int y; 
    void foo(); 
    virtual unsigned getCrc() = 0; 
}; 

struct Derived1 : public Base 
{ 
    int a; 
    int b; 
    unsigned getCrc(); 
}; 

struct Derived2 : public Base 
{ 
    float a; 
    float b; 
    unsigned getCrc(); 
}; 

Является ли это C++ стандарт, который a и b должны быть после x и y в памяти? Или это самый используемый метод для наследования унаследованных возражений? (т. е. дефакто-стандарт компилятора).

Другими словами, я могу гарантировать, что:

Derived1 obj; 

    int* unsafe_internal_a = (int*)((unsigned)(&obj) + sizeof(Base)); 

EDIT: Мой вопрос «покрыта ли распределение памяти в некоторых стандартных? Или это зависит от компилятора? '. Код просто для иллюстрации.

Answer 1

Это будет безопаснее

size_t off = offsetof(Derived1, a); 
Derived1 obj; 

unsigned* unsafe_internal_a = (unsigned*)((char *)(&obj) + off); 

Answer 2

Ответ на ваш вопрос: они зависят компилятор в определенных ситуациях, а не в других. Details within

Если вам нужно извлечь данные из класса и свести его к минимальному формату, я предлагаю реализовать для них набор serialize/deserialize methods. Если вы просто пытаетесь выяснить, что делает C++, связанный с этим вопрос должен многое помочь.