Comment les structures sont-elles définies en mémoire en C ++?

C et C ++ garantissent tous les deux que les champs seront définis dans la mémoire dans le même ordre que vous les définissez. Pour C ++, il n'est garanti que pour un type de pod ^{1 sup> (tout ce qui serait légitime en tant que structure C [EDIT: C89 / 90 - Non, par exemple, une VLA de C99] sera également qualifié de gousse. ).}

Le compilateur est libre d'insérer un rembourrage entre les éléments et / ou à la fin de la structure. La plupart des compilateurs vous donnent un moyen de contrôler cela (par exemple, #pragma pack (n) code>), mais il varie entre les compilateurs. P>

^{1 sup> Il y a un cas d'angle où ils ne pensaient pas, où il n'est pas garanti pour un type de pod - un spécificateur d'accès enfreint la garantie de commande: p> xxx pré>}

ceci est Un type de pod, mais le «code> public: code> entre y code> et z code> signifie qu'ils pourraient être théoriquement commandés. Je suis à peu près sûr que c'est purement théorique mais je ne connais aucun compilateur qui réoriente les membres de cette situation (et à moins que la mémoire ne me manque plus d'habitude aujourd'hui, ceci est fixé en C ++ 0x). p>

EDIT: Les parties pertinentes de la norme (au moins la plupart d'entre elles) sont Âces9 / 4: P>

Un POD-STRUTT est une classe d'agrégat qui n'a pas de non-volatile Membres de données de type pointeur à membre, non-POD-STRUTT, non Pod-union (ou ensemble de tels types) ou de référence, et n'a pas Opérateur d'affectation de copie définie par l'utilisateur et aucun utilisateur défini par l'utilisateur destructeur. p> blockQuote>

et §8.5.1 / 1: p>

Un agrégat est un tableau ou une classe (clause 9) sans utilisateur. Constructeurs déclarés (12.1), pas de non-protégé ni protégé Membres de données statiques (clause 11), pas de classes de base (clause 10) et aucune fonction virtuelle (10.3). P> BlockQuote>

et §9.2 / 12: P>

... l'ordre d'attribution des membres non statiques de données séparé par un spécificateur d'accès n'est pas spécifié (11.1). p> BlockQuote>

Bien que cela soit restreint quelque peu par 14,2 / 17: P>

Un pointeur sur un objet de structure de pod, converti convenablement en utilisant Un réinterpret_cast, pointe vers son membre initial ... P> blockQuote>

Par conséquent, (même si précédé d'un public: code>, le premier membre que vous définissez doit venir en mémoire en mémoire. D'autres membres séparés par Public: Code> Spécificateurs pourrait être théoriquement être réarrangé. P>

Je devrais également souligner qu'il y a une place à l'argumentation à ce sujet. En particulier, il y a aussi une règle de 14,2 / 14: P>

Deux types de struct (clause 9) sont compatibles layouche si elles ont le même nombre de membres de données non statiques, et les éléments de données non statistiques correspondants (dans l'ordre) ont des types compatibles de mise en page (3.9). P> blockquote>

Par conséquent, si vous avez quelque chose comme: p> xxx pré>

Il est nécessaire d'être la mise en page compatible avec: p>

struct B {
    int x;
    int y;
    int z;
};

Si vous souhaitez voir la disposition de la mémoire de tous les types de classe en mémoire sous MSVC, ajoutez le commutateur / d1reporallllasslayout

Si vous voulez voir quelle classe est posée comme, ajoutez / d1reportsingleclasslayoutnnnnn où nnnnn est le nom de la classe.