🚀 go-pugleaf

Marc Boyer <Marc.Boyer@enseeiht.yahoo.fr.invalid> writes:

> Bonjour,
> 
> deux questions distinctes mais assez proches sur les structs/union
> ayant les m�mes champs. Bien sur, ces codes compilent et fonctionnent
> que ma machine. Mais est-ce l�gal ?
> 
> A) Struct qui commencent pareil
>   Soient
> typedef struct { int i; } Si;
> typedef struct { int i; char c;} Sic;
> int main(){ 
>    Sic sic;
>    Si* psi= (Si*) &sic;  
>    psi->i= 1;   // Est-ce l�gal ? Si oui, un ref ?
> }

J'ai le souvenir qu'il y a une regle pour que ce soit conforme dans le
cas ou les deux structs sont dans une union (en faisant une recherche
avec X11 hack tu devrais pouvoir arriver a la retrouver).  Je ne sais
pas si c'est redige de telle maniere que ce le soit dans le cas que tu
donnes.
 
> B) Union avec les m�me champs
> #include <assert.h>
> typedef struct  { 
>   int i;  
>   union {
>     char j; 
>     char  k;  
>   };
> } foo;
> int main(){  
>    foo f;  
>    f.j= 'a';  
>    assert( f.j == f.k); // Est-ce l�gal ? Si oui, ref ?
>    return 0;
> }

Si j'ai bonne memoire, a part le cas auquel j'ai fait allusion
ci-dessus, une union pourrait avoir un champs cache ecrit quand on
assigne une valeur a l'union et verifie quand on fait une lecture.

A+

-- 
Jean-Marc
FAQ de fclc:       http://www.isty-info.uvsq.fr/~rumeau/fclc
Site de usenet-fr: http://www.usenet-fr.news.eu.org