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.

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

[r0d]

Effectivement, Arzar a raison, je viens de vérifier
Il faut que je révise mes classiques moi

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

[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?

[foolib]

Tout d'abord, merci à chacun d'avoir participé à ce post
Je pense avoir ma réponse ... en fait les deux semblent appelés

Voilà ce que j'ai quand je print

MAIN ====== INIT
- CTRCT-DEFAUT a ( Appel du constructeur par défaut)
- CTRCT-DEFAUT b ( Appel du constructeur par défaut)
MAIN ====== SYMETRIQUE
- CTRCT-DEFAUT ( Appel du constructeur par défaut pour l'objet locale dans symetrique() )
MAIN ====== Affectation b = a.symetrique();
- END-SYM
- OPERATOR= ( Appel de l' operator= )
- COPY ( Appel du constructeur par recopie qui reçoit la valeur retournée par operator=)
MAIN ====== END SYMETRIQUE

L'opérateur = (parce qu'il retourne une valeur) donne le relais au constructeur de recopie

Citation :"Lorsque la transmission d'un argument ou d'une valeur de retour se fait par valeur, elle met en œuvre une recopie.
Lorsqu'elle concerne un objet, cette recopie est réalisée soit par le constructeur de recopie prévu par le développeur de la classe s'il l'a prévu, soit le cas échéant par le constructeur de recopie par défaut"

??

Pour ceux qui veulent savoir pourquoi l'operator= renvoie par valeur :
Mon operator= est tiré du livre de "Apprendre le C++" par C.Delannoy ; il donne une redéfinition générale de cet opérateur de la manière suivante

Code :

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

1
2
3
4
5
6
7
obj obj::operator= (const obj & o)
{
//instructions
...
 
return * this;
}

De cette manière, une instruction telle que b=a aura une valeur ... on pourra du coup chaîner les affectations.
Si toutefois on ne souhaite faire que des affections simple b=a, l' operator= peut (voir doit) n'avoir aucune valeur de retour (void).

PS : IDE -> Code::Blocks

[Médinoc]

Pour ceux qui veulent savoir pourquoi l'operator= renvoie par valeur :
Mon operator= est tiré du livre de "Apprendre le C++" par C.Delannoy ; il donne une redéfinition générale de cet opérateur de la manière suivante

Code :

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

1
2
3
4
5
6
7
obj obj::operator= (const obj & o)
{
//instructions
...
 
return * this;
}

De cette manière, une instruction telle que b=a aura une valeur ... on pourra du coup chaîner les affectations.
Si toutefois on ne souhaite faire que des affections simple b=a, l' operator= peut (voir doit) n'avoir aucune valeur de retour (void).

Cela ne me donne aucune raison valable à mes yeux de renvoyer par valeur plutôt que par référence (comme c'est conseillé partout ailleurs).

[Luc Hermitte]

Pour ceux qui veulent savoir pourquoi l'operator= renvoie par valeur :
Mon operator= est tiré du livre de "Apprendre le C++" par C.Delannoy ;

Ha!

[foolib]

Cela ne me donne aucune raison valable à mes yeux de renvoyer par valeur plutôt que par référence (comme c'est conseillé partout ailleurs).

Honnêtement je ne vois pas non plus la raison valable ...
Pourriez vous me dire si ce qui suit est la seule différence entre les deux méthodes (retour par valeur/reference)?

la différence vient du fait que par valeur, les données sont copiées temporairement au moment du retour pour être traitées.
Par référence, les données seront exploités depuis l'objet référencé sans objet temporaire (gain de mémoire).
Merci

[screetch]

hmm pas vraiment
même si c'est un petit peu capillotracté

Code :

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

1
2
 
(a=b).setValue(2);

ce coode effectue l'opérateur a = b donc b est copié dans a, puis on change une valeur dans a
si l'opérateur = renvoie une référence, ca marche
si l'opérateur = renvoie une copie, ca ne fait pas ce que l'on attend

c'est une erreur de renvoyer une copie, une erreur d'autant plus grave qu'elle passe inapercu partout.

je me demande si c'est valide de renvoyer rien du tout (void) pour éviter la confusion ci-dessus. c'est pas pour les fois dans sa vie ou ca peut etre utile...