Cours

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Partie II – Vérifier que les exceptions sont bien capturées.======

[[in204:tds:sujets:td6|TD6]]


L'objet des questions suivantes est de pouvoir vérifier au moment de la compilation que les exceptions sont bien capturées ou bien que seules les exceptions indiquées sont supposées être déclencheés (cf. [[in204:cpp:syntax:exceptions:contract|les annotations relatives aux exceptions]]).

===== Question n°1 ===== 

L’exception ''division_by_zero'' peut être levée par la fonction ''divide''. Ajouter cette information à la fonction ''divide''. 

<hidden Correction>

Nous considérons que l'exception ''division_by_zero'' n'est plus capturée par la fonction ''divide'' et est propagée aux fonctions appelantes.

Dans ce cas nous devons indiquer que la fonction ''divide'' peut générer une exception. Nous avons plusieurs possibilités pour le faire.

  * Indiquer que la fonction ''divide'' genére une exception de type ''division_by_zero''.\\ <code cpp>
double divide(double, double) throw(division_by_zero);
</code>

  * Indiquer que la fonction ''divide'' genére une exception sans spécifier laquelle. Dans ce cas, les syntaxes suivantes sont équivalentes\\ <code cpp>
double divide(double, double) noexcept(false);
double divide(double, double) throw(...);
</code>


Ceci nous donne en conséquence les codes suivants pour la méthode ''divide'' :

<code cpp>
double divide(double theNumerator, double theDivisor) throw(division_by_zero)
{
    if(theDivisor == 0)
        throw division_by_zero();
    return theNumerator / theDivisor;
}
</code>

Pour la méthode ''test_divide'', nous devons indiquer qu'elle ne génèrera pas d'exceptions. En conséquence, nous devons lui ajouter un des marquages suivants :
<code cpp> 
void test_divide() noexcept;
void test_divide() noexcept(true);
void test_divide() throw(); // Attention, n'est plus supporté depuis la version C++17.
</code>

Ce qui donne pour cette fonction le code suivant :

<code cpp>
void test_divide() noexcept
{
  double i, j;
  for(;;) {
    std::cout << "Le numerateur (0 pour arreter): ";
    std::cin >> i;
    if(i == 0)
      break;
    std::cout << " Le denominateur : ";
    std::cin >> j;
    try
    {
        std::cout << "Resultat: " << divide(i,j) << std::endl;
    }
    catch(division_by_zero anException)
    {
        std::cout << "Erreur: " << anException.what() << std::endl;
    }
  } 
}
</code>

Jusqu'à la version C++14, nombreux étaient les compilateur qui considérait que :
<code cpp>
double divide(double, double) throw(division_by_zero);
</code>
était equivalent à :
<code cpp>
double divide(double, double) noexcept(false);
</code>
En fait les compilateur ne vérifiaient pas la nature des exceptions qui étaient capturées. De ce fait, depuis C++17, cette fonctionnalité a été déclarée comme "abandonnées" et désormais il est demandé de déclarer une fonction qui ne lève pas d'exception par : ''noexcept'' ou par ''noexcept(true)'' et une foncion qui lève une exception par soit ''noexcept(false)'' ou ''throw(...')''.



===== Question n°2 ===== 

Compilez votre programme, que constatez-vous ?

===== Question n°3 ===== 

Ajoutez les informations complémentaires à votre programme pour pouvoir compiler le programme ?
Cours

User Tools

Site Tools

Page Tools
