Discussion :

[julien.sagnard]

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 :

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

[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...

[julien.sagnard]

Je le définit en private justement pour éviter de faire des copies sans le savoir.

[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)

[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.

[JolyLoic]

Extrait de la norme :

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).

[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.