Discussion :

[deubelte]

Bonjour

Je n'arrive pa a comprendre pourquoi il faut pas faire ca:

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
 
void
       trash_stack
       ( void )
{
       int dummy = 1;
}
 
int& f(int a){
       a++;
       return a;
}
 
int& g(int o){
       int& a=f(o);
       trash_stack();
 
        return a;
}

Ou plutot, pourquoi ca, ca plante. Ca renvoie pas 1. En passant en Assembly, j'arrive a comprendre, mais en restant en C++, pas moyen de comprendre pourquoi.

Merci

[Goten]

Dans f() tu renvoies une référence sur un temporaire qui est détruit quand tu quittes la fonction... => dangling référence boum.

[3DArchi]

C'est le passage par valeur qui fait que ta variable est temporaire à l'exécution des fonctions. Un passage par référence pour permettre l'enchainement des fonctions :

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
void
       trash_stack
       ( void )
{
       int dummy = 1;
}
 
int& f(int &a){
       a++;
       return a;
}
 
int& g(int &o){
       int& a=f(o);
       trash_stack();
 
        return a;
}

[deubelte]

ok, et ca pourquoi ca fonction??
pourquoi u possède bien la valeur 1?

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
int& fdsf2(int& u)
{
	int o=1;
	trash_stack();
	return o;
}
 
 
void main(){
	int h=2;
	int u=fdsf2(h);
//p=&u;
//int o=gg(u);
// std::cout << o << std::endl;
}

Ici o est aussi une variable locale

[Goten]

Comportement indéfini.

[3DArchi]

Comportement indéfini.

qui veut dire : plantage ou pas plantage ou fait le café...

Au passage, ce n'est pas void main() mais int main() ou int main(int argc, char* argv[])

[deubelte]

alors dans quel cas c'est ok de renvoyer une référence sur une variable locale?

[3DArchi]

alors dans quel cas c'est ok de renvoyer une référence sur une variable locale?

jamais

Bon, une référence ne doit pas avoir une durée de vie plus grande que l'objet qu'elle désigne (comme un pointeur ne doit pas pointer sur une zone désallouée).