Fließkommavergleich [duplicate]

int main()
{
    float a = 0.7;
    float b = 0.5;
    if (a < 0.7)
    {
       if (b < 0.5) printf("2 are right");
       else         printf("1 is right");
    }
    else printf("0 are right");
}

Ich hätte die Ausgabe dieses Codes erwartet 0 are right. Aber zu meiner Bestürzung ist die Ausgabe 1 is right warum?

int main()
{
    float a = 0.7, b = 0.5; // These are FLOATS
    if(a < .7)              // This is a DOUBLE
    {
      if(b < .5)            // This is a DOUBLE
        printf("2 are right");
      else
        printf("1 is right");
    }
    else
      printf("0 are right");
}

Floats werden während des Vergleichs zu Doubles hochgestuft, und da Floats weniger präzise sind als Doubles, ist 0,7 als Float nicht das gleiche wie 0,7 als doppelt. In diesem Fall wird 0,7 als Float 0,7 als Double unterlegen, wenn es befördert wird. Und wie Christian sagte, 0,5 als Potenz von 2 wird immer genau dargestellt, sodass der Test wie erwartet funktioniert: 0.5 < 0.5 ist falsch.

Also entweder:

• Ändern float zu doubleoder:
• Ändern .7 und .5 zu .7f und .5f,

und Sie erhalten das erwartete Verhalten.

Das Problem ist, dass die Konstanten, mit denen Sie vergleichen, sind double nicht float. Ändern Sie auch Ihre Konstanten in etwas, das leicht darstellbar ist, z. B. einen Faktor von 5 wird es sagen 0 is right. Zum Beispiel,

main()
{
    float a=0.25,b=0.5; 
    if(a<.25) 
       {
       if(b<.5) 
               printf("2 are right");
       else
               printf("1 is right");
       }
else
printf("0 are right");
}

Ausgabe:

0 are right

Diese SO-Frage auf Der effektivste Weg für Gleitkomma- und Doppelvergleiche behandelt dieses Thema.

Auch dieser Artikel bei Cygnus weiter Vergleich von Gleitkommazahlen gibt uns Tipps:

Die IEEE Float- und Double-Formate wurden so konzipiert, dass die Zahlen „lexikographisch geordnet“ sind, was – in den Worten des IEEE-Architekten William Kahan – bedeutet „wenn zwei Fließkommazahlen im gleichen Format geordnet sind ( sagen wir x < y ), dann Sie werden auf die gleiche Weise geordnet, wenn ihre Bits als Vorzeichen-Größen-Ganzzahlen neu interpretiert werden.“

Das bedeutet, dass wir, wenn wir zwei Gleitkommazahlen in den Speicher nehmen, ihr Bitmuster als ganze Zahlen interpretieren und sie vergleichen, feststellen können, welche größer ist, ohne einen Gleitkommavergleich durchzuführen. In der Sprache C/C++ sieht dieser Vergleich so aus:

if (*(int*)&f1 < *(int*)&f2)

Diese charmante Syntax bedeutet, die Adresse von f1 zu nehmen, sie als Integer-Zeiger zu behandeln und sie zu dereferenzieren. All diese Zeigeroperationen sehen teuer aus, aber sie heben sich im Grunde alle auf und bedeuten nur “f1 als Ganzzahl behandeln”. Da wir dieselbe Syntax auf f2 anwenden, bedeutet die ganze Zeile „Vergleiche f1 und f2, wobei ihre In-Memory-Darstellungen als Integer statt Floats interpretiert werden“.

Dies liegt an Rundungsproblemen beim Konvertieren von Float in Double

Im Allgemeinen ist der Vergleich von Gleichheit mit Gleitkommazahlen ein gefährliches Geschäft (was Sie praktisch tun, wenn Sie direkt an der Grenze von > vergleichen), denken Sie daran, dass bestimmte Brüche (wie 1/3) in Dezimalzahlen nicht genau gleich ausgedrückt werden können kann von binär gesagt werden,

0.5= 0.1ist in Float oder Double gleich.

0.7=0.10110011001100 usw. für immer, 0,7 kann nicht genau binär dargestellt werden, Sie erhalten Rundungsfehler und können (sehr, sehr geringfügig) zwischen Float und Double unterschiedlich sein

Beachten Sie, dass Sie zwischen Floats und Doubles eine unterschiedliche Anzahl von Dezimalstellen abschneiden, daher Ihre inkonsistenten Ergebnisse.

Übrigens, Sie haben einen Fehler in Ihrer Logik von 0, haben Recht. Sie überprüfen b nicht, wenn Sie 0 ausgeben, sind richtig. Aber das Ganze ist ein wenig mysteriös in dem, was Sie wirklich erreichen wollen. Gleitkomma-Vergleiche zwischen Floats und Doubles haben Abweichungen, Minute, also sollten Sie mit einer Delta-„akzeptablen“ Abweichung für Ihre Situation vergleichen. Ich habe das immer über Inline-Funktionen gemacht, die nur die Arbeit erledigen (habe es einmal mit einem Makro gemacht, aber das ist zu chaotisch). Wie auch immer, ja, bei dieser Art von Beispiel gibt es viele Rundungsprobleme. Lesen Sie das Gleitkomma-Zeug und wissen Sie, dass sich .7 von .7f unterscheidet und dass die Zuweisung von .7 zu einem Float ein Double in einen Float umwandelt und somit die genaue Art des Werts ändert. Aber die Programmierannahme, dass b falsch ist, seit Sie a überprüft haben, wurde mir ausgebrüllt, und das musste ich beachten 🙂