Un membro della classe di riferimento const prolunga la vita di un temporaneo?

Perché questo:

#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;
}

Dai un output di:

La risposta è:

Invece di:

La risposta è: quattro

Solo i const riferimenti locali prolungano la durata della vita.

La norma specifica tale comportamento in §8.5.3 / 5, [dcl.init.ref], la sezione sugli inizializzatori delle dichiarazioni di riferimento. Il riferimento nel tuo esempio è legato all'argomento del costruttore ne diventa non valido quando l'oggetto nè destinato a uscire dall'ambito.

L'estensione di durata non è transitiva attraverso un argomento di funzione. §12.2 / 5 [class.temporary]:

Il secondo contesto è quando un riferimento è associato a un temporaneo. Il temporaneo a cui è associato il riferimento o il temporaneo che è l'oggetto completo di un oggetto secondario a cui è associato il temporaneo persiste per la durata del riferimento, ad eccezione di quanto specificato di seguito. Un temporaneo associato a un membro di riferimento nell'inizializzatore ctor di un costruttore (§12.6.2 [class.base.init]) persiste fino a quando il costruttore non esce. Un temporaneo associato a un parametro di riferimento in una chiamata di funzione (§5.2.2 [expr.call]) persiste fino al completamento dell'espressione completa contenente la chiamata.

Ecco il modo più semplice per spiegare cosa è successo:

In main () hai creato una stringa e la hai passata al costruttore. Questa istanza di stringa esisteva solo all'interno del costruttore. All'interno del costruttore, è stato assegnato un membro per puntare direttamente a questa istanza. Quando quando l'ambito ha lasciato il costruttore, l'istanza di stringa è stata distrutta e il membro ha quindi puntato su un oggetto stringa che non esisteva più. Avere Sandbox.member che punta a un riferimento al di fuori del suo ambito non terrà tali istanze esterne nell'ambito.

Se si desidera correggere il programma per visualizzare il comportamento desiderato, apportare le seguenti modifiche:

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

Ora la temperatura passerà dall'ambito alla fine di main () anziché alla fine del costruttore. Tuttavia, questa è una cattiva pratica. La tua variabile membro non dovrebbe mai essere un riferimento a una variabile che esiste al di fuori dell'istanza. In pratica, non si sa mai quando quella variabile andrà fuori dal campo di applicazione.

Quello che consiglio è di definire Sandbox.member come const string member;Questo copierà i dati del parametro temporaneo nella variabile membro invece di assegnare la variabile membro come parametro temporaneo stesso.

Dal punto di vista tecnico, questo programma non è necessario per inviare effettivamente nulla all'output standard (che è inizialmente un flusso bufferizzato).

• Il cout << "The answer is: "bit verrà emesso "The answer is: "nel buffer di stdout.

• Quindi il << sandbox.memberbit fornirà il riferimento penzolante in operator << (ostream &, const std::string &), che invoca un comportamento indefinito .

Per questo motivo, non è garantito che accada nulla. Il programma potrebbe funzionare apparentemente bene o potrebbe bloccarsi senza nemmeno scaricare lo stdout - il che significa che il testo "La risposta è:" non apparirà sullo schermo.

Perché la tua stringa temporanea è uscita dall'ambito una volta che il costruttore Sandbox è tornato e lo stack da essa occupato è stato recuperato per altri scopi.

In generale, non si dovrebbe mai conservare riferimenti a lungo termine. I riferimenti sono utili per argomenti o variabili locali, mai membri della classe.

ti riferisci a qualcosa che è svanito. Di seguito funzionerà

#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;
}