Implizite Destruktorausführung in Funktionsaufruf

Question

Ich frage mich, was der Standard über das folgende Stück Code sagt. Kann string Destruktor des temporären Objekts vor dem Aufruf printPointer ausgeführt werden?

p.s. Der VS2010-Compiler beschwert sich nicht über diesen Code und funktioniert ordnungsgemäß.

void printPointer(const string* pointer) 
{ 
    cout << *pointer << endl; 
} 

const string* func(const string& s1) 
{ 
    return &s1; 
} 

int main() 
{ 
    printPointer(func("Hello, World!!!")); 
} 

Answer 1

Kann string destructor von temporärem Objekt vor printPointer Aufruf ausgeführt werden? No

, weil temporäre Objekte werden bei der Bewertung des Voll Ausdrucks als letzten Schritt zerstört werden, die den Punkt enthält, in dem sie erstellt wurden, das heißt, es wird bis zum Aufruf von printPointer() Enden bestehen bleiben.

Vom Standard #12.2/4 Temporary objects [class.temporary]:

Temporäre Objekte als letzter Schritt zerstört werden, um den vollen Ausdruck in der Bewertung ([intro.execution]), dass (lexikalisch) enthält den Punkt, an dem sie erstellt wurden.

Und #12.2/6 Temporary objects [class.temporary]:

ein temporäres Objekt auf einen Referenzparameter in einem Funktionsaufruf gebunden ([expr.call]) bleibt bestehen, bis die Vollendung des vollen Ausdrucks den Anruf enthält.

explanatory demo

Answer 2

Ihre Zeichenfolge nicht bis zum Ende des Programms zerstört wird, wie s1 ein Hinweis darauf ist (so, es ist nicht in func zerstört wird). In Func gibt es keinen Pass-by-Value oder Return-by-Value. Kein Problem in diesem Code.