Renvoie la référence rvalue par rapport au retour par la valeur dans le type de retour de la fonction

Question

Dans mon code, j'ai une fonction qui construit une chaîne à partir d'une donnée et la renvoie ensuite. Cette chaîne n'est utilisée nulle part ailleurs, donc il est sûr pour le côté récepteur d'utiliser move-assignment ou move-initialization.

std::string ReadString(...) { 
    ... 
    return std::string(...) 
} 

C'est essentiellement ce que j'ai. Y at-il un quelconque intérêt à rendre la fonction return type std :: string & &, puisque la valeur retournée est une valeur r?

std::string&& ReadString(...) { 
    ... 
    return std::string(...) 
} 

Ma préoccupation est qu'il pourrait y avoir une copie excédentaire étant faite lorsque nous revenons à notre chaîne, et qu'il peut être atténué en faisant le type de retour une référence rvalue.

Je soupçonne que le compilateur peut également être capable d'optimiser pour ces scénarios, cependant, je ne suis pas sûr. Donc, la question est - est-il utile de faire du type de retour une référence de référence dans ce cas et pourquoi? Aussi, s'il n'y en a pas, alors quelles sont les applications possibles pour les fonctions renvoyant des références rvalue?

Merci.

Answer 1

Renvoyer une référence à un objet sur le point d'être détruit est toujours faux: l'objet référencé sera détruit avant de pouvoir être utilisé sous quelque forme que ce soit. Faire de la référence une référence rvalue ne change rien à cela, il suffit de retourner une compilation temporaire. Notez que le retour d'une chaîne temporaire par valeur entraînera probablement l'élision de la copie, c'est-à-dire que l'objet sera probablement construit directement à l'emplacement où il est utilisé. Si cela ne se produit pas, l'objet sera déplacé s'il existe un constructeur de déplacement pour le type de retour (pour std::string). Notez qu'il en va de même lorsque vous renvoyez une variable locale de fonction au lieu du temporaire.