🚀 go-pugleaf

Le 19-10-2005, Pierre Habouzit <madcoder@debian.org> a �crit�:
>> typedef struct  {
>>   int i;
>>   union {
>>     char j;
>>     char  k;
>>   };
>> } foo;
>
>>    assert( f.j == f.k); // Est-ce l�gal ? Si oui, ref ?
> c'est l�gal, mais :
>  * vu ton union toujours vrai
>  * s�mantiquement faux.

  Non, je suis pas d'accord: soit c'est un UB (acc�s � f.k
non initialis�), soit c'est vrai.

> un union, tu ne dois te servir que d'une des alternatives en m�me temps.
> union ne sert en fait qu'� �viter de prendre trop de place dans un struct
> lorsque tu sais que certains champs sont utilis�s de mani�re exclusive.

  Ca c'est l'usage typique. Mais est-ce qu'on peut le d�tourner ?

>     union {
>         int array[3];
>         struct {
>             int first;
>             int second;
>             int third;
>         } s;
>     };
> }
>
> n'a � priori aucune raison d'�tre align� pareil d'apr�s la norme

  Oui, parce qu'il peut mettre du padding entre first et second,
mais pas entre array[0] et array[1].
  Mais quand on fait:
union {
  struct {
    int premier;
  } french;
  struct {
    int first;
  } english;
}

  On peut (cf 6.5.2.3/5 et /7 donn�s par Jean-marc).

Marc Boyer
-- 
� v�lo, prendre une rue � contre-sens est moins dangeureux
que prendre un boulevard dans le sens l�gal. � qui la faute ?