L'énigme derrière la taille non nulle des classes C vides

En C , l'idée qu'une classe vide n'occuperait aucune mémoire peut sembler intuitif. Cependant, cette hypothèse est remise en question par le comportement particulier où même les classes dépourvues de membres présentent une taille non nulle. Pourquoi cet apparent paradoxe existe-t-il ?

Il s'avère que le standard C interdit explicitement aux objets et à leurs classes correspondantes d'avoir une taille nulle. Cette stipulation découle de l'exigence inhérente de différencier les objets distincts qui partagent potentiellement le même espace mémoire.

La norme garantit cette distinction en exigeant que toutes les classes, quel que soit leur contenu, doivent avoir une taille minimale d'un. Cela empêche deux objets disparates d'avoir des adresses mémoire identiques, car une telle condition entraînerait un comportement imprévisible et indésirable.

Par conséquent, même lorsqu'une classe est dépourvue de données membres définies par l'utilisateur, elle contient intrinsèquement des détails d'implémentation. tels que les tables de fonctions virtuelles et les membres pointeurs. Ces composants essentiels contribuent à la taille de la classe, bien qu'invisibles pour l'utilisateur, ce qui fait que même les classes vides occupent une quantité de mémoire non nulle.