Wenn ein Double mit einem ganzzahligen Wert in eine ganze Zahl umgewandelt wird, ist es dann garantiert "richtig"?

Question

Wenn hat ein Doppel eine ‚genaue‘ Integer-Wert, etwa so:

double x = 1.0; 
double y = 123123; 
double z = -4.000000; 

ist sichergestellt, dass es richtig zu 1, 123123 abrunden wird, und -4, wenn sie über (int) auf einen ganzzahligen Typ umgewandelt x , (int) y, (int) z? (Und nicht auf 0, 123122 oder -5 b/c von Fließkomma-Seltsamkeit abgeschnitten). Ich frage b/c nach this page (das ist über fp in Lua, eine Sprache, die standardmäßig nur seinen numerischen Typ verdoppelt), spricht darüber, wie Integer-Operationen mit doubles sind genau nach IEEE 754, aber ich bin mir nicht sicher wenn ich beim Aufruf von C-Funktionen mit Integer-Typ-Parametern die doppelte Verdopplung manuell vornehmen muss, oder wenn man darauf achtet, dass die Double-Werte ganzzahlige Werte haben.

Answer 1

Ja, Wenn passt der Ganzzahlwert in int.

Ein double könnte ganzzahlige Werte darstellen, die außerhalb des Bereichs für Ihren Typ int liegen. Beispiel: 123123.0 kann nicht in int konvertiert werden, wenn der Typ int nur 16 Bit hat.

Es ist auch nicht garantiert, dass ein double jeden Wert darstellen kann, den ein bestimmter Typ darstellen kann. IEEE 754 verwendet so etwas wie 52 oder 53 Bits für die Mantisse. Wenn Ihr long 64 Bits hat, dann kann die Umwandlung eines sehr großen long in double und zurück nicht den gleichen Wert ergeben.

Answer 2

Ja, es wird den genauen Wert halten, den Sie ihm geben, weil Sie es in Code eingeben. Manchmal in Berechnungen würde es ,99999999999 zum Beispiel ergeben, aber das ist aufgrund des Fehlers bei der Berechnung mit Doppel nicht seine Speicherkapazität

Answer 3

Es wird es richtig tun, wenn es wirklich ist wahr ganz Zahl, die Sie sicher sein, könnten in einige Kontexte. Wenn der Wert jedoch das Ergebnis früherer Fließkommaberechnungen ist, können Sie dies nicht leicht erkennen.

Warum nicht explizit den Wert mit der Funktion floor() berechnen, wie in long value = floor(x + 0.5). Oder, noch besser, verwenden Sie die modf() Funktion, um nach einem ganzzahligen Wert zu suchen.

Answer 4

Wie Daniel Fischer sagte, wenn der Wert des ganzzahligen Teils des Double (in Ihrem Fall das Double genau) in dem Typ, in den Sie konvertieren, darstellbar ist, ist das Ergebnis exakt. Wenn der Wert außerhalb des Bereichs des Zieltyps liegt, ist das Verhalten nicht definiert. "Undefiniert" bedeutet, dass der Standard jedes Verhalten zulässt: Sie könnten die nächste darstellbare Zahl erhalten, Sie könnten Null bekommen, Sie könnten eine Ausnahme bekommen, oder der Computer könnte explodieren. (Hinweis: Während der C-Standard Ihrem Computer erlaubt, zu explodieren oder sogar das Universum zu zerstören, ist es wahrscheinlich, dass die Spezifikationen des Herstellers eine strengere Grenze für das Verhalten festlegen.)