C++ signed i unsigned

Imam par nejasnih stvari sto se tice ovoga.
Sama definicija kaze da celobrojni tipovi (short i long) bez reci unsigned su signed, po definiciji. Signed celobrojne promenljive imaju ili negativnu ili pozitivnu vrednost.
Unsigned celobrojne promenljive uvek imaju pozitivnu vrednost.

Npr:
unsigned short prima brojeve od 0 do 65.535
signed short prima brojeve od -32.768 do 32.768

Sada sta mene buni ako ja napravim:




a ako stavim unsigned short int b = -1;


Sada mene zanima kako je on dosao do ovog broja 65535? Ako UNS neprima negativne brojeve odakle onda ova vrednost? Zasto nije greska?

Tačnije, od -32768 do 32767. U zbiru, to je 65536, jer je tu i nula.

Rezultat ispisa nije -1, nego je 65535. Prema tome, unsigned short nije primio negativan broj.

Onako, na prvu loptu, mislim da se sadržaj unsigned shorta "pegla" po modulu:
b % 65536
... ma šta mu dodeljeno s desne strane.



Ponekad se kod ovakvih delova koda koristi assert(), da se (u nekoj fazi razvoja) uveriš da u kodu slučajno ne dolazi do nepredviđenih vrednosti:
http://www.cplusplus.com/reference/cassert/assert/

Pa to sam ja i napisao samo nisi pogledao bolje.
Hvala u svakom slucaju izgooglao sam nesto ali opet iole mi je jasno. :/

-1 je 1111....11 u binarnom zapisu. Ako taj binaran zapis posmatramo kao signed broj, on se u dekadni pretvara kao -2^15 + 2^15 + 2^14 + ... + 2^1 + 2^0, sto je -1.
Ako se to predstavi kao unsigned broj, to ce biti 65535 (najznacajniji bit sad nije -2^15 vec +2^15).

Ono što tebe buni jeste nemogućnost kompajlera da te upozori da dodeljuješ negativnu konstatnu neoznačenoj vrednosti. Kompajler to neće uraditi jer nema nikakve opasnosti po tebe, samo će se ta vrednost interpretirati na drugi način, program se neće neočekivano ponašati.

Ono što je opasno je poređenje, i tu će te kompajler valjano upozoriti:



U ovom slučaju, j će se promovisati u unsigned tip i rezultat će biti "Manje" jer je 5 manje od std::numeric_limits<unsigned> - 1.