Constructeur par copie

Bonjour,
Je suis en train de tester le comportement du constructeur par copie sous C++

Voici le code template

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 34 35 36

#include <iostream> using namespace std;   class A{ public: int i; A(int i) : i( i ){ cout << "Constructor" << endl;}; ~A(){ cout << "Destructor" << endl;}; A(const A& a) { cout << "Constructor copy" << endl; i = a.i;   }; A& operator=(const A& a){cout <<"Operator=" << endl;}; };   A foo() { cout << "inside foo" << endl; A a( 1 ); return a;   };     int main() { A b( foo() ); //A a( b );   cout << " b.i " << b.i << endl; system("pause"); return 0; }

---

Le comportement est normal, si je fais

Code:

---

A b( foo() );

---

Le output est affiché normalement

Code:

---

1 2 3 4 5 6

inside foo Constructor Constructor copy Destructor b.i 1 Press any key to continue . . .

---

Par contre si je modifie la méthode foo()

Code:

---

1 2 3 4 5 6

A foo() { cout << "inside foo" << endl; return A( 1 );   };

---

Le output est comme ça

Code:

---

1 2 3 4

inside foo Constructor b.i 1 Press any key to continue . . .

---

La question est la copie se fait par quelle méthode? D'après le output, les valeurs de b sont bien initialisés mais je ne vois pas quelle méthode a été utilisées?

Merci

Bonjour,

Je pense que le compilateur fais une optimisation dans le 2eme cas. Quel compilateur utilises-tu? Quelles options d'optimisation?

Citation:

---

Envoyé par r0d

Bonjour,

Je pense que le compilateur fais une optimisation dans le 2eme cas. Quel compilateur utilises-tu? Quelles options d'optimisation?

---

J'utilise Visual Studio 2010

Je pense que c'est une "Return Value Optimization" (à confirmer par les experts C++ du forum).

Par contre j'aurais pensé que la première version aurait été optimisé aussi (par "Named Return Value Optimization").
De plus, je me serais attendu à ce que le constructeur soit appelé en premier avant foo() après optimisation. Il faut que je revois ça.

EDIT : après vérification ici, on a bien une NRVO dans le premier cas (on gagne en fait un appel au constructeur de copie).
Par contre, je ne comprend toujours pas pourquoi on a l'appel au constructeur après l'appel à la fonction foo()

Citation:

---

Envoyé par gbdivers

Par contre j'aurais pensé que la première version aurait été optimisé aussi (par "Named Return Value Optimization").

---

La première version est optimisé avec vs2010, mais hibou107 a testé uniquement en debug et pas en release.
Visual studio n'applique pas la NRVO en debug, il applique seulement la URVO (unamed value optimization, c'est à dire le retour d'un temporaire anonyme, comme dans le second cas).
http://connect.microsoft.com/VisualS...-in-debug-mode

C'est simplement une optimisation des compilateurs, ça ne pourrait être le cas avec une classe plus complexe. Ici, la classe ne contient que un int donc facile à optimiser, la NRVO n'y est pour rien dans ce cas. Avec une structure plus complexe je doute que le compilateur puisse déduire une telle optimisation sans la NRVO.

Si le constructeur est appelé après c'est parce que elle semble "inliner".
si le compilateur rencontre un code du type:

Code:

---

1 2 3 4 5 6

{ A a; return a; } A b(a);

---

il peut facilement l'optimiser en

Code:

---

1 2

A b;

---

Mais a ta place je porterais une attention particulière dans le cas ou A détient une allocation dynamique.
LA NRVO est a surveiller de prêt au moment de la release a ce moment la...

Bonjour,
F.A.Q. : Qu'est-ce que la RVO ? et les suivantes