Verlängert ein Mitglied einer konstanten Referenzklasse die Lebensdauer eines temporären?

Warum macht das:

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

Geben Sie die Ausgabe von:

Die Antwort ist:

Anstatt:

Die Antwort lautet: vier

Nur lokale const Referenzen verlängern die Lebensdauer.

Der Standard spezifiziert ein solches Verhalten in §8.5.3 / 5, [dcl.init.ref], dem Abschnitt über Initialisierer von Referenzdeklarationen. Die Referenz in Ihrem Beispiel ist an das Argument des Konstruktors gebunden nund wird ungültig, wenn das Objekt naußerhalb des Gültigkeitsbereichs liegt.

Die Lebensdauerverlängerung ist nicht durch ein Funktionsargument transitiv. §12.2 / 5 [class.temporary]:

Der zweite Kontext ist, wenn eine Referenz an eine temporäre Referenz gebunden ist. Das temporäre Objekt, an das die Referenz gebunden ist, oder das temporäre Objekt, das das vollständige Objekt eines Unterobjekts ist, an das das temporäre Objekt gebunden ist, bleibt für die Lebensdauer der Referenz bestehen, sofern nachstehend nichts anderes angegeben ist. Eine temporäre Bindung an ein Referenzelement im ctor-Initialisierer eines Konstruktors (§12.6.2 [class.base.init]) bleibt bestehen, bis der Konstruktor beendet wird. Eine temporäre Bindung an einen Referenzparameter in einem Funktionsaufruf (§5.2.2 [expr.call]) bleibt bis zum Abschluss des vollständigen Ausdrucks bestehen, der den Aufruf enthält.

Hier ist der einfachste Weg, um zu erklären, was passiert ist:

In main () haben Sie eine Zeichenfolge erstellt und an den Konstruktor übergeben. Diese Zeichenfolgeninstanz war nur im Konstruktor vorhanden. Innerhalb des Konstruktors haben Sie ein Mitglied zugewiesen, das direkt auf diese Instanz verweist. Als der Bereich den Konstruktor verließ, wurde die Zeichenfolgeninstanz zerstört, und das Mitglied zeigte auf ein Zeichenfolgenobjekt, das nicht mehr vorhanden war. Wenn Sandbox.member auf eine Referenz außerhalb seines Gültigkeitsbereichs verweist, werden diese externen Instanzen nicht im Gültigkeitsbereich gespeichert.

Wenn Sie Ihr Programm so reparieren möchten, dass das gewünschte Verhalten angezeigt wird, nehmen Sie die folgenden Änderungen vor:

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

Jetzt wird temp am Ende von main () anstatt am Ende des Konstruktors nicht mehr gültig sein. Dies ist jedoch eine schlechte Praxis. Ihre Mitgliedsvariable sollte niemals ein Verweis auf eine Variable sein, die außerhalb der Instanz existiert. In der Praxis wissen Sie nie, wann diese Variable den Gültigkeitsbereich verlässt.

Ich empfehle, Sandbox.member als zu definieren. const string member;Dadurch werden die Daten des temporären Parameters in die Membervariable kopiert, anstatt die Membervariable als temporären Parameter selbst zuzuweisen .

Technisch gesehen ist dieses Programm nicht erforderlich, um tatsächlich etwas an die Standardausgabe auszugeben (dies ist zunächst ein gepufferter Stream).

• Das cout << "The answer is: "Bit wird "The answer is: "in den Puffer von stdout ausgegeben.

• Dann << sandbox.memberliefert das Bit die baumelnde Referenz in operator << (ostream &, const std::string &), die undefiniertes Verhalten hervorruft .

Aus diesem Grund ist garantiert nichts passiert. Das Programm funktioniert möglicherweise einwandfrei oder stürzt ab, ohne dass stdout gelöscht wird. Dies bedeutet, dass der Text "Die Antwort lautet:" nicht auf Ihrem Bildschirm angezeigt wird.

Da Ihre temporäre Zeichenfolge nach der Rückkehr des Sandbox-Konstruktors nicht mehr gültig war und der von ihm belegte Stapel für andere Zwecke zurückgefordert wurde.

Im Allgemeinen sollten Sie Referenzen niemals langfristig aufbewahren. Referenzen sind gut für Argumente oder lokale Variablen, niemals für Klassenmitglieder.

Sie beziehen sich auf etwas, das verschwunden ist. Folgendes wird funktionieren

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