Discussion :

[oyigit]

bonjour,

aujourd'hui j'ai remarqué un truc bizarre en C# :

On peut effectuer des divisions par zéro sur des doubles

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
double a = 1.0;
double b = 0.0;
 
double c = a/b;

ca ne plante pas, ça retourne "+Infinity"
Quelqu'un saurait-il pourquoi, et dans quel cas c'est utile ?

[smyley]

Ben c'est vrai ce qu'il te dit, enfin ... pas d'un point de vue mathématique de la vie courrante, mais ça tient la route :
"10 / 0 = oo" ... ou plutot 1 / n tend vers oo quand n tend vers 0

[SirJulio]

Salut,

c'est "normé" comme ca :

12.1.3 Handling of floating-point data types
[...]

The standard defines special values, NaN, (not a number), +infinity, and –infinity. These values are returned on overflow conditions. A general principle is that operations that have a value in the limit return an appropriate infinity while those that have no limiting value return NaN (see the standard for details).

[Note: The following examples show the most commonly encountered cases.]
X rem 0 = NaN

0 * +infinity = 0 * -infinity = NaN

(X / 0) = +infinity, if X > 0
NaN, if X = 0
infinity, if X < 0

NaN op X = X op NaN = NaN for all operations

(+infinity) + (+infinity) = (+infinity)

X / (+infinity) = 0

X mod (-infinity) = -X

(+infinity) - (+infinity) = NaN

[...]
3.31 Div

Integral operations throw DivideByZeroException if value2 is zero.
Floating-point operations never throw an exception (they produce NaNs or infinities instead).

Ca n'explique pas le pourquoi ca a été normé comme ca, mais explique au moins le comportement. =)

[Louis-Guillaume Morand]

ce probleme m'etonne aussi et il semblerait que ce soit présent dans les autres languages aussi
http://forum.java.sun.com/thread.jsp...sageID=3821046

une divison par un double renvoie Infinity

but why????

[Guulh]

Je vois pas ce qui vous surprend. Mathématiquement, c'est correct : un réel positif divisé par un epsilon positif tendant vers zéro, ça tend vers + l'infini. et comme +Infinity et -Infinity sont des doubles valables, autant s'en servir.

EDIT : smyley l'avait déjà écrit, en plus

[Nikoui]

un epsilon positif tendant vers zéro

Sauf que 0.0 n'est pas un epsilon positif tendant vers zéro, mais précisément 0.0

[Nikoui]

C'est probablement parce qu'au niveau du processeur même, les entier et les "flottants" ne sont pas gérés de la même façon : diviser un entier et diviser un réel ne se fait pas de la même facon. Enfin c'est les souvenirs que j'en avais à l'époque ou les flottants étaient manipulés par les co-processeurs et pas par le processeur (ça existe encore les co-processeurs arithmétique ?).

Ah, la bonne époque ou on investissait dans un co-processeur pour venir aider le processeur, ainsi qu'une carte 3D pour aider la carte 2D...

[Louis-Guillaume Morand]

divisé par un epsilon positif tendant vers zéro

et pourquoi (je suis nul en maths ^^) 0.0 ne pourrait pas être un beau 0, plutot que tendant vers 0?
le 0 n'existe pas chez les flottants? Il n'existe pas de moyen de le représenter?

[ZaaN]

Tout ce qui est en dessus me parait correct !

Cependant j ai une question : pourquoi je ne peut pas catcher la division avec DivideByZeroException ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
double a = 1.0;
double b = 0.0;
double c;
 
try
{
    c = a / b;                
}
catch( DivideByZeroException e)
{
   //on passe jamais ici               
}