Un membre de la classe de référence const prolonge-t-il la vie d'un temporaire?

Pourquoi cela:

#include <string>
#include <iostream>
using namespace std;

class Sandbox
{
public:
    Sandbox(const string& n) : member(n) {}
    const string& member;
};

int main()
{
    Sandbox sandbox(string("four"));
    cout << "The answer is: " << sandbox.member << endl;
    return 0;
}

Donner la sortie de:

La réponse est:

Au lieu de:

La réponse est: quatre

Seules les const références locales prolongent la durée de vie.

La norme spécifie un tel comportement dans le §8.5.3 / 5, [dcl.init.ref], la section sur les initialiseurs de déclarations de référence. La référence dans votre exemple est liée à l'argument du constructeur net devient invalide lorsque l'objet nest lié à est hors de portée.

L'extension de durée de vie n'est pas transitive via un argument de fonction. §12.2 / 5 [classe.temporaire]:

Le deuxième contexte est lorsqu'une référence est liée à un temporaire. Le temporaire auquel la référence est liée ou le temporaire qui est l'objet complet d'un sous-objet dont le temporaire est lié persiste pendant la durée de vie de la référence, sauf comme spécifié ci-dessous. Une liaison temporaire à un membre de référence dans le ctor-initializer d'un constructeur (§12.6.2 [class.base.init]) persiste jusqu'à ce que le constructeur se termine. Une liaison temporaire à un paramètre de référence dans un appel de fonction (§5.2.2 [expr.call]) persiste jusqu'à l'achèvement de l'expression complète contenant l'appel.

Voici le moyen le plus simple d'expliquer ce qui s'est passé:

Dans main (), vous avez créé une chaîne et l'avez passée au constructeur. Cette instance de chaîne n'existait que dans le constructeur. À l'intérieur du constructeur, vous avez affecté le membre pour qu'il pointe directement vers cette instance. Lorsque la portée a quitté le constructeur, l'instance de chaîne a été détruite et le membre a ensuite pointé vers un objet chaîne qui n'existait plus. Le fait que Sandbox.member pointe vers une référence en dehors de sa portée ne maintiendra pas ces instances externes dans la portée.

Si vous souhaitez corriger votre programme pour afficher le comportement souhaité, apportez les modifications suivantes:

int main()
{
    string temp = string("four");    
    Sandbox sandbox(temp);
    cout << sandbox.member << endl;
    return 0;
}

Désormais, temp passera hors de portée à la fin de main () plutôt qu'à la fin du constructeur. Cependant, c'est une mauvaise pratique. Votre variable membre ne doit jamais être une référence à une variable qui existe en dehors de l'instance. En pratique, vous ne savez jamais quand cette variable sortira du champ d'application.

Ce que je recommande est de définir Sandbox.member comme un const string member;Cela copiera les données du paramètre temporaire dans la variable membre au lieu d'assigner la variable membre comme paramètre temporaire lui-même.

Techniquement parlant, ce programme n'est pas obligé de produire quoi que ce soit sur la sortie standard (qui est un flux tamponné pour commencer).

• Le cout << "The answer is: "bit sera émis "The answer is: "dans le tampon de stdout.

• Ensuite, le << sandbox.memberbit fournira la référence pendante dans operator << (ostream &, const std::string &), qui invoque un comportement indéfini .

Pour cette raison, rien n'est garanti. Le programme peut fonctionner en apparence correctement ou peut planter sans même vider stdout - ce qui signifie que le texte "La réponse est:" n'apparaîtra pas sur votre écran.

Parce que votre chaîne temporaire est devenue hors de portée une fois le constructeur Sandbox retourné, et la pile occupée par elle a été récupérée à d'autres fins.

En règle générale, vous ne devez jamais conserver les références à long terme. Les références sont bonnes pour les arguments ou les variables locales, jamais pour les membres de la classe.

vous parlez de quelque chose qui a disparu. Ce qui suit fonctionnera

#include <string>
#include <iostream>

class Sandbox
{

public:
    const string member = " "; //default to whatever is the requirement
    Sandbox(const string& n) : member(n) {}//a copy is made

};

int main()
{
    Sandbox sandbox(string("four"));
    std::cout << "The answer is: " << sandbox.member << std::endl;
    return 0;
}