Ist es sicher, eine Mitgliedsreferenz zu erfassen, wenn die Klasse, die die ursprüngliche Referenz speichert, den Gültigkeitsbereich verlässt?

Question

Bedenken Sie:

#include <iostream> 
#include <functional> 

std::function<void()> task; 
int x = 42; 

struct Foo 
{ 
    int& x; 

    void bar() 
    { 
     task = [=]() { std::cout << x << '\n'; }; 
    } 
}; 

int main() 
{ 
    { 
     Foo f{x}; 
     f.bar(); 
    } 

    task(); 
} 

Mein Instinkt war, dass, als der tatsächliche referent noch existiert, wenn die Aufgabe ausgeführt wird, wir eine neu gebundene Referenz zu dem Zeitpunkt erhalten das Lambda angetroffen wird und alles ist in Ordnung.

Allerdings, auf meinem GCC 4.8.5 (CentOS 7), sehe ich etwas Verhalten (in einem komplexeren Programm), die darauf hindeutet, dass dies stattdessen UB ist, weil f, und die Referenz selbst, gestorben sind. Ist das richtig?

Answer 1

Mitglied Referenz So erfassen Sie die folgende Syntax verwenden, müssen (eingeführt in C++ 14):

struct Foo 
{ 
    int & m_x; 

    void bar() 
    { 
     task = [&l_x = this->m_x]() { std::cout << l_x << '\n'; }; 
    } 
}; 

diese Weise l_x ein int & in Schließung und auf den gleichen int Wert m_x war gespeichert ist Bezug und wird nicht von der Foo außerhalb des Geltungsbereichs gehen.

struct Foo 
{ 
    int & m_x; 

    void bar() 
    { 
     int * p_x = &m_x; 
     task = [=]() { std::cout << *p_x << '\n'; }; 
    } 
}; 

Answer 2

Sie erfassen ein Referenzelement in C++ 11 durch eine lokale Kopie der Referenz erstellen: Statt

In C++ 11 können wir diese Funktion fehlend von Wert-Erfassung einen Zeiger Umgehung und explizite Erfassung zu vermeiden this Erfassung:

void bar() 
{ 
    decltype(x) rx = x; // Preserve reference-ness of x. 
    static_assert(std::is_reference<decltype(rx)>::value, "rx must be a reference."); 
    task = [&rx]() { std::cout << rx << ' ' << &rx << '\n'; }; // Only capture rx by reference. 
}