Discussion :

[foolib]

Mon problème est simple, dans le code ci dessous, je ne comprends pas pourquoi à la ligne indiquée dans main, le constructeur de copie est appelé plutôt que la méthode 'operator=' de la classe ...
1 - Le constructeur de copie est censé n'intervenir qu'en cas de d'initialisation d'un objet : alors pourquoi b est concidéré non initialisé ?
( il est déclaré à la ligne du dessus, donc un constructeur par defaut a déjà fait le boulo non ?)
2 - Enfin, que faudrait il pour que la méthode operator= soit appelée à cet endroit plutôt que le constructeur de copie ?

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
37
38
39
#include <iostream>
using namespace std;
 
class point
{ int x, y;
public :
point (int abs=0,int ord=0){ 
	x=abs; 
	y=ord;
}
point (const point &p){ 
	x=p.x; 
	y=p.y;
}
~point(){}
point operator=(const point &p);
point symetrique();
}
 
point point::symetrique(){
	point res;
	res.x = -x;	res.y = -y;
	return res;
}
 
point operator=(const point &p){
	x=p.x; 
	y=p.y;
	return *this;
}
 
int main(){
 
point a(1,3), b;
 
b = a.symetrique();  // <------ICI
 
return 0;
}

Merci d'avance

[gbdivers]

Bonjour RipCode

La ligne suivante est une simple déclaration sans initialisation :

Code :

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

point b;

Essaie de "forcer" l'initialisation avec pour appeler le constructeur par défaut :

Code :

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

point b();

[Arzar]

Et remplacer un code correct par un code faux ? T'as de drole de conseils gbdivers.
(pour plus d'information sur pourquoi "point b();" est faux, google -> "C++ most vexing parse", c'est une erreur vicieuse et très courante)

Sinon, RipCode, sous vs2005, ton code passe bien dans l'opérateur= comme prévu. Tu utilises quel compilateur ?

[zul]

Sans certitude, mais je pense que le compilateur peut (doit) optimiser dans ce cas précis, il n'a aucune raison de construire un objet par défaut, puisque le premier traitement que tu fais sur cette objet, c'est de lui affecter le retour de a.symetrique() (et dans ce cas là, il est valide d'appeler le constructeur par copie).

[Arzar]

Non, il ne peut pas optimiser ici, car :

Code :

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

1
2
 
Point b;

force l'appel du constructeur par défaut.

Le comilateur optimise dans ce cas là :

Code :

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

1
2
 
Point b = a.symetrique();

L'optimisation étant qu'il n'y a plus de point temporaire crée dans la fonction symetrique() car le compilateur construit directement dans le point b. On a donc que deux appels aux constructeurs par défaut dans tous le programme, un pour a et un pour b, alors que dans le programme original de RipCode on a :
Ctor (pour a)
Ctor (pour b)
Ctor (pour le temporaire dans symetrique)
Operator = (pour la copie)

Edit : D'ailleurs il y a une petite erreur dans l'operateur=, il faut renvoyer un point&, pas un point.

[Médinoc]

Non, il ne peut pas optimiser ici, car :

Code :

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

1
2
 
Point b;

force l'appel du constructeur par défaut.

Le code du constructeur par défaut est visible et trivial, le compilateur peut donc l'inliner, ce qui revient ici à le supprimer.

PS: Pourquoi l'opérateur = de ce code retourne-t-il une copie?

[r0d]

Bonjour,

chez moi (j'ai compilé et testé avec visual 2008 express ed.), il passe bien par l'opérateur =, même en release avec optimisations.
Cela dit, il passe bien par l'opérateur par copie avant. C'est dans la fonction symetrique(), à la ligne:

Code :

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

return res;

qu'il fait une copie du point*. Mais ensuite, il affecte bien b à ce que retourne symetrique() en utilisant l'opérateur =.


* ce qui est normal. Pour éviter cela, il faut passer par une référence.

[Arzar]

Ben non c'est pas normal, rod.
Ce comportement là (un constructeur par copie à la ligne return res; puis une affectation avec l'opérateur =) est typique du mode debug sous VS.
En release, la ligne b = a.symetrique() ne déclenche qu'un appel à l'opérateur = .

(Mais le must reste Point b = a.symetrique(), comme dit plus haut, car il n'y a acune copie du tout)

[gbdivers]

Merci Arzar
C'est probablement une erreur que je dois faire régulièrement...

[3DArchi]

Et remplacer un code correct par un code faux ? T'as de drole de conseils gbdivers.
(pour plus d'information sur pourquoi "point b();" est faux, google -> "C++ most vexing parse", c'est une erreur vicieuse et très courante)

Et renvoyer vers des recherches approximatives ? Tu as de drôle de conseil Arzar Alors qu'on a la réponse en français dans la F.A.Q. de développez.