ergebnis kann negativ werden, obwohl nur uint8_t verwendet wird

[Lars (Gast)]

Guten morgen,

ich habe mal eine frage zum casten in c

#define OFFSET 120

uint8_t a;
uint8_t b;
uint8_t c;
uint8_t d;

a = 10;
a = 10;
a = 10;
a = 10;

if((a + b + c + d - OFFSET) < 0)
{
   ...
}

alles (bis auf das OFFSET) ist uint8_t.
uint8_t kann ja eigentlich nicht <0 werden.
Dennoch wird die Bedingung erfüllt. Sollte man die einzelnen dennoch auf 
int8_t casten?

[Dirk B. (dirkb2)]

Der Ausdruck beim if wird in als int berechnet.

[Μαtthias W. (matthias)]

Und zum nachlesen

https://stackoverflow.com/questions/46073295/implicit-type-promotion-rules

Matthias

[(prx) A. K. (prx)]

Lars schrieb:
> Sollte man die einzelnen dennoch auf int8_t casten?

Nur wenn du mit Maschinen rechnen musst, deren Pre-ANSI-C Compiler seit 
35 Jahren nicht mehr renoviert wurde.

Wenn du allerdings von "uint8_t" zu "unsigned" wechselst, wird dir 
mancher Compiler die ganze Abfrage wegoptimieren. Denn dann kann es 
unabhängig von eingesetzten Werten wirklich nicht negativ werden.

[P. S. (namnyef)]

Unsigned und signed in solch einem Ausdruck zu mischen ist selten eine 
gute Idee, da das Ergebnis wegen der Promotion-Rules nicht immer 
offensichtlich ist und damit eine schöne Quelle für Bugs darstellt.

[Lars (Gast)]

Μαtthias W. schrieb:
> Und zum nachlesen
>
> https://stackoverflow.com/questions/46073295/implicit-type-promotion-rules
>
> Matthias

Aber wenn ich mir dort mal das 2.Beispiel ansehe, verstehe ich es wieder 
nicht, wie die Bedingung erfüllt werden kann.

int main(){
    unsigned int a = 1;
    signed int b = -2;
    if(a + b > 0)
        puts("-1 is larger than 0");
        printf("%u\n", a+b);
}

-1 is larger than 0
42949672957

hier ist das Ergebnis zwar nicht max uint8, aber max uint32. Welches 
aber auch nicht negativ ist.

[(prx) A. K. (prx)]

Hier wird die Rechnung in unsigned durchgeführt, da "signed int" und 
"unsigned int" gleich gross sind und nicht erweitert werden. Da wird 
stets in "unsigned" gerechnet, kann also zwar 0 werden, aber nicht 
negativ.

Obacht: "uint32_t" und "unsigned" können verschieden sein. "uint8_t" 
wird aber immer kleiner als "unsigned" sein.

[Hey (Gast)]

Versuche mal
Printf(„s = %s\n“, a+B)
Dann mit %d %f %c %x %ld %l ... usw. schaue mal was da allgemein so 
rauskommt
If((uint8_t) (a+b) > 0) - geht das ?

Anscheinend castet if intern auf int


Ist wirklich interessant habe selbst leider keine Ahnung - sorry
Viel Erfolg Hast hoffentlich schnell eine Lösung