Discussion :

[tut]

Bonjour,
je suis en train de tester l'implémentation une équation, et j'ai besoin d'être sûr que je n'ai pas de dépassement de capacité de nombre.
J'entends par " dépassement de capacité" le phénomène suivant :

Code :

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

1
2
3
4
5
6
7
 
 
   // quelque part dans un header
   typedef unsigned char UWord8
 
   // dans le source de l'implémentation
   UWord8 NB1 = 200 * 200;

NB1 prend la valeur 64 et non pas 40000, puisque unsigned char est codé sur 8 bits (sous Windows XP 32 bits).

Est-ce qu'il éxiste un moyen de tester ça avec un système d'exception ou autre, natif au langage ?

Le seul moyen que je vois est de créer des classes UWord8 sur lesquelles je définierai les opérateurs arithmétiques, ferai les opérations avec des grands nombres et testerai la valeur avant de la retourner.
Problèmes : c'est beaucoup de boulot, et comment faire pour tester le dépassement de capacité de unsigned int ?


PS : je précise que je n'ai pas le droit d'utiliser les types flottants pour des contraintes liées au projet (soft embarqué).

[Invité(e)]

Bonjour

J'en ai discuté il y a quelques semaines avec un prof de math, il m'a donnée une méthode élégante, mais peut être pas rapide. Il suffit de vérifier que multiplication et division commutent toujours :

Code :

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

1
2
3
4
5
6
7
8
uint8 nombre1;
uint8 nombre2;
uint8 produit = nombre1*nombre2;
 
if((nombre1 != (produit / nombre2)) && (nombre2 >0))
{
   cout << "erreur, il y a dépassement de capacité" << endl; 
}

[bigboomshakala]

en prolongeant le post de Mabu, tu peux implémenter la fonction de multiplication suivante

Code :

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

1
2
3
4
5
6
7
8
9
bool Multiplication(UWord8 & uNb,int n1,int n2)
{
   uNb = n1*n2;
 
   if((n1 != (uNb/n2)) && (n2>0))
         return false;
   else
         return true;
}

la fonction renvoie "true" s'il n'y a pas de dépassement, "false" sinon. et uNb est ta variable produit de n1 et n2.

exemple d'utilisation:

Code :

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

1
2
3
4
UWord8 NB1;
bool bOK = Multiplication(NB1,200,200);
if (bOK) cout << "multiplication réussie";
else cout << "dépassement";

[Invité(e)]

En terme de calcul, c'est peut etre pas top

moi je voyais plutot ca avec des try catch
en lancant une exception seulement si dépassement

le plus : on ne fait pas la multiplication une fois de trop
le moins : je sais pas écrire 'throw'

[bigboomshakala]

je doute qu'on puisse saisir une exception puisque même si on dépasse la capacité d'un unsigned char il n'y a pas de plantage, juste une valeur erronée de ton unsigned char.

donc on est obligé, pour savoir s'il y a dépassement ou pas de faire un test comme celui de Mabu
ou
un test sur la valeur max que peut prendre NB1

Code :

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

1
2
3
4
5
6
7
8
9
10
bool Multiplication(UWord8 & uNb,int n1,int n2)
{
   if((n1 != (uNb/n2)) && (n2>0))
         return false;
   else
   {
         uNb = n1*n2;
         return true;
   }
}

Code :

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

1
2
3
4
5
6
7
8
9
10
bool Multiplication(UWord8 & uNb,int n1,int n2)
{
   if (n1*n2>MAX_UNSIGNED_CHAR)
         return false;
   else
   {
         uNb = n1*n2;
         return true;
   }
}

dans cette 2è version, uNb n'est modifié que si la multiplication est valide.
cela dit, on fait au moins une fois la multiplication (cf. test).
la version qui test par rapport au max n'est valable que si n1 et n2 sont d'un type dont la valeur de dépassement supérieure à celle de l'unsigned char (exemple des int) et si on ne dépasse pas cette valeur.

[Invité(e)]

Non je voulais dire :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
uint8 nombre1;
uint8 nombre2;
uint8 produit = nombre1*nombre2;
 
if((nombre1 != (produit / nombre2)) && (nombre2 >0))
{
   throw exception(...); 
}
else
{
//produit est utilisable
}

Il n'y a pas trop d'opération en plus, de plus on a pas besoin de la faire de fois si elle est bonne

[Aurelien.Regat-Barrel]

UWord8 NB1 = 200 * 200;

200 * 200 est évalué et remplacé à la compilation par 40000. Cela produit normalement un warning. Tu ne peux rien faire pour empêcher de compiler ça, du moins, pas avec un typedef.

[Aurelien.Regat-Barrel]

Sinon vis à vis de l'algo dont vous parlez ça doit être à peu de choses près ce qu'utilise ce template:
http://www.enseeiht.fr/~boyer/Tools.html

[tut]

ok, merci pour vos réponses.
Je vais essayer d'utiliser la classe dont parle Aurélien.

[JolyLoic]

Si tu travaille sur de l'embarqué, il y a peut-être sur le processeur cible un flag indiquant si ça s'est bien passé. Si tel est le cas, il y a surrement une manière (non portable, bien entendu), de lire ce flag.

[Aurelien.Regat-Barrel]

Même sur Intel il y a le carry flag qu'on peut tester, moyennant un peu d'asm.