2.16.2 | Gleitpunkt-Nulldivision |
Wenn eine Nulldivision bei einem Ausdruck auftritt, bei dem mindestens die Ergebnisvariable und der Divisor einen Gleitpunkttyp, also float oder double, hat, so wird keine Exception ausgelöst. Stattdessen definiert der Standard für diesen Fall zwei besondere Werte, die der Ergebnisvariable zugewiesen werden: NEGATIVE_INFINITY und POSITIVE_INFINITY. Diese beiden Werte stehen für negativ bzw. positiv unendlich. Das Verhalten bei einer Nulldivision soll an einem Beispiel verdeutlicht werden:float a, b, c; b = -1; c = 0; a = b / c; System.out.println(a == Float.NEGATIVE_INFINITY);Diese Anweisungssequenz liefert die Ausgabetrue