Discussion :

[voyageur]

Bonsoir, j'ai cette fonction ass qui me revoit un type chiffre ( qui est une classe) :

Code :

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

1
2
3
4
5
6
chiffre ass(chiffre u)
{ chiffre c(1,1) ;
  chiffre v(c) ;
  chiffre w = c ;
  return w ;
}

Vous etes d'accord que le constrcuteur par recopie est appel� 4 fois dans cette fonction ?

Mais quand je fais ca , le constructeur par recopie est appel� 7 fois au lieu de 9

Code :

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

1
2
3
4
5
6
void main ()
{
		chiffre y(2,2) ;
		chiffre z = ass ( ass(y) ); // <------ 7 fois appelés
 
}

Quelqu'un peut m'expliquer pourquoi ?

[JolyLoic]

Il existe ce qui s'appelle la RVO, ou return value optimisation. Le compilateur est autoris� � supprimer la copie r�sultant du retour d'une valeur d'une fonction.

Un extrait de la norme :

Whenever a temporary class object is copied using a copy constructor, and this object and the copy have the same cvunqualified type, an implementation is permitted to treat the original and the copy as two different ways of referring to the same object and not perform a copy at all, even if the class copy constructor or destructor have side effects. For a function with a class return type, if the expression in the return statement is the name of a local object, and the cvunqualified type of the local object is the same as the function return type, an implementation is permitted to omit creating the temporary object to hold the function return value, even if the class copy constructor or destructor has side effects. In these cases, the object is destroyed at the later of times when the original and the copy would have been destroyed without the optimization. 111) [Example:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
class Thing {
public:
  Thing();
  ~Thing();
  Thing(const Thing&);
  Thing operator=(const Thing&);
  void fun();
};
Thing f() {
  Thing t;
  return t;
}
Thing t2 = f();

Here t does not need to be copied when returning from f. The return value of f may be constructed
directly into the object t2. ]
__________________
111) Because only one object is destroyed instead of two, and one copy constructor is not executed, there is still one object destroyed
for each one constructed.

[voyageur]

donc si j'ai bien compris c'est le compilateur qui decide lui meme si il supprime la recopie ou pas � la sortie de la fonction ?
Donc le programmeur ne peut pas savoir combien de fois le constructeur par recopie est appel� ?
Sinon connais tu des liens ou des livres qui parlent de cas en details ?

[Aurelien.Regat-Barrel]

Fais ce genre de tests en d�sactivant les optimisations lors de la compilation.

[voyageur]

sous visual c++ c'est deja desactiv� par defaut

[Aurelien.Regat-Barrel]

Code :

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

1
2
3
 
      chiffre y(2,2) ; 
      chiffre z = ass ( ass(y) ); // <------ 7 fois appelés

Premier ass( y ) : appel� 4 fois.
On se retrouve dans le 2� ass, avec u d�j� copi� (return pr�c�dent).
On fait 3 copies de plus. A la sortie �a a �t� recopi� dans z, donc c'est fini. 4 +3 = 7, c'est bon.

[voyageur]

Code :

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

1
2
chiffre y(2,2) ;
      chiffre z = ass ( ass(y) ); // <------ 7 fois appelés

ass ( ass(y) ) ------> 4+3 = 7 fois
chiffre z = ass ( ass(y) ) -----> 1 fois pour le z non ?

donc 8 en tout logiquement.

[Laurent Gomila]

Non justement, la m�me r�gle s'applique ici. z est construit directement � partir du retour de ass.