constructeur de recopie:question theorique

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

Code:

---

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:

---

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 ?

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 :

Citation:

---

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:

---

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.

---

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 ?

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

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

Code:

---

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.

Code:

---

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.

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