Discussion :

[ickis]

Bonjour.

J'aimerai avoir des explications sur le raisonnement d'un compilateur (ici le VC++) quand a la division de double par 0.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
double a,b,c;
 
a=0;           // division de 0 par 0
b=0;
 
c=a/b;         // alors c = -1
 
 
a=10;         // division d un double positif
b=0;
 
c=a/b;         // alors c = 1
 
 
a=-10;       // division d un double negatif
b=0;
 
c=a/b;         // alors c = -1

[hegros]

en c++ ou java une division t'amenrai a une execption

Etant donné que la division par 0 est impossible

[Steph82]

En théorie la division par 0 est impossible. Le compilo essay peut-être de mettre une valeur bidon pour éviter que ca plante ds tous les sens.

[ickis]

exact, le calcul étant impossible, je pensais que le calcul ne serait pas effectué et que " c " garderai sa valeur initiale cad 0.

Or ce n'est pas le cas...

Tu pense que ce calcul n'est en réalité pas effectué par le compilateur, que celui ci détecte une exception et attribue a " c " une valeur arbitraire (et irrationnelle) en l'occurence -1 ou 1 en fonction du signe du numerateur?

En tout cas ca ne me semble pas etre une mauvaise explication...

[Steph82]

Bon j'ai essayer ca ss VC6:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
#include <iostream.h>
 
void main()
{
	int a,b,c;
	a=0;
	b=0;
	c=a/b;
 
	cout << "Valeur:" << c <<endl;
}

Et ca me balance une erreur de division par 0. ca ne compile même pas.

[Steph82]

Enfin ca compile, ms ca bug lors de l'execution. Ce qui est pour moi plus normal, que ton cas. T'as ptetre une option qui laisse passer des erreurs de ce genre et qui met des bizarreries à la place.

[D[r]eadLock]

Regarde donc la norme ieee754. En fait, le nombre doit surement etre un Nan (not a number) et prend donc une valeur au pif ! Il y a des regles justement dans les cas "impossibles" (x/0, 0/0)...

Si tu veux, tu peux je crois activer exceptions, i.e. une division par zero arrete ton prog et affiche un petit message d'erreur je crois (a moins que ce ne soit pour les entiers).

[ickis]

C'est normal t'as fais ca avec des int, c'est un ensemble plus restreint que les double ca permet moins d'operation.

Je ne saurais pas vraiment t'expliquer pkoi mais ca me semble plus logique...

Il nous faudrait un pro pour expliquer ce phénomen paramnormale... Anomaly ou est tu??



Et a part ca j'ai fais des test, la valeur n'est pas hazardeuse, c'est -1 ou 1 donc l'explication que j'ai ecrite + haut doit etre vrai[/quote]

[Steph82]

Oui je viens d'essayer les doubles passent chz moi, mais j'ai que des 0 comme résultat et pas 1 ou -1.

[Steph82]

Ok c bon, as-tu : -1.#INF00 ???

[ickis]

non -1 ou 1

tu affiche comment le resultat?

moi en

Code :

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

printf("%.0f",c);

[Steph82]

Code :

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

printf("%f",c);

C'est normal que tu es que 1 ou -1 alors. En clair, ca ^t'affiche l'erreur qd même.

[haypo]

Si tu veux proprement gérer les exceptions du FPU (coprocesseur arithmétique) : utilise <fenv.h>.

Tu peux utilise mes entêtes : hfpu.h et hfpu.cpp
Ils émulent fenv.h sous Borland C++. Tu peux faire la même chose sous Visual C++ je pense (à vérifier).

Ensuite, tu fais :

Code :

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

1
2
3
4
5
6
7
8
9
10
#define TEST_EXCEPTION FE_OVERFLOW | FE_DIVBYZERO | FE_UNDERFLOW
  double x;
  fegetexceptflag (&sauve_fpu, TEST_EXCEPTION);
  feclearexcept (TEST_EXCEPTION);
  x  = 1.0;
  x /= 0.0;
  if (fetestexcept(FE_UNDERFLOW)) Erreur underflow ...
  if (fetestexcept(FE_OVERFLOW)) Erreur overflow ...
  if (fetestexcept(FE_DIVBYZERO)) Erreur de division par zéro ...
  fesetexceptflag (&sauve_fpu, TEST_EXCEPTION);

Code complet pour différent opérateurs : reel_op.h et reel_op.cpp

@+ Haypo

[bleyblue]

pour le compilateur microsoft, _isnan(double d) permet de savoir si une valeur double est le résultat d'une division pr 0... mais il n'y a effctivement aucune exception de jetée

[haypo]

Pour avoir plus d'info sur la FPU :
http://cch.loria.fr/documentation/IEEE754/ (site de Loria, un labo de recherche)

Si Visual C++ ne génère pas d'exception, ce qu'il a choisi de ne pas en générer : voir la fonction _control87.

@+ Haypo