Discussion :

[hibou107]

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

Voici le code template

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
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 :

Sélectionner tout - Visualiser dans une fenêtre à part

A b( foo() );

Le output est affiché normalement

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
A foo()
{
	cout << "inside foo" << endl;
	return A( 1 );
 
};

Le output est comme ça

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[r0d]

Bonjour,

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

[hibou107]

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

[gbdivers]

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

[Arzar]

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

[Astraya]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
 
{
  A a;
  return a;
}
A b(a);

il peut facilement l'optimiser en

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[3DArchi]

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