bộ nhớ quản lý cho lambda trong C++ 11

Question

Ai đó có thể mô tả lý do tại sao mã này không hoạt động (trên GCC4.7.3 seg-lỗi trước khi trở về từ cuộc gọi)?

#include <iostream> 
#include <functional> 
#include <memory> 

using namespace std; 

template<typename F> 
auto memo(const F &x) -> std::function<decltype(x())()> { 
    typedef decltype(x()) return_type; 
    typedef std::function<return_type()> thunk_type; 
    std::shared_ptr<thunk_type> thunk_ptr = std::make_shared<thunk_type>(); 

    *thunk_ptr = [thunk_ptr, &x]() { 
     cerr << "First " << thunk_ptr.get() << endl; 
     auto val = x(); 
     *thunk_ptr = [val]() { return val; }; 
     return (*thunk_ptr)(); 
    }; 

    return [thunk_ptr]() { return (*thunk_ptr)(); }; 
}; 

int foo() { 
    cerr << "Hi" << endl; 
    return 42; 
} 

int main() { 
    auto x = memo(foo); 
    cout << x() << endl ; 
    cout << x() << endl ; 
    cout << x() << endl ; 
}; 

giả định ban đầu của tôi:

mỗi
1. std::function<T()> là kinda tham khảo/shared_ptr đối với một số đối tượng đại diện cho đóng cửa. I E. thời gian sống của giá trị được chọn bị giới hạn bởi nó.
2. std::function<T()> đối tượng có toán tử gán sẽ từ bỏ đóng cửa cũ (giá trị được chọn vào thời gian kết thúc) và sẽ sở hữu một giá trị mới.

P.S. Câu hỏi này đưa ra sau khi tôi đọc question about lazy in C++11

Answer 1

Đây là mã có vấn đề:

[thunk_ptr, &x]() { 
    auto val = x(); 
    *thunk_ptr = [val]() { return val; }; 
    return (*thunk_ptr)(); // <--- references a non-existant local variable 
} 

Vấn đề là các địa phương thunk_ptr là một bản sao từ bối cảnh. Tức là, trong bài tập *thunk_ptr = ..., thunk_ptr là bản sao thuộc sở hữu của đối tượng hàm. Tuy nhiên, với nhiệm vụ, đối tượng hàm không còn tồn tại nữa. Tức là, trên dòng tiếp theo thunk_ptr đề cập đến một đối tượng vừa bị phá hủy.

Có một vài phương pháp để khắc phục vấn đề:

1. Thay vì nhận được ưa thích, chỉ cần trở val. Vấn đề ở đây là return_type có thể là một kiểu tham chiếu sẽ khiến phương pháp này thất bại.

2. Return kết quả trực tiếp từ việc chuyển nhượng: trước khi chuyển nhượng thunk_ptr vẫn còn sống và sau khi chuyển nhượng nó vẫn trả về một tham chiếu đến đối tượng std::function<...>():

   return (*thunk_ptr = [val](){ return val; })(); 
   

3. Safe một bản sao của thunk_ptr và sử dụng này bản sao để gọi các đối tượng chức năng trong tuyên bố return:

   std::shared_ptr<thunk_type> tmp = thunk_ptr; 
   *tmp = [val]() { return val; }; 
   return (*tmp)(); 
   

4. Lưu một bản sao của tài liệu tham khảo để std::function và sử dụng nó inst ead đề cập đến lĩnh vực thuộc về ghi đè đóng cửa:

   auto &thunk = *thunk_ptr; 
   thunk = [val]() { return val; }; 
   return thunk();