Copie d'une exception

Version imprimable

Bonjour,

Pourquoi faut il absolument qu'une exception puisse être copié ?

Par exemple, le code suivant ne compile pas car le compilateur ne trouve pas le constructeur par recopie :

Code:

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
 
#include <iostream>
#include <sstream>
#include <exception>
#include <limits> 
 
using namespace std;
 
class MyException : public runtime_error
{
   public :
      MyException( const char * what ) throw() : runtime_error( what ) {}
   private :
      MyException( const MyException & what ) throw();
      const MyException & operator=( const MyException & what ) throw();
};
 
int main()
{
   try
   {
      throw( MyException( "because" ) );
   }
   catch( const exception & e )
   {
      cout << "main : " << e.what() << endl;
   }
 
   cout << "Appuyez sur entrée pour continuer...";
   cin.ignore( numeric_limits<streamsize>::max(), '\n' );
 
   return 0;
}

08/03/2006, 19h24
loufoque

Normal, tu le déclares mais tu ne le définis pas.
Si tu veux pas le définir, ne le déclare pas...
08/03/2006, 19h33
julien.sagnard

Je le définit en private justement pour éviter de faire des copies sans le savoir.
08/03/2006, 20h39
Volune

D'après ce que je viens de lire de la norme, si la classe de l'objet lancé en exception ne possède pas de constructeur par recopie (ou de destructeur) accessible, le programme est malformé.

L'explication qui me semble être à cela : un objet temporaire est créé par "MyException( "because" )". Un objet temporaire est ensuite alloué et construit avec le constructeur de recopie, c'est ce second objet qui est "lancé".

(je ne sais pas si c'est clair)
08/03/2006, 23h32
loufoque

Oulaaah. Tu confonds déclaration et définition.
Tu déclares un constructeur par recopie mais tu ne le définis pas.

Si tu n'en déclares pas, la copie normale sera effectuée.
09/03/2006, 01h26
JolyLoic

Extrait de la norme :

Citation:

If the use of the temporary object can be eliminated without changing the meaning of the program except for the execution of constructors and destructors associated with the use of the temporary object (12.2), then the exception in the handler can be initialized directly with the argument of the throw expression. When the thrown object is a class object, and the copy constructor used to initialize the temporary copy is not accessible, the program is illformed (even when the temporary object could otherwise be eliminated). Similarly, if the destructor for that object is not accessible, the program is illformed (even when the temporary object could otherwise be eliminated).
09/03/2006, 16h26
julien.sagnard

Merci pour ces réponse.

Ca explique pourquoi le compilateur de visual me disais que je n'avais pas le droit d'utiliser cet objet dans une exception.