Witam,
pisałem program w C na PC i w międzyczasie natknąłem się na niespodziankę z przepełnianiem zmiennej typu unsigned int.
Zmienna typu unsigned short int zachowuje się w porządku, natomiast przepełnienie zmiennej unsigned int odbywa się jakby to była zmienna ze znakiem (signed). Nie mogę zrozumieć dlaczego tak się dzieje.

Przygotowałem fragmenty dla obu typów zmiennych, żeby zademonstrować o co chodzi:


W konsoli otrzymujemy zamierzone wartości:




W konsoli otrzymujemy tym razem niezamierzone wartości:


Dlaczego w drugim przykładzie zmienna "b" nie zeruje się po dodaniu jedynki?

Jeżeli liczba by miała być:
unsigned int to jej maksymalna wartość to nie 0x7FFFFFFF czyli tak jak podajesz 2147483647 a 0xFFFFFFFF czyli 4294967295.
Z obliczeń po dodaniu 1 wychodzi liczba 0x80000000 a to dokładnie w ZU2 -2147483648.
Podsumowując, wytłumaczenie jest takie, że kompilator deklarację unsigned int traktuje jako signed int.

A jeszcze dodatkowo: problem nie dotyczy tylko tego przypadku, Sprawdź sobie proszę:


Wynika to z prostego faktu: operacja zmiany znaku x = -x realizowana w U2 jest jako x = (~x) + 1

i jeszcze jedna ciekawostka:

Dokładnie tak jak napisałem wyżej. Dziwna sprawa, że dla kompilatora nie ma różnicy akurat unsigned czy signed int. Nie przeszkadza mi to, ale jeżeli nie potrzebuję operować na liczbach ujemnych, to zdecydowanie bardziej komfortowe dla mnie jest korzystanie jednak z liczb bez znaku.
Dzięki za zaangażowanie, że chciało się Tobie sprawdzić.

Gwyn, właśnie doszedłem co było nie tak.

Otóż, specyfikator formatu był źle dobrany w funkcji printf(). Zwróć uwagę, '%d' służy do wyświetlania dziesiętnych liczb całkowitych ze znakiem, z kolei specyfikator '%u' służy do wyświetlania dziesiętnych liczb całkowitych bez znaku. Wystarczyła podmiana specyfikatora i wszystko działa jak należy - zmienna zeruje się. Faktycznie pomyliłem się przy inicjalizacji, bo powinno być oczywiście a=4294967295;