fonction C++ et rvalue confusion

Question

en se référant au code suivant:

// Example program 
#include <iostream> 
#include <string> 
using namespace std; 

struct S 
{ 
    S() 
    { 
     cout << "ctor\n"; 
    } 
    S(S&& rhs) 
    { 
     cout << "called move\n"; 
    } 
}; 

S goo() 
{ 
    S a; 
    return a; 
} 

int main() 
{ 

S&& goo(); 
cout << "before construction\n"; 
S a = goo(); 

} 
//http://thbecker.net/articles/rvalue_references/section_05.html 

pourquoi le code appelant la move constructor et non la fonction S goo()? Si vous commentez la première ligne, ce n'est pas le cas.

pourquoi le type de retour de S goo() est-il différent selon la première ligne dans main? Je ne pense pas que cela devrait même compiler mais compilera ici http://cpp.sh/22zeq

(ne compile pas sur wandbox: https://wandbox.org/permlink/3YxBdcWs91FRiODG)

a été la lecture d'un exemple ici: http://thbecker.net/articles/rvalue_references/section_05.html quand je suis tombé sur ce

Answer 1

Il est parce que S&& goo(); est la déclaration de nouvelle fonction. Mais quand vous compilez il n'existe qu'une seule fonction avec un tel nom S goo(); c'est pourquoi il a été appelé.

C'est un travail de lieur. Il n'a trouvé aucune autre fonction avec un tel nom et lié à S goo();

Answer 2

Le type de retour est différent parce S&& goo(); est une déclaration de fonction . Ainsi, il ne construit rien.

Il indique au compilateur que goo est une fonction qui retourne S&& et ne prend aucun argument. Cela écrase toutes les autres déclarations précédentes, donc, pour la fonction main, goo renvoie S&&. Lorsque vous commentez cette ligne, seule la définition de la fonction définit le type de retour. Ceci fonctionne également sur Ideone. C'est-à-dire qu'à l'intérieur de main le type de retour de goo a changé pour S&&.

Answer 3

Puisque tout le monde semble comprendre ce que fait S&& goo(); dans le principal (il déclare une fonction) mais les gens ne semblent pas comprendre comment s'appelle S goo() à la fin.

La raison en est que la valeur de retour ne fait pas partie de la signature de la fonction. Ainsi, lorsque vous appelez goo(), vous finissez par appeler la seule version qui est disponible - une qui renvoie S. Je crois, ceci est un exemple de comportement indéfini.