C++ Girl
  1. C++ Girl
  3. structure de mémoire des membres de la structure
Intereting Posts
utiliser OpenCV 2.4 pour charger une image dans la vue ou le contrôle SDI MFC Mécanisme des fonctions en ligne Comment puis-je avoir une variable temporaire dans une fonction constexpr? Arithmétique masortingcielle utilisant des vecteurs en C ++ provoquant des erreurs de segmentation comment exécuter chaque thread sur un autre kernel? Pouvez-vous créer une nouvelle machine virtuelle Java dans une fonction c ++ appelée à partir de Java à l’aide de JNI? Boucle infinie avec cin lorsque vous tapez une chaîne alors qu’un nombre est attendu Comment puis-je boucler des paires consécutives dans un conteneur STL en utilisant une syntaxe de boucle basée sur une plage? Comparer une partie de la chaîne avec une autre chaîne de STDLB Pourquoi le constructeur de mouvements défini par l’utilisateur désactive le constructeur de copie implicite? Obtenir un vecteur dans une fonction qui attend un vecteur Revenir après avoir lancé des exceptions erreur C2512: aucun constructeur par défaut approprié disponible (pas de classes) C ++ remove_if sur un vecteur d’objects boost :: format et impression personnalisée de conteneurs std

structure de mémoire des membres de la structure

Si j’ai une structure comme celle-ci: 

struct S { ANY_TYPE a; ANY_TYPE b; ANY_TYPE c; } s;

Puis-je supposer en toute sécurité que les hypothèses suivantes seront toujours valables sur toutes les plateformes? 

 ((char *)&s.a) < ((char *)&s.c) ((char *)&s.a + sizeof(sa) + sizeof(sb)) <= ((char *)&s.c)

En C ++ aussi?

Oui, en C au moins. Le compilateur est libre d’insérer un remplissage après tout membre de la structure, mais il ne doit pas réorganiser les membres.

Il ne doit pas non plus insérer de remplissage avant le premier membre.

À partir de C99, 6.7.2.1 :

13 / Dans un object de structure, les membres autres que les champs de bits et les unités dans lesquelles résident les champs de bits ont des adresses qui augmentent dans l’ordre dans lequel ils ont été déclarés. Un pointeur sur un object de structure, converti de manière appropriée, pointe vers son membre initial (ou si ce membre est un champ de bits, puis vers l’unité dans laquelle il réside), et inversement. Il peut y avoir un remplissage non nommé dans un object de structure, mais pas au début.

15 / Il peut y avoir un remplissage non nommé à la fin d’une structure ou d’une union.

Cela est vrai pour une structure, mais change en C ++ dès que vous introduisez des spécificateurs d’access. Le compilateur est autorisé à réorganiser des blocs entiers délimités par des spécificateurs d’access.

En C ++, vous pouvez être certain que ces hypothèses seront vérifiées. Dans une telle structure, le compilateur n’est pas autorisé à modifier l’ordre des membres.

Oui, par défaut, les compilateurs C ++ ne sont pas autorisés à se déplacer parmi les éléments d’une structure, ce qui rend les deux instructions sortingvialement vraies.

  1. Oui (tant que sizeof (ANY_TYPE) n’est pas égal à 0. Certains compilateurs le permettent, ce qui n’est pas standard – voir Peut sizeof retourner 0 (zéro) ). Vous seriez en sécurité avec <= ou supposeriez simplement un compilateur standard.

  2. Oui

Et en C ++ aussi.

La comparaison de pointeurs n’a de sens que dans les tableaux et les structures / classes, pas généralement.