Sind lokale Objekte garantiert vorübergehende Argumente zu überleben? (C++ 11)

Question

Wenn ich ein Setup habe, wo eine Funktion, ein Objekt Bar als ein Argument nimmt, geht das Objekt zu einer lokalen Klasse Foo und Foo verwendet die Bar in seinem destructor wie:

class Foo { 
    public: 
     Foo(const Bar& bar) : bar_(bar) {} 
     ~Foo() { 
      bar_.DoSomething(); 
     } 
    private: 
     const Bar& bar_; 
}; 

void example_fn(const Bar& input_bar) { 
    Foo local_foo(input_bar); 
    // ... do stuff. 
    // When foo goes out of scope, its destructor is called, using input_bar. 
} 

Wenn example_fn mit einem temporären Bar input_bar aufgerufen wird, ist die lokale Variable Foo local_foo garantiert vor dem temporären Argument zerstört werden? Mit anderen Worten: Sind Argumente garantiert, um lokale Variablen zu überleben?

Answer 1

ist die lokale Variable Foo local_foo garantiert vor dem temporären Argument zerstört werden?

Ja, Objekte mit automatischer Speicherdauer (auch bekannt als Einheimische) werden garantiert in umgekehrter Reihenfolge der Konstruktion zerstört. Die Funktionsargumente werden immer (in einer nicht angegebenen Reihenfolge) vor den Locals innerhalb des Blockbereichs erstellt. Siehe Object Destruction in C++

[class.temporary/5]

5: ... Darüber hinaus verpflichten die Zerstörung von Provisorien zu Referenzen wird die Reihenfolge der Zerstörung von Objekten mit statisch, Gewinden berücksichtigen, oder die automatischen Speicherdauer ([ basic.stc.static], [basic.stc.thread], [basic.stc.auto]); das heißt, wenn obj1 ein Objekt mit der gleichen Speicherdauer wie das temporäre ist und erstellt wird, bevor das temporäre erstellt wird das temporäre zerstört werden, bevor obj1 zerstört wird; wenn obj2 ist ein Objekt mit der gleichen Speicherdauer wie das temporäre und erstellt nach dem temporären erstellt wird das temporäre zerstört werden, nachdem obj2 zerstört wird. ...