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. les annotations relatives aux exceptions).

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.
  

  double divide(double, double) throw(division_by_zero);

• Indiquer que la fonction divide genére une exception sans spécifier laquelle. Dans ce cas, les syntaxes suivantes sont équivalentes
  

  double divide(double, double) noexcept(false);
  double divide(double, double) throw(...);

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

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

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 :

void test_divide() noexcept;
void test_divide() noexcept(true);
void test_divide() throw(); // Attention, n'est plus supporté depuis la version C++17.

Ce qui donne pour cette fonction le code suivant :

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;
    }
  } 
}

Jusqu'à la version C++14, nombreux étaient les compilateur qui considérait que :

double divide(double, double) throw(division_by_zero);

était equivalent à :

double divide(double, double) noexcept(false);

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(…').

Compilez votre programme, que constatez-vous ?

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