C++ Rückkehr temporäre Objekte Verwirrung

Question

ich habe eine ziemlich grundlegende C++ Frage, eine Funktion betrachten, die einige Eingabeparameter nimmt und schafft eine std::string, dass aus diesen Parametern wie unten:

std::string constructString(int some_parameter) { 

    std::stringstream ss; 

    // Construct a string (arbitrarily complex) 
    ss << "Some parameter is " << some_parameter << " right now"; 

    return ss.str(); //Am I not returning a temporary object here? 
} 

Ich verstehe, dass die stringstream-object wird den Gültigkeitsbereich verlassen, wenn die Funktion zurückkehrt, aber macht das nicht auch den konstruierten String ungültig?

Was würde passieren, wenn ich den Rückgabetyp auf const char * änderte und stattdessen ss.str().c_str() zurückgab?

Code wie oben scheint zu funktionieren, aber ich vermute, dass nur weil der Speicher mit dem 'temporären' Objekt noch nicht mit etwas anderem überschrieben wurde, wenn ich es verwende?

Ich muss zugeben, ich bin in solchen Situationen im Allgemeinen ziemlich verwirrt, ich würde es schätzen, wenn jemand mir diese ganze "temporäre Objekte" erklären könnte (oder mir einfach in die richtige Richtung zeigen).

thx im Voraus

Answer 1

Sie sind ein temporäres Objekt zurückkehrt, sondern weil Sie es als Wert zurückgeben, wird die Kopie erstellt. Wenn Sie einen Zeiger oder eine Referenz auf ein temporäres Objekt zurückgeben, wäre das ein Fehler.

Wenn Sie den Rückgabetyp const char * und ss.str().c_str() zurückkehren ändern würden Sie Zeiger zu einem gewissen Puffer von temporären std::string zurück Rückkehr von ss.str() und das wäre schlecht.

Answer 2

Wie Sie sehen Stringstream::str() gibt std::string Objekt zurück. Sie geben std::string ohne Referenz zurück, das bedeutet, dass ohne RVO (NRVO) -Optimierung Kopie Konstruktor wird aufrufen und erstellen std::string Objekt gültig. Mit Optimierung wird std::string ohne Kopierkonstruktor verschoben. Aber wenn std::string& zurückkommt, wird es abstürzen, weil dieses Objekt nach Funktionsrückgabe zerstört wird. Der gleiche Effekt wird mit const char * sein, weil nach der Zerstörung dieser Zeiger auf schlechten Speicher zeigen wird, und das ist gefährliche Situation.

Answer 3

Nehmen wir an: T val = some_function(), wenn Sie einen Wert von some_function C++ kopieren Wert des zurückgegebenen Werts in val mit angegebenen Kopie Konstruktor oder integrierten Operator. Also, wenn Sie eine int oder std::string zurückgeben, gibt es überhaupt kein Problem, aber wenn Sie einen Zeiger auf einen Speicher zurückgeben, der am Ende der Funktion freigegeben wird, oops !! Ihr Zeiger wird auf einen ungültigen Speicher verwiesen. Zum Beispiel betrachten dies:

const char* some_function() { 
    std::string res(...); 
    //... 
    return res.c_str(); 
} 

Sie Zeiger auf die Daten zurückkommen, die sobald Funktion Rückkehr befreit werden (da res zerstört werden und es wird seine internen Daten frei), so finden Sie die Adresse, aber das Adresse zeigt nicht auf das, was Sie möglicherweise erwarten!