Kapitel 5 Mathematisches

Vieles hätte ich verstanden, wenn man es mir nicht erklärt hätte.
– Stanislaw Jerzy Lec

5.1 Arithmetik in Java 

Zahlen mit Komma nennen sich Gleitkomma-, Fließkomma-, Fließpunkt- oder Bruchzahlen. Der Begriff »Gleitkommazahl« kommt daher, dass die Zahl durch das Gleiten (Verschieben) des Dezimalpunkts als Produkt aus einer Zahl und einer Potenz der Zahl 10 dargestellt wird (also 1,23 = 123 * 10^{–  2}  ).

Java unterstützt für Fließkommazahlen die Typen float und double, die sich nach der Spezifikation IEEE 754 richten. Ein float hat die Länge von 32 Bit und ein double die Länge von 64 Bit. Die Rechenoperationen sind ebenso im IEEE-Standard »Binary and Floating-Point Arithmetic« definiert. Neben den unterschiedlichen Größen für double und float definiert das IEEE aber noch positive und negative Zahlen sowie auch eine positive oder negative Null, positives und negatives Unendlich (engl. infinity) und mehrere Zahlen, die eigentlich gar keine sind. Es handelt sich hierbei um NaN, die Abkürzung für Not-a-Number. Sie werden als Fehlerindikator für das Ergebnis von undefinierten Rechenoperationen benutzt, etwa 0/0. NaN ist als Konstante (zum Beispiel public static final double NaN = 0.0/0.0) in den Klassen Double und Float eingefügt.

Außer für den Wert NaN ist auf allen Fließkommazahlen eine totale Ordnung definiert, das heißt, sie lassen sich von der kleinsten Zahl bis zur größten aufzählen. Am Rand steht die negative Unendlichkeit, dann folgen die negativen Zahlen, negative Null, positive Null, positive Zahlen und positives Unendlich. Die positive Null (+0.0) und die negative Null (–0.0) werden nicht unterschieden und sind gleich (0.0==-0.0). So ist auch 0.0 > –0.0 falsch. Dennoch gibt es einen kleinen Unterschied, den wir durch die Rechnung 1.0/-0.0 und 1.0/0.0 leicht sehen. Denn durch den Grenzwert geht das Ergebnis einmal gegen negativ unendlich und einmal gegen positiv unendlich.

Bleibt nur noch die einzige unsortierte Zahl NaN. Alle numerischen Vergleiche <, <=, >, >= mit NaN liefern false. Der Vergleich mit == ist false, wenn einer der Operatoren NaN ist. != verhält sich umgekehrt, ist also true, wenn einer der Operatoren NaN ist.

Ein Problem mit NaN ist, dass ein durchschnittlicher numerischer Prozessor eine Vielzahl verschiedener NaN-Gründe kennt, die in Java einfach auf einen einzigen NaN-Wert abgebildet werden.

5.1.1 Java-Sondertypen im Beispiel 

Wir wollen in ein paar Beispielen ein negatives/positives Unendlich und eine Null sowie ein NaN erzeugen:

Das Minimum für double-Werte liegt bei etwa 10^-324 und das Maximum bei etwa 10^308.

5.1.2 Soll eine Division durch Null zur Übersetzungszeit erkannt werden? 

Ein interessantes Phänomen in Java, das von Compilern ganz unterschiedlich behandelt wird, ist die Division durch Null. Die erste Frage ist, ob die Division zur Laufzeit erkannt und gemeldet werden soll oder nicht. Die Zweite ist, wie sich der Compiler verhalten soll, wenn eine Division durch Null erkannt wird, diese aber zu einem Stück Code gehört, das nie ausgeführt wird.

Listing 5.1   DivNull.java

class DivNull
{
  int a = 1 / 0;

  int b = false ? 1 / 0 : 5;

  boolean b1 = false && 1 / 0 == 1;

  boolean b2 = true || 1 / 0 == 1;
}

Der Compiler von Sun, javac, meldet keinen Fehler. Der Jikes-Compiler allerdings meldet in allen Fällen eine

Attempt to divide by zero.

Die Sprachspezifikation von Java äußert zwar mehr oder weniger präzise, welche Ausdrücke konstant ausgewertet werden können, gibt jedoch nicht an, was bei illegalen Ausdrücken geschehen soll. Denn bis auf die Zuweisung an die Variable a würde das Programm korrekt ausgeführt werden können. Sprich: Der Compiler beschwert sich über Programmkonstrukte, die zur Laufzeit keine Probleme bereiten würden.