if-Anweisung trotz Division/0

[Unregistriert]

Hallo,

bin Anfängerin und habe gerade eine Frage mit der ich nicht klar komme.

Die int-Variable x habe den Wert 5. Die folgende Anweisung führt dennoch nicht zu einer Division durch 0. Warum?

if(x != 5 && 1.0 / (x – 5) > 0)
y = 1;

Warum nicht durch 0 dividiert wird, ist ja klar, aber die Frage zielte wohl auch nicht darauf ab?!

Zudem wird die If Anweisung ja auch durchgeführt. (Hab gerade einfach ein System.out.println("ddd"); gesetzt).

Jetzt weiß ich auch, dass es für eine Division mit einer Ganz bzw. Gleitkommazahl verschiedene Einzelfälle gibt. Also die Exception bzw. die Anzeige "NaN".


Aber in wie weit hilft mir das mit der Frage?

Lg
Antonella

 

[faetzminator]

Damit /0 geteilt würde, müsste x exakt 5 sein, da dies aber überprüft wird, kann der Fehler nicht auftauchen. Was ist daran nicht logisch?

 

[0x7F800000]

Stichwort "Short circuit operator".

 

[hdi]

Also ich weiss auch nicht ob ich deine Frage richtig verstehe.

Nur dass wir uns einig sind: Wenn x = 5 ist, dann wird ergibt die Auswertung vom if-Statement false, womit die folgende Anweisung nicht ausgeführt wird.
Vllt war dein Fehler beim Testen, dass du es so gemacht hast:

if(x != 5 && 1.0 / (x – 5) > 0)
y = 1;
System.out.println("ddd");

Wenn man {} weglässt nach einem if, bezieht sich der Block nur auf die nächste Zeile. D.h. obiger Code ist identisch zu:

if(x != 5 && 1.0 / (x – 5) > 0){
      y = 1;
}
System.out.println("ddd");

Also wird "ddd" immer gedruckt, egal wie das if-Statement verlaufen ist.

 

[javimka]

Möglicherweise hast du den && Operator nicht ganz verstanden. Der ist nicht zu verwechseln mit &. Der Unterschied ist folgender, dass bei einem & beide Seiten zuerst ausgewerted und erst dann verglichen werden. Bei && ist das anders, da wird zuerst der linke Teil ausgewertet und nur falls der true ist, wird der zweite Teil ausgewertet.

 

[Leroy42]

Genau! Wie 0x7F800000 bereits schrieb

Short Circuit Evaluation:
Kurzschlussauswertung ? Wikipedia

Oder wie in ADA geschrieben wird:

if (a andThen b) oder
if (a orElse b)

 

[Spacerat]

Die Arithmetic-Exception "division by zero" kommt nur bei Integerwerten. Bei Fliesskommazahlen erhält man stets Infinity als Ergebnis. Das bedeutet, selbst wenn x nun als long deklariert wurde und deswegen genau 5 sein kann, liefert [c]1.0 / (x - 5)[/c] ein Ergebnis und keine Exception. [c]if(x != 5)[/c] ist daher ohnehin völlig überflüssig:

long x = 5;
double b = 1.0 / (x - 5);
if(!Double.isNaN(b) && !Double.isInfinite(b) && b > 0) {
  y = 1;
}
System.out.println(b);

oder ohne Short Circuit

long x = 5;
double b = 1.0 / (x - 5);
if(!Double.isNaN(b) & !Double.isInfinite(b) & b > 0) {
  y = 1;
}
System.out.println(b);