🚀 go-pugleaf

> 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.

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.

Typiquement, tu pourrais d�finir un type 'nombre' ainsi :

enum number_type { NUM_INT, NUM_FLOAT }

struct number {
  enum number_type type;
  union {
    int    ival;
    double dval;
  }
}

ici un nombre est �vidament soit un entier soit un flottant, de mani�re
exclusive.

Malheureusement, union n'est pas fait pour faire du structure aliasing (et
c'est bien dommage) par exemple :

struct {
    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, et donc ne
te permet pas d'acc�der aux cases du tableau array soit via l'index, soit
via le nom de la case (personnellement je trouve �a tr�s dommage, mais
bon ... c'est la vie).

De plus, tu ne peux m�me pas faire ca :
struct {
    union {
        uint32_t arr32[N];
        uint16_t arr16[N*2];
        uint8_t  arr16[N*4];
    };
}

d�j� parce que en fait les uint*_t ne font pas forc�ment exactement * bits
en fait, mais surtout parce que tu vas alors rencontrer des probl�mes
d'endianess et donc �crire du code non portable si tu fais de tels alias.

-- 
�O�  Pierre Habouzit
��O                                                madcoder@debian.org
OOO                                                http://www.madism.org