Exceptions, h�ritage et m�thodes virtuelles

Bonjour,

Cela fait plusieurs heures que je bloque sur le probl�me suivant. Voici mon bout de code de test de l'architecture des exceptions pour mon projet :

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
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
#include <iostream>
#include <string>
 
using namespace std;
 
// Classe de base des exceptions
class Exception {
public :
    Exception() : next(NULL) {}
    Exception& add(Exception& e) {
        Exception* tmp = this;
        while (tmp->next != NULL)
            tmp = tmp->next;
        tmp->next = &e; 
        return *this;
    }
    virtual string show() { return "Classe Exception"; }
    Exception* next;
};
 
// Première exception
class ExceptionA : public Exception {
public:
    virtual std::string show() { return "Classe ExceptionA"; }
};
 
// Seconde exception
class ExceptionB : public Exception {
public:
    virtual std::string show() { return "Classe ExceptionB"; }
};
 
// Affichage;
ostream& operator<<(ostream& out, Exception& e) {
    out << e.show() << endl;
    if (e.next != NULL)
        out << *e.next;
    return out;
}
 
int main(int argc, char *argv[])
{
    // Test d'une exception basique
    try {
        throw ExceptionA();
    } catch (Exception& e) {
        // On attend l'affichage :
        // Class ExceptionA
        cout << "Test simple :" << endl << e << endl;
    }
 
    // Test d'une exception en cascade n°1
    try {
        try {
            throw ExceptionA();
        } catch (Exception& e) {
            ExceptionB b = ExceptionB();
            b.add(e);
            throw b;
        }
    } catch (Exception& e) {
        // On attend l'affichage :
        // Class ExceptionB
        // Class ExceptionA
        cout << "Test cascade n°1 :" << endl << e << endl;
    }
 
    // Test d'une exception en cascade n°2
    try {
        try {
            throw ExceptionA();
        } catch (Exception& e) {
            throw ExceptionB().add(e);
        }
    } catch (Exception& e) {
        // On attend l'affichage :
        // Class ExceptionB
        // Class ExceptionA
        cout << "Test cascade n°2 :" << endl << e << endl;
    }
 
    return 0;
}

Comme vous l'aurez probablement affich� il "foire" au test en cascade n�2 et m'affiche :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
Test cascade n°2 :
Classe Exception
Classe ExceptionA

Vous avez une id�e de la raison pour laquelle cela ne fait pas du tout ce que j'attends ? De plus la classe Exception ne sera jamais instanci�e, je voulais en faire une classe abstraitre mais cela ne fonctionne pas avec l'envoi d'exceptions :/ c'est la raison pour laquelle j'ai d�fini la m�thode Exception::show()

Merci beaucoup de votre aide.

Nuwanda

Envoy� par Nuwanda

Vous avez une id�e de la raison pour laquelle cela ne fait pas du tout ce que j'attends?

L'objet jete est copie avant d'etre passe au catch. Et la copie se fait avec le type statique de l'objet jete. Le type statique de

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

ExceptionB().add(e)

c'est le type du resultat de add(), donc Exception.

De plus la classe Exception ne sera jamais instanci�e, je voulais en faire une classe abstraitre mais cela ne fonctionne pas avec l'envoi d'exceptions :/

Meme cause. La copie generee ci-dessus est une instantiation.

Merci beaucoup. J'ai mis un moment � comprendre, mais avec quelques affichage d'addresses m�moire et 2-3 tests j'ai compris pourquoi cela foire. C'est donc le throw qui copie l'objet.

Si l'objet est copi� quelle est l'utilit� d'avoir le "&" dans le catch ? Vu que l'on ne manipule pas l'objet lanc� ?!?!? Donc si on ne met pas le "&" on copie deux fois l'objet ?

Y'a-t-il un moyen de contourner ce probl�me ? Peut-�tre en rusant avec le constructeur par copie (mais c'est juste une hypoth�se, je ne maitrise pas vraiment ce domaine) ?

Envoy� par Nuwanda

Si l'objet est copi� quelle est l'utilit� d'avoir le "&" dans le catch ?

Ne pas copier une deuxieme fois, ce qui dans le cas present tronquerait tous les objets lances a leur type de base, Exception.

Y'a-t-il un moyen de contourner ce probl�me ? Peut-�tre en rusant avec le constructeur par copie (mais c'est juste une hypoth�se, je ne maitrise pas vraiment ce domaine) ?

Tu veux un comportement polymorphe en meme temps qu'une semantique de copie. Donc il faut jeter un pointeur, eventuellement encapsule pour s'assurer de sa destruction a bon escient.

Envoy� par Swo�g

c'est m�me pas s�r qu'un Exception* catch un ExceptionB*

Si.

Donc, je viens de faire 2-3 tests...

Si j'ajoute la constructeur par copie dans la classe Exception :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

    Exception(const Exception& e) { cout << "Copie de l'objet " << &e << " dans " << this << endl; }

J'obtiens 2 choses int�ressantes :
- Quand on ne met pas le "&" dans le catch, on a bien deux copies. (mais c'est pas le plus bizarre)
- Il ne m'affiche que la premi�re exception et pas celle ajout�e � la suite ?!?!?

Envoy� par Nuwanda

J'obtiens 2 choses int�ressantes :
- Quand on ne met pas le "&" dans le catch, on a bien deux copies. (mais c'est pas le plus bizarre)

C'est pas bizarre, c'est attendu.

- Il ne m'affiche que la premi�re exception et pas celle ajout�e � la suite ?!?!?

Et le champs next, il est initialise comment? J'ai comme l'impression que par chance il contient un pointeur nul.

Au fait, il manque le clean up de ce qui est alloue dynamiquement.

Merci beaucoup de votre aide � tous, j'ai r�solu mon probl�me en utilisant des pointeurs, ca fonctionne maintenant exactement comme je le souhaite.

Voici le code correspondant :

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
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
#include <iostream>
#include <string>
 
using namespace std;
 
// Classe de base des exceptions
class Exception {
public :
    Exception() : next(NULL) {}
    Exception* add(Exception* e) {
        Exception* tmp = this;
        while (tmp->next != NULL)
            tmp = tmp->next;
        tmp->next = e; 
        return this;
    }
    virtual string show() { return "Classe Exception"; }
    Exception* next;
};
 
// Première exception
class ExceptionA : public Exception {
public:
    virtual string show() { return "Classe ExceptionA"; }
};
 
// Seconde exception
class ExceptionB : public Exception {
public:
    virtual string show() { return "Classe ExceptionB"; }
};
 
// Affichage;
ostream& operator<<(ostream& out, Exception* e) {
    out << e->show() << endl;
    if (e->next != NULL)
        out << e->next;
    return out;
}
 
int main(int argc, char *argv[])
{
    // Test d'une exception basique
    try {
        throw new ExceptionA();
    } catch (Exception*& e) {
        // On attend l'affichage :
        // Class ExceptionA
        cout << "Test simple :" << endl << e << endl;
    }
 
    // Test d'une exception en cascade n°1
    try {
        try {
            throw new ExceptionA();
        } catch (Exception* e) {
            ExceptionB* b = new ExceptionB();
            b->add(e);
            throw b;
        }
    } catch (Exception* e) {
        // On attend l'affichage :
        // Class ExceptionB
        // Class ExceptionA
        cout << "Test cascade n°1 :" << endl << e << endl;
    }
 
    // Test d'une exception en cascade n°2
    try {
        try {
            throw new ExceptionA();
        } catch (Exception* e) {
            throw (new ExceptionB())->add(e);
        }
    } catch (Exception* e) {
        // On attend l'affichage :
        // Class ExceptionB
        // Class ExceptionA
        cout << "Test cascade n°2 :" << endl << e << endl;
    }
 
    return 0;
}

Question subsidiaire : Pourquoi il se m�lange les pinceaux entre type r�el et type d�clar� quand j'utilise les objet, mais quand j'utilise les pointeurs sur objet, il s'en sort parfaitement ?

Merci beaucoup !

Envoy� par Nuwanda

Merci beaucoup de votre aide � tous, j'ai r�solu mon probl�me en utilisant des pointeurs, ca fonctionne maintenant exactement comme je le souhaite.

Voici le code correspondant :

Il a encore des problemes:

1. il se fie au constructeur de copie, a l'operateur d'assignement et au destructeur par defaut pour une classe (Exception) ayant un membre pointeur; ce n'est generalement pas une bonne idee car on ne sait pas qui doit liberer ce pointeur. Dans les rares cas ou c'est adapte, je conseille de mettre un commentaire indiquant que c'est voulu.
2. il y a des allocations de memoire sans liberation (probleme en partie lie au premier mais plus generalement, il n'a pas l'air d'avoir eu de reflexion sur ce probleme).

Bonjour,

Tout d'abord, je vous remercie de votre inter�t pour mon projet ainsi que des �ventuels probl�mes que je vais renconter.

Il faut savoir que les exceptions qui sont lanc�es doivent arr�ter le logiciel. En effet, je fais un traitement sur des donn�es, si le fichier de donn�es contient des erreurs, je ne peux continuer.

Je dois avouer que pour le moment, ma pr�ocuppation n'est pas de savoir qui doit lib�rer la m�moire vu que le projet DOIT s'arr�ter en cas d'erreur. Je laisse le soin � l'OS de faire la lib�ration de m�moire (il s'agit bien �videmment d'une solution temporaire). Pour le moment, �tant donn� que le traitement sera tr�s long (plusieurs jours), je me pr�ocuppe principalement de v�rifier que l'espace m�moire ne gonfle pas lors du traitement.

Pour la lib�ration de la m�moire des exceptions lorsque celles ci sont reli�es, chaque exception supprime la suivante. Th�oriquement le code suivant fonctionne comme je le souhaite (enfin j'esp�re...)

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
Exception::~Exception()
{
    delete next;
}

S'il n'y a pas de suivant, next est � NULL, donc cela s'arr�te. De plus le destructeur est virtuel.

Sinon lorsque je vais d�velopper la lib�ration de m�moire, mes donn�es ont une structure arborescente qui fait que chaque �lement se chargera de supprimer les suivants et ainsi de suite. J'esp�re un joli fonctionnement en cascade. Ma seule crainte en r�alit� vient de la librairie que j'utilise et j'esp�re qu'elle n'a pas trop de fuites m�moires...

Bonne journ�e !