Ist das Verhalten eines durch std :: bind erstellten Funktors gut definiert, wenn das gebundene Objekt abläuft?

Question

Ist das Verhalten des folgenden Codes gut definiert? Wie verhält sich der Anruf f()?

#include <functional> 
#include <iostream> 

struct A 
{ 
    void shout() 
    { 
     std::cout <<"shout"; 
    } 
}; 


int main() 
{ 
    std::function<void()> f; 
    { 
     A a; 
     f = std::bind(&A::shout, &a); 
    } 

    f(); // what happens here? 
} 

Answer 1

Des Code endet eine dangling Referenz Speichern (an ein Objekt, das nicht mehr existiert) innerhalb der Funktion Wrapper und die Funktion führt zu undefiniertem Verhalten aufruft.

Wenn das ursprüngliche Objekt nicht so lange wie die Wrapper nicht leben, kann man immer speichern Sie eine Kopie des Objekts in der Verpackung:

f = std::bind(&A::shout, a); 
//      ^^^ copy 

Answer 2

Um dies zu zeigen nicht definiert ist, beachten Sie, dass die Adresse eine ungültige Zeigerwert gespeichert wird, - [basic.stc]/3:

Wenn das Ende der Dauer einer Region der Lagerung erreicht wird, werden die Werte aller Zeiger die Adresse eines beliebigen Teils desrepräsentierefreigegebener Speicher wird zu ungültigen Zeigerwerten ([basic.compound]).

im Aufruf von dem gebundenen Funktors, wird dieser Zeiger dereferenziert das Element Funktionsaufruf durchzuführen, wobei [basic.stc.dynamic.deallocation]/4 gilt:

Indirection durch eine ungültige Zeigerwert und Leiten eines ungültigen Zeigerwert auf einem Deallokationsfunktion haben undefiniertes Verhalten.

Stattdessen können Sie a pro Wert binden (das kaufmännische Und-Zeichen weglassen).