🚀 go-pugleaf

Karpierz wrote:
> 
> Marek Kotowski <mkot@imm.org.pl> napisal
> > Karpierz wrote (w watku "Rezerwacja pamieci"):
> [...]
> > > Nie powiem wprost ale zostawie to w formie zagadki
> >> dla wszystkich:
> >
> > > Prosze sprawdzic:
> >
> > > typedef unsigned int uint;      // taka moja fanaberia
> >
> > > int  a =  ~0;      // lub dowolna wartosc ujemna
> > > uint b = ~0;      //
> >
> > ....
> >
> > > printf ("\n%ld  %ld", (long) a, (long) b);
> >
> > > Wydaje sie ze powinno to dac identyczne dwie wartosci,
> > > prawda ?
> >
> > Nie wydaje sie. :-)
> 
> Nie zgodze sie :). Sa dwie rozne wartosci, ale _wydaje_ sie
> (przynajmniej mnie), ze powinny byc identyczne.

I są identyczne, w środowiku w którym pracuję sizeof(long) ==
sizeof(int) :)

Oczywiście po zamianie int na char wartości są różne i tak 
powinno być.


> Osobiscie w/w klopoty czy brak oczywistosci w rzutach
> to zrodlo masy bledow i jest to jedna z niewatpliwych wad C.
> 
> > > Przeciez rzutujemy _jawnie_ zarowno a jak i b na long.
> >
> > Rzecz jest w promocji typu. Inaczej promowany do long
> > jest typ int (znak jest powielany), inaczej typ
> > unsigned int (znak nie jest powielany).
> 
> Ponawiam prosbe o odpowiedz jak to ujmuje standard ?
> Jaka jest ogolna zasada przy tego typu sytuacjach ?
> 

Odpowiedź już masz powyżej, ale może badziej szczegółowo :

Założe dla ułatwienia, żę sizeof(int) ==2 i sizeof(long) == 4

int a;
unsigned int b;

1. (long)a - a jest signed, więc bit znaku jest propagowany na
starsze słowo, a a jest kopiowane do młodszego

2. (long)b - b jest kopiowane do młodszego słowa.

3. (unsigned long)a - z moich doświadczeń wynika, że jest 
    równoważne (unsigned long)(long)a.

Sam jestem ciekawy czy jakiś standard to precyzuje (zwłaszcza punt 3.).

Pozdrawiam
Adam

PS.

Przyjąłem konkretne nazwy typów tylko dlatego, że tak mi było 
łatwiej wyjaśnić.
A.

-- 
 Adam Jancewicz 
 mailto: adash@obop.com.pl