🚀 go-pugleaf

Michal A. Polak <M.Polak@bss.com.pl> napisa³(a) w artykule
<346C80A9.B046A500@bss.com.pl>...
> Jest nastepujacy program (uruchomiony na linuxie - gnu cc - oraz win95
> skompilowany builderem, po niewielkich przerobkach):
> 
> ---------------------------------------------------------------
> #include<stdio.h>
> 
> class CCos
> {
> public:
>   int a;
>   int b;
>   int ple() {return a*b;}
> };
> 
> typedef struct
> {
>   CCos *me;
>   char c[8];
> } TCos;
> 
> int main()
> {
>   TCos ala;
>   ala.me = (CCos *) &ala;
>   ((CCos *)&ala)->a = 2;
>   ((CCos *)&ala)->b = 3;
> 
>   printf("%d\n",((CCos*) &ala)->ple());
> 
>   return 0;
> }


> Pytanie zostalo przedstawione w tutule, z tym  ze nie chodzi mi o
> dzialanie kodu programu przedstawionego powyzej, lecz po malych
> zmianach, tj, gdy:
> - w strukturze TCos jedna lub obie zmienne zostaje zakomentowane
> - i/lub  wywalmy linie: ala.me = (CCos *) &ala;

Ogólnie linia: "ala.me = (CCos *) &ala" nic nie wnosi, bo póŸniej
ala.me nie jest nigdzie odczytywane (nie ma go w ¿adnym obliczanym
wyra¿eniu ani nigdzie po prawej stronie znaku przypisania).

Jeœli zakomentujesz jedno z pól struktury TCos, to program
ma szanse dzia³aæ, bo akurat w danym kompilatorze 
sizeof(CCos *)==2*sizeof(int), i zawsze bêdziesz grzebaæ
wewn¹trz struktury ala.

Natomiast jeœli zakomentujesz oba pola TCos, hm ...
mo¿e faktycznie masz fuksa.