Référence à temporaire, qui a été créée par un opérateur de type

Question

Supposons que nous ayons besoin d'une classe pour l'encapsulation de std :: string, et à part tous les autres détails, elle fournit une conversion automatique vers std :: string, en utilisant un type cast opérateur:

class MyWrappedString { 
    std::string m_value; 
    /* ... */ 
public: 
    inline operator std::string() const { 
     return m_value; 
    } 
}; 

Ainsi, l'opérateur renverra une copie de l'objet chaîne enroulée. Mais, pourquoi le code suivant semble-t-il correct?

MyWrappedString x; 
const std::string& y = x; 
// now, y should be a reference to a temporary, right? 
std::cout << "y is: " << y << std::endl; 

L'opérateur de conversion retournera une copie temporaire de m_Value, donc const std::string& y = x va créer une référence à cette copie temporaire.

Pourquoi cela fonctionne-t-il? Je me souviens qu'il y avait une sorte d'extension de la durée de vie des objets référencés, mais je ne suis pas sûr.

Et deuxième question: est-il possible d'avoir un opérateur cast qui renvoie une référence const?

.: par exemple

inline operator const std::string &() const { 
    return m_value; 
} 

Alors que le code ci-dessus ne doit pas travailler sur une copie temporaire?

PS: Cette question est un peu liée à: Lifetime of temporaries, mais encore un problème différent.

Answer 1

const références gardent la référence en vie (même si elle aurait sorti hors de portée normalement) jusqu'à ce que la référence const est hors de portée

Pour la deuxième question: oui, vous pouvez retourner une référence const, et la valeur de retour de la fonction devra être associée à une référence const