🚀 go-pugleaf

Jean-Marc Bourguet <jm@bourguet.org> writes:

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

6.5.2.3/5

One special guarantee is made in order to simplify the use of unions:
if a union contains several structures that share a common initial
sequence (see below), and if the union object currently contains one
of these structures, it is permitted to inspect the common initial
part of any of them anywhere that a declaration of the completed type
of the union is visible. Tw o structures share a common initial
sequence if corresponding members have compatible types (and, for
bit-fields, the same widths) for a sequence of one or more initial
members.

> Je ne sais pas si c'est redige de telle maniere que ce le soit dans
> le cas que tu donnes.

Apparemment, non.  Sauf si une autre regle intervient.
  
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