C++ oggetto dimensioni

Question

Supponiamo che io sono:

struct Foo: public Bar { 
.... 
} 

Foo introduce nessun nuovo membro varaibles. Foo introduce solo alcune funzioni membro & funzioni statiche. Qualunque parte dello standard C++ ora garantisce che:

sizeof(Foo) == sizeof(Bar) 

?

Grazie!

Answer 1

potrei pensare di almeno uno scenario in cui sizeof(Foo) != sizeof(Bar):

class Bar { 
public: 
int m_member; 
}; 

class Foo : Bar { 
    virtual ~Foo(); 
}; 

Foo avrà un puntatore vtable mentre Bar non lo farebbe e la dimensione del primo sarà più grande di una parola rispetto a Bar. Su 32bit DEBUG MSVC2010:

sizeof(Foo) - 8 
sizeof(Bar) - 4 

EDIT Questo vale per le strutture così come le classi, ho reran il test per confermare che.

Answer 2

Certamente no, soprattutto se una delle funzioni di una delle classi è virtual. Mentre lo standard C++ non garantisce questo, con funzioni virtuali sarebbe quasi certamente cambiare la dimensione degli oggetti (a causa del v-tabelle.)

Answer 3

Sì, se sono tipi POD. I tipi di POD sono garantiti per essere compatibili con il layout (ovvero puoi memcpy da uno all'altro) se hanno membri compatibili con il layout nello stesso ordine. Dal momento che una sottoclasse ha automaticamente tutti i membri della sua classe base nello stesso ordine e, in questo caso, nessun altro, saranno compatibili con il layout e quindi della stessa dimensione. Vedere la sezione 9.3 delle specifiche.

Si noti che, per essere tipi POD devono avere funzioni virtuali (tra gli altri requisiti)

EDIT

L'ultimo progetto di norma ha diviso i requisiti per i tipi di POD in due gruppi: banali classi e classi standard. POD classi sono quelli che sono entrambi banali e layout standard, e credo che per il guarentee sizeof che si desidera, solo di essere layout standard sono sufficienti - hanno bisogno di non essere anche banale (e quindi POD) classi. I requisiti per layout standard dalla specifica sono:

A standard la layout classe è una classe che:

- ha alcun membri dati non statici della classe tipo non standard layout (o array di tali tipi) o riferimento,

- non ha funzioni virtuali (10.3) e nessuna classe di base virtuale (10.1),

- ha lo stesso controllo di accesso (Articolo 11) per tutti i membri di dati non statici,

- ha classi di base non standard di layout,

- o non ha mancato membri di dati statici nella classe di maggior derivazione e al massimo una classe di base con membri di dati non statici o senza classi di base con membri di dati non statici e

- non ha classi di base dello stesso tipo di primo membro di dati non statici.108