[C++] return par référence

Omega_55 -  
 16aR -
Salut tout le monde,

Je programme assez bien le C++, mais je ne vois pas toujours bien ce qui se passe au niveau allocation de la mémoire.

Genre, j'ai une classe dont une méthode fait un retour par référence.

Si je fais

double& MaClasse::MaMethode()
{
double* a=new double(2);
return *a;
}

J'ai alloué de la mémoire qui ne sera pas libérée à la fin de la méthode puisque j'utilise "new".

Mais lorsque j'appelle ma méthode, je ne peux plus libérer la mémoire puisque je reçois non pas un pointeur en retour mais un objet, donc impossible de faire delete sur le "double a" retourné...

Où est l'erreur ? Faut il absolument éviter d'allouer de la mémoier avec new dans ce cas ?

Ou peut être la valeur retournée sera "locale" dans la section d'appel à la méthode, et sera détruite à la fin de cette section ?

Merci d'avance...
A voir également:

11 réponses

nico
 
Justement, le passage par référence évite d'utiliser les pointeurs, qui appartiennent plus au monde du C.
Pourquoi les aurait-on ajouter dans le langage sinon ?

Les références permettent notamment d'utiliser des pointeurs comme des objets, en évitant la copie qui peut être longue et non voulue dans certains cas.

Si tu n'as pas de problème avec ton code initial :

double& MaClasse::MaMethode()
{
double* a=new double(2);
return *a;
}

Tu pourras toujours libérer la mémoire plus tard:

double& d = MonInstance.MaMethode ();

delete &d; // prend l'adresse de d.


Petite précision: a la sortie de la méthode, ce n'est pas le double qui est perdu, c'est le pointeur vers un double.
8
kilian Messages postés 8732 Date d'inscription   Statut Modérateur Dernière intervention   1 526
 
Deux ans plus tard je suis d'accord avec toi ;-)
0
Char Snipeur Messages postés 9813 Date d'inscription   Statut Contributeur Dernière intervention   1 299
 
Salut.
Je vais pas t'apporter grand chose.
Mais je sais que j'ai le même problème. Normalement, le compilateur te renvoi un warning comme quoi tu retourne une référence locale.
Moi, je me satisfait du peux de fuite mémoire que cela entraine.
D'un autre coté, je ne voi pas ton intéret à retourner un double&
moi je retourne des double* afin de retourner des tableaux
En fait, pour répondre plus précisemment à ta question, tu as une fuite de mémoire.
la valeur retourné si elle n'est pas affecter est perdu, mais la mémoire n'est pas libérer
1
Omega_55
 
Salut Char Snipeur,

"moi je retourne des double* afin de retourner des tableaux "

Justement, puisqu'on parle de ça, j'ai aussi une difficulté là !

On m'a dit qu'il n'y avait pas de différence entre un tableau dynamique et un pointeur (ou peut être même un pointeur de pointeur, je ne sais plus)...

Mais alors, comment on fait si on veut rajouter un élément (équivalent à un push_back sur vector) ?

Si j'ai bien compris:

double* a=new double(3);

C'est un peu comme:

a[0]=3;

Mais alors si je veux rajouter un élément à mon "tableau" comme si c'était un vector<double> ?

A+
1
gaby10 Messages postés 445 Date d'inscription   Statut Membre Dernière intervention   58
 
double& MaClasse::MaMethode()
{
double* a=new double(2);
return *a;
}


salut est ce que tu n'es pas en train de retourner la reference a un objet qui est decedé à la fin de ta procedure.Je pense en faisant un truc de ce genre cela resoud le probleme

double *b;
double& MaClasse::MaMethode()
{
double* a=new double(2);
b=a;
return *b;
}

1
16aR
 
Un pointeur ne sera pas supprimé en sortant de MaClasse::MaMethode() .

Mais du coup, l'utilisateur du pointeur de cette fonction devra gérer lui même le delete de ce pointeur. Il y'a des chances qu'il ne le fasse pas => memory leak/fuite mémoire
0

Vous n’avez pas trouvé la réponse que vous recherchez ?

Posez votre question
Char Snipeur Messages postés 9813 Date d'inscription   Statut Contributeur Dernière intervention   1 299
 
Oui, c'est sur, tu passes par une variable globale.
mais à ce moment la, tu risque de créer des liens bizard entre varible...
en effet, tableau et pointeur, c'est pareil.
par exemple, tu peux faire :
*(a+3)
c'est équivalent à a[3].
Pour les tableau, c'est
a=new double[3];
pour un tableau à 3 cases
ensuite, tu doi pouvoir faire un
a=new double[4];
pour ajouter un élement, mais je ne suis pas sur de la copie des valeurs.
En fait, à quoi te sert ton double& ?
1
gaby10 Messages postés 445 Date d'inscription   Statut Membre Dernière intervention   58
 
à quoi te sert ton double& ?
pouyr dire que je retourne une reference à une variable
1
Char Snipeur Messages postés 9813 Date d'inscription   Statut Contributeur Dernière intervention   1 299
 
Ok, je comprend quand la variable fait partie de la class, genre
struct A{double a;...}
double& A::var(){return a;}
te permet de faire directement
A.var()=3;
mais si tu crée la variable dans la fonction, je ne voi pas l'intéret.
1
kilian Messages postés 8732 Date d'inscription   Statut Modérateur Dernière intervention   1 526
 
Oui, je ne comprend pas pourquoi tu veux retourner l'objet et non pas le pointeur vers l'objet.

Tu préfères peut être les points aux flêches :-) ?

Plus sérieusement, en récupérant le pointeur vers l'objet, au moins tu pourras le détruire plus tard.
1
nico
 
Un étudiant avait le même problème et il est tombe sur ce thread, ou la réponse n'avait pas été fournie !

Juste pour les suivants,,, ;-)
1
Char Snipeur Messages postés 9813 Date d'inscription   Statut Contributeur Dernière intervention   1 299
 
Je ne trouve ça quand même pas très propre du point de vue "bonne manière" de faire ainsi.
L'utilisateur qui utilise la fonction n'est pas forcément au courant de la manière dont est faite la fonction.
Si il récupère la variable dans une donnée "classique" (ce qui est faisable)
double a=MonInstance.MaMethode ();
alors là il y a bien un problème de mémoire que l'on ne peut rendre.
Et de toute manière un tel utilisateur ignorant si il y a un new ou pas ne sait pas si il doit libérer la mémoire.
MaMethode() peut très bien retourné une référence à une variable de MonInstance qui n'utilise alors pas de new (ou carement à une variable globale).
En revanche, si on retourne un pointeur, par convention on peut s'attendre à avoir à le libérer.
1
nico
 
Je ne répondais pas a une manière de (bien) faire les choses, je ne répondais juste a une question d'implémentation...

On peut toujours lever le doute dont tu parles en lisant le code, si on ne la pas fait soi-même. Une documentation sérieuse précisera ce genre de problème de mémoire... etc...
1