🚀 go-pugleaf

Pierre Habouzit a �crit :
> soit le bout de code suivant :
> 
> ------------------------------------------------------------------------
> 
> typedef struct foo foo;
> 
> struct my_union {
>     union {
>         foo *array[2];
>         struct {
>             foo *first;
>             foo *second;
>         }
>     }
> } my_union;
> 
> ------------------------------------------------------------------------
> 
> soit 'bar' du type my_union, en supposant que tous les membres sont allou�s.
> 
> est ce que je suis toujours sur que :
> 
>   &bar->array[0] == &bar->first

oui.
On est aussi toujours s�r (sauf bug du compilo) que les membres d'une 
union partagent la m�me adresse. On sait aussi que le premier �l�ment 
d'un tableau ou d'une structure on la m�me adresse que le tableau ou la 
structure.

>   &bar->array[1] == &bar->second

non.

Dans une structure, les membres ne sont pas n�cessairement contigus. Il 
peut y avoir des remplissages non nomm�es ("unnamed padding") entre les 
membres et � la fin de la structure, mais pas au d�but. Par contre, les 
�l�ments d'un tableau sont contigus, donc la seconde �galit� n'est pas 
n�cessairement v�rifi�e.

-- 
Richard