Transmission parfaite des valeurs de retour, comportement indéfini?

Question

J'ai un ensemble de fonctions où j'emploie la spécialisation de modèle pour effectuer des transformations sur certaines valeurs. Cependant, pour beaucoup de types je veux passer les valeurs à travers inchangées.

Pour passer une valeur inchangée, j'ai quelque chose comme la fonction suivante comme valeur par défaut:

template< typename arg > 
arg&& convert(arg&& x) 
{ 
    return std::forward<arg>(x); 
} 

Cela semble grande mais selon la réponse here il court le risque de laisser une référence boiteuse dans une déclaration comme: Si j'utilise uniquement cette fonction inline dans les arguments de fonction, est-ce que ce risque est évité?

Par exemple, puis-je lancer dans un comportement indéfini si je fais quelque chose comme ...

void foo(int&& x) 
{ 
    // Do something with x... 
} 

foo(convert(5)); 

Answer 1

Par exemple, puis-je lancer dans un comportement indéfini si je fais quelque chose comme ...

No. La règle, de [class.temporary], Souligné par l'auteur, est:

un objet temporaire lié à un référen Ce paramètre dans un appel de fonction persiste jusqu'à ce que le achèvement de l'expression complète contenant l'appel.

Notre temporaire (5) est lié à un paramètre de référence en un appel de fonction (à arg&& en convert()), de sorte qu'il persiste jusqu'à la fin de la pleine expression (qui est l'ensemble des foo(convert(5))). Donc, c'est bien, tant que vous ne laissez pas une référence à x échapper foo().