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.