Disposition de la mémoire des objets C

Les conversions dynamiques et les opérations de réinterprétation impliquent souvent la manipulation des pointeurs de mémoire d'objet. Examinons comment C organise les objets en mémoire pour mieux comprendre ces opérations.

Selon la norme C, la disposition de la mémoire des données membres non statiques au sein d'une classe ou d'une structure est principalement déterminée par leur ordre de déclaration. Les membres avec le même spécificateur d'accès sont classés dans leur séquence déclarée.

Outre les variables membres, les objets allouent également de l'espace pour :

• Pointeurs de fonction membre (gestion des fonctions virtuelles)
• Sous-objets de la classe de base
• Exigences de remplissage et d'alignement

La disposition réelle de la mémoire dépend de l'implémentation, mais de nombreux compilateurs adhérer à la spécification Itanium ABI. Cet ABI fournit une description détaillée de la disposition de la mémoire objet, y compris l'ordre des tables de fonctions virtuelles, des classes de base et des variables membres.

Démo de disposition de la mémoire

Utilisation de clang , nous pouvons visualiser la disposition de la mémoire d'une classe complexe :

class Class {
    // ...
};

clang -cc1 -fdump-record-layouts layout.cpp

Sortie :

   0 | class Class
   0 |   class SBase1 (primary base)
   0 |     (SBase1 vtable pointer)
   8 |     int k
  16 |   class SBase2 (base)
  16 |     (SBase2 vtable pointer)
  24 |     int k
  28 |   class SBase3 (base)
  28 |     int k
  32 |   int i
  36 |   char c
  40 |   float f
  48 |   double d
  56 |   short s
  64 |   class VBase (virtual base)
  64 |     (VBase vtable pointer)
  72 |     int j
     | [sizeof=80, dsize=76, align=8
     |  nvsize=58, nvalign=8]

Cette sortie affiche les décalages de mémoire spécifiques pour chaque variable membre, ainsi que les emplacements des tables de fonctions virtuelles et des classes de base.

En comprenant la mémoire disposition des objets, vous pouvez avoir un aperçu du fonctionnement des conversions dynamiques et des opérations de réinterprétation et prendre des décisions éclairées lors de la manipulation des pointeurs d'objet.