Référence renvoyant la valeur de la fonction

Question

Je suis confus si l'extrait suivant foo est garanti, c'est-à-dire si je suis autorisé à stocker des valeurs de retour de fonction comme références constantes?

Je demande parce que la valeur de retour est stockée sur une pile-cadre, qui pourrait être invalide peu de temps après que la valeur a été retournée.

Foo getFoo() { 
    return Foo(); 
} 

void bar() { 
    const auto& foo = getFoo(); 

    // more function calls... 

    // is foo guaranteed to be valid? 
} 

Answer 1

Il est valide C++, mais il faut savoir que certains compilateurs (par exemple Visual Studio 2015, pour autant que je sache) ne mettent pas en œuvre correctement.

Selon la norme (N4140):

12.2 objets temporaires
....

Il y a deux contextes dans lesquels sont détruits à temporaires un point différent de celui fin de la fullexpression. Le premier contexte est lorsqu'un constructeur par défaut est appelé pour initialiser un élément d'un tableau. Si le constructeur a un ou plusieurs arguments par défaut, la destruction de chaque élément temporaire créé dans un argument par défaut est séquencée avant la construction de l'élément de tableau suivant, le cas échéant.

Le deuxième contexte est lorsqu'une référence est liée à un temporaire. Le temporaire dans lequel la référence est lié ou temporaire qui est l'objet complet d'un sous-objet pour lequel la référence est lié persiste pendant toute la durée de la référence sauf:

(quelques exceptions)