Programation par contraintes et class template

Bonjour,

Dans l’objectif d’aider Paul et Topinambour, je me suis fait une classe CPolinome, pour les guider (s’ils me le demandent …). Et en accord avec ce que m’a conseillé Int21h, je l’ai faite en classe template, Mais j’ai une question.

Dans cette classe template, il y a l’opération division. Voulant appliquer une précondition (un assert en ce qui concerne la division par zéro!), je tests si l’un des coefficients du dividende est nul … mais avec un template, comme on fait ?

Pour la classe CRationel, j’ai une fonction membre "bool isNull () const;", faite sur mesure. Mais si j’instancie cette classe avec un float ou un double, cette fonction n’existe pas! Inversement, il est facile de faire une comparaison (m_coef == 0) pour un float ou un double, mais ça ne marche pas si les coefficient sont des CRationnal.

J’ai bien quelques idée, tous plus loufoques les une que les autres (il y a des fois, qu’est ce que je suis imaginatif ! 1: Encapsuler les float/double dans une classes avec toutes les opérations de float/double, plus une fonction membre isNull(). 2: Réaliser une fonction libre isNull(argumment), et la décliner avec tous les types d’argument qui pourrait être utilisée dans le tempate. 3: Utiliser une macro).

Mais vous, comment feriez-vous ?

(PS: J’espère que Paul et Topinambour ne viennent pas sur ce forum: Il faut bien qu’ils bossent un peu ;-) )

Merci Olybri et Jo link Noir pour vos réponses.

Olybri, tu me proposes de faire un opérateur == entre un rationnel et un entier. (Il est vrai que actuellement dans ma classe je n’ai pas l’opérateur ==, ou inférieur, supérieure, … c’est à faire!) Mais faire un == entre 2 types différents, est ce une bonne idée ?

A moins de faire un cast int —> rationnel, mais là aussi, je ne sais pas faire !

Jo, je ne connais pas les classes de trait. J’en ai entendu parlé. J’ai une toute petite idée de ce que c’est. Mais j’ai aucune idée de comment l’utilisée, je vais chercher … et revendrai vers vous si je blocks.

Par contre, je suis surpris par ta dernière remarque. Pour moi, diviser par zéro c’est la rupture d’un contrat mathématique (C’est un bug! Ce n’est pas un comportement nominal). Si je laisse s’accumuler les couches de soft sans à chaque fois vérifier ce contrat, je vais pouvoir se laisser construire mon application, et ne détecter les bug que très loin de son origine. Le jour où tombe cette rupture de contrat, loin dans le cycle de développement, il faudra remonté toute la files des appelants pour savoir que le bug, c’est pas la classe Rationnel, pas la classe Polynôme, … mais une classe au dessus. Pour moi, chaque classe doit vérifier ses contrats, (principalement pour aider au débug).

Y-aurait-il quelque chose que je n’aurai pas compris ?

Cordialement.

Bonjour Ksass`Peuk, Bonjour Entwanne,

Merci de confirmer ce que je pensais, Ksass`Peuk.

Pour faire la division, entre 2 polynôme, j’avais fait la multiplication par l’inverse, … mais suite à ta remarque, je me rend compte que j’ai uniquement pris l’inverse des coefficients, pas l’inverse du polynôme. Donc je me posais la question du traitement de l’inverse d’un coefficient nul. Mais, c’est en effet, plus compliquer que ça ! Théoriquement, je ne sais pas faire, … Alors informatiquement non plus. Je vais donc supprimer mes fonction operator/= et operator/ . Merci de m’avoir rappeler à la réalité, Entwanne.

Cependant, je vais avoir la même difficulté, qui m’a amener ici, avec une fonction membre to_string (); de ma classe Rationnel (pour faire la sortie affichage des TU), je suis donc entrain de regarder les classes trait.

Pas facile d’utiliser les patterns (sauf dans la STL, où c’est fait pour!). Que c’est compliqué de faire simple.

Cordialement

Bonsoir,

Ca y est, j’ai compris ce que tu voulais me dire ! (bon d’accord, pas rapide … enfin on fait ce que l’on peut!)

Si je fais une fonction libre to_string (CRationnel cons &), ca revient surement au même ,que de développer operator« (CRationnel cons &). Et je viens de comprendre le message de Michel Billaud. C’est pour ça que j’ai besoin de geter().

Merci pour vos réponses.