Discussion :

[vandamme]

Je m'explique :

Voici un code simple :

Code :

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

1
2
3
4
5
6
7
8
 
int foo()
{
	int v=0;
	return v;
}
 
int& w = foo();  // ne compile pas

Il ne compile pas car on ne peux pas stocker dans une ref la valeur de retour d'une fonction qui est une variable temporaire.
Donc pour l'instant tout est OK.

Cependant, si je remplace le int par un vector, ca marche :

Code :

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

1
2
3
4
5
6
7
8
 
vector<int> foo()
{
	vector<int> v;
	return v;
}
 
vector<int>& w = foo();  // compile OK mais pourquoi ?

Et en fait, je devrais la aussi avoir un pb de compile, et pourtant ca passe.
Quelqu'un pourrait m'expliquer ?

[Jean-Marc.Bourguet]

J'ai la meme erreur pour le vecteur que pour int.

[vandamme]

En fait, c le compilo visual express 2005 qui ne genere pas l'erreur mais sous gcc tout est ok il me met bien le message :

invalid initialization of non-const reference of type 'Widget&' from a temporary of type 'Widget'

[Médinoc]

Visual accepte les références non-const de temporaires non-nommés, c'est un bug connu.

[Obsidian]

Il ne compile pas car on ne peux pas stocker dans une ref la valeur de retour d'une fonction qui est une variable temporaire.
Donc pour l'instant tout est OK.

Pas exactement : on ne stocke rien dans une réf car ce n'est pas en soi une instance de quelque chose et encore moins un registre (contrairement à un pointeur). C'est un concept qui n'a de sens qu'à la compilation. Après, soit l'objet référencé est déjà connu à la compilation et la référence devient un alias, soit on attend qu'il soit transmis et le compilateur utilisera en fait un pointeur de manière complètement transparente.

Le problème est qu'en l'occurence, l'objet référencé (lui-même, donc) est dans la pile, et aura donc déjà disparu lors du retour dans le bloc qui y fait référence.

M'enfin, je crois qu'on est d'accord.