Double.POSITIVE_INFINITY == Float.POSITIVE_INFINITY

Question

Ich versuchte

System.out.println(Double.isInfinite(Float.POSITIVE_INFINITY)) 
System.out.println(Double.isInfinite(Float.NEGATIVE_INFINITY)); 

und der Ausgang war

true 
true 

Dies bedeutet also, "Infinity" ist die gleiche für beide Datentypen?

Answer 1

Ja und nein. Ja, denn in einem abstrakten Sinn ist die Unendlichkeit die Unendlichkeit (und, wie ich unten erläutere, werden für die meisten Code-Floats ohnehin in Doubles konvertiert).

Nein, jedoch, weil auf der Bit-Ebene die beiden Unendlichkeiten unterschiedlich sind. Ein Double ist 64 Bit in Java und ein Float ist 32 Bit in Java, so trivial sind sie auf der Darstellungsebene unterschiedlich.

In Java werden Fließkommazahlen (floats und doubles) mit dem Gleitkommaformat IEEE 754 dargestellt. Dies ist der Standard, den heutzutage fast jeder verwendet. Jede Zahl wird als Vorzeichenbit in Binärform dargestellt, zuzüglich einer bestimmten Anzahl von Exponentenbits plus einer bestimmten Anzahl von Mantissenbits (Signifikanden). In einem Float oder einem Double wird positive Unendlichkeit mit einem Vorzeichenbit von 0, Exponentenbits alle 1 und Mantissenbits alle 0 dargestellt. Negative Unendlichkeit wird auf die gleiche Weise dargestellt, außer dass das Vorzeichenbit 1 ist zwei sehr ähnliche Wege, aber wegen der unterschiedlichen Anzahl von Exponenten und Mantissen-Bits zwischen Floats und Doubles sind die Bit-Level-Muster unterschiedlich.

Zum Schreiben von Code können Sie sie als gleich behandeln. Wann immer Sie doubles und floats zusammen benutzen, außer Sie sagen explizit anders, wird der float automatisch in ein double umgewandelt und der Ausdruck wird zu einem double führen, so dass sich eine Float Unendlichkeit für die meisten praktischen Zwecke wie eine doppelte Unendlichkeit verhält.

Answer 2

Es hängt davon ab, was Sie mit "gleich" meinen. Die Bitmuster sind unterschiedlich, weil das Vorzeichen anders ist, aber sie sind immer noch beide unendlich.

Darüber hinaus erhalten die Regeln für die Werbung für Floats die unendliche Natur bei der Umwandlung in ein Doppel.

Answer 3

In Java können Sie einen double mit einem float nicht direkt vergleichen. Wenn Sie dies versuchen, wird die float zuerst automatisch in eine double konvertiert. Dasselbe Problem tritt auf, wenn Sie eine float an eine Methode übergeben, die ein double Argument verwendet. Und wenn Sie Float.POSITIVE_INFINITY (zum Beispiel) in eine double konvertieren, erhalten Sie Double.POSITIVE_INFINITY.

So ist die Antwort auf Ihre Frage ist, dass Double.POSITIVE_INFINITY und Float.POSITIVE_INFINITY ist nicht ganz dasselbe, aber sie beide bezeichnen „eine Zahl, die zu groß zu vertreten ist“ und damit die Antwort, dass == geben Sie logisch konsistent sind.

Answer 4

Es gibt keine Möglichkeit, eine float mit double in Java als solche zu vergleichen. Alle Operationen sind Sie wahrscheinlich verwenden vergleichen double mit double nach implcitly Upcasting die float zu einem double

float f= 
double d = 
Double.compare(f, d); 
// equivelent to 
Double.compare((double) f, d);