[JAVA]: Divisione per zero, eccezione e valore Infinity

[salvio78]

Scusate ho scritto il seguente programma per le equazioni i primo grado:

public class EquazioniPrimoGrado
{
private float a;
private float b;
private float x;

public EquazioniPrimoGrado()
{

try {}
finally
{System.out.println("si deve inserire qualche cosa nel Cotruttore!");}
}


public EquazioniPrimoGrado(float a, float b)
{
this.a = a;
this.b = b;
}

public float getSol()
{
try{x = -(b / a);}
catch(ArithmeticException e){System.out.println("Nessun Valore");}
return x;
}


public static void main(String argv[])
{
Float m = Keyboard.readFloat();
Float n = Keyboard.readFloat();
EquazioniPrimoGrado eq = new EquazioniPrimoGrado(m,n);
System.out.println(eq.getSol());
}

}

Ora il mio problema è che java non segna la divisione di un numero per zero come eccezione,, ma mi ritorna il valore Infinity, se metto poi zero e zero come valori mi ritorna NaN, ma non odvrebbero essere eccezioni da catturare nel metodo getSol?

[taita]

Se provi a fare

float a = 1/0;

vedrai che ti ritornerà l'eccezione che citi tu, perché prima calcola la divisione tra interi, e poi la assegna ad a.

Probabilmente l'operatore di divisione tra float non guarda se il divisore è la rappresentazione float dello zero. Io risolverei con un if... ;-)

[Alex'87]

non centra nulla con il tuo problema... ma togli il costruttore senza argomenti!!

[engiman]

Il tipo float, come da standard IEEE, include valori a rappresentare POSITIVE_INFINITY, NEGATIVE_INFINITY e NaN (vedi la documentazione della classe java.lang.Float) e tali valori sono usati per rappresentare i risultato delle divisioni per zero.
Il senso sta nel fatto che i numeri in virola mobile sono complicati: infatti un float non è da intendersi come una rappresentazione esatta di un numero (com'è invece un int), ma solo come una rappresentazione approssimata. Dunque il float 0f non rappresenta lo zero, ma un numero sufficientemente piccolo in valore assoluto da non poter essere risolto in una rappresentazione diversa da zero. Dunque per i float la divisione per zero "non esiste".
Se vuoi l'eccezione, come ti diceva taita, dopo la divisione fai un test sul risultato e lanci l'eccezione esplicitamente:

public float getSol() {
     x = -(b / a);
     if (Float.isInfinite(x) || Float.isNan(x))
          throw new ArithmeticException();
     return x;
}

[taita]

engiman, hai dato una spiegazione veramente molto chiara!

[salvio78]

Hai ragione! Credo sia l'unico modo per generare l'eccezione con i float.

Thanx!