Muy buena pregunta...
La cuestión es:
Los
int
se codifican en binario complemento a 2, que permite representar todos los enteros entre (-2^31) y (2^31 - 1)Los
long
se codifican en binario complemento a 2, que permite representar todos los enteros entre (-2^63) y (2^63 - 1)Por el contrario, los números en punto flotante (
float
ydouble
) se codifican con el estándar IEEE 754. La diferencia que nos importa es que *ese estándar define valores especiales como0
,Infinity
yNaN
(Noteste estándar define valores especiales como0
,Infinity
yNaN
("Not A NumberNumber", no es un número), no es un número). Y el estándar define que cuando divides un número de punto flotante por 0 obtienes infinito; aquí explica un poco el razonamiento de esta definición
Así que:
Cuando divides por cero en una operación de enteros (
int
olong
) obtienes un valor que no puedes representar en la variable. La única opción para no dejar la variable con un valor "inválido" es lanzar la excepción.Cuando divides por cero en una operación de punto flotante (
float
odouble
) el estándar te da un valor que asignar a la variable, y te dice que ése es el resultado correcto. No hay que lanzar excepción.
Si quieres controlar esa posibilidad, lo más sencillo sería comprobar si Double.isInfinite(valor)
te devuelve true
o false
; no sólo te comprobará el caso de que dividas por cero sino también cualquier otro overflow.