Mixing bitfields dans les structures

Question

Accroché geeksforgeeks sur les bitfields, ont trouvé cet exemple:

#include <stdio.h> 

struct test { 
    unsigned int x; 
    long int y : 33; 
    unsigned int z; 
}; 

int main() { 
    struct test t; 
    unsigned int *ptr1 = &t.x; 
    unsigned int *ptr2 = &t.z; 
    printf("%d", ptr2 - ptr1); 
    return 0; 
} 

En conséquence, la production est 4. Mais pourquoi? x occupe 4 octets, y - 8, et z - 4. Différence dans les adresses x et z doit être 8?

Answer 1

Ce code n'a pas de comportement déterminable. Il est impossible de prédire son issue sans un compilateur très spécifique.

Il contient le comportement défini par l'implémentation suivante (citations de l'annexe J de la norme):

- Que ce soit un « bit-champ » int « plaine » est traité comme un entier signé -champ de bits ou en tant que champ de bits int non signé (6.7.2, 6.7.2.1).

- Types de champs binaires autorisés autres que _Bool, signés int et non signés int (6.7.2.1).

- Indique si un champ de bits peut chevaucher une limite d'unité de stockage (6.7.2.1).

- L'ordre d'attribution des champs de bits dans une unité (6.7.2.1).

- L'alignement des éléments non-binaires des structures (6.7.2.1). Ce ne devrait présenter aucun problème à moins que les données binaires écrites par une implémentation soient lues par un autre.

La deuxième remarque implique également que le compilateur doit avoir une extension non standard. En plus de cela, le code dépend également de l'endianess et vous ne pouvez pas savoir quels bits dans le champ binaire sont le MSB et le LSB.