Implizite Typumwandlung

> Wer kennt eine gute Dokumentation über die implizite Typenumwandlung in
C?
Gut ist sicherlich eine Frage des Geschmacks, der C99 Standard ist aber 
sicherlich maßgebend:

http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1124.pdf

Habe jetzt nicht im Detail nachgelesen, aber es findet eine 
Vorzeichenerweiterung statt, das Ergebnis ist also signed int

Es wird immer auf das höhere Format erweitert (natürliche Zahl -> 
Ganzzahl -> Kommazahl).

Bei gleichem Format wird die Länge erweitert (char -> short -> long).

Die Erweiterung erfolgt immer nach dem höchsten Quelloperanden, Ausnahme 
Schiebeoperation, da zählt nur der linke Operand.

Ein Zielüberlauf ist C völlig wurscht, da muß man selber rechtzeitig 
erweitern.


Peter

Markus wrote:

> Ist das Ergebniss des Ausdrucks (c+a) ein unsigned int oder ein signed
> int?

Es ist erstmal ein signed int.  Der wird aber beim Vergleich dann
durch einfaches gedankliches Kopieren der Bits in einen unsigned int
umgewandelt.  Falls das vorherige Ergebnis der vorzeichenbehafteten
Operation negativ war, vergleichst du auf diese Weise mit einer
sehr großen vorzeichenlosen Zahl, was sicher nicht das ist, was du
eigentlich wolltest.

Aus gutem Grund ist der Vergleich zwischen vorzeichenbehafteten und
vorzeichenlosen Zahlen dem GCC eine Warnung wert.

Jörg Wunsch wrote:

> Es ist erstmal ein signed int.

Nein. Bei Operationen zwischen "signed int" und "unsigned int" ist das 
Ergebnis vom Typ "unsigned int". Bei gleicher Grösse gewinnt "unsigned".

Und folglich ist der Vergleich hier unproblematisch, der ist zwischen 
"unsigned" und "unsigned". Die Addition ist problematisch, und ob er da 
meckert?

PS: Alle bitte nochmal hingucken - das ist nicht die übliche 
Standardfalle mit "unsigned char" und "int", sondern "unsigned int" und 
"int", also gleiche Grösse.

Andreas Kaiser wrote:

>> Es ist erstmal ein signed int.
>
> Nein. Bei Operationen zwischen "signed int" und "unsigned int" ist das
> Ergebnis vom Typ "unsigned int".

Sorry, ich hatte den Typ von c als `int' gelesen statt `unsigned int'.