C++中lambda的内存管理11

Question

有人可以描述为什么这段代码不起作用（在GCC4.7.3 seg-faults从调用返回之前）？

#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 ; 
}; 

我原来的假设：

每个
1. std::function<T()>是有点儿参考/ shared_ptr的一些对象，表示闭合。即收购价值的生命周期受其限制。
2. std::function<T()>对象具有赋值运算符，该运算符将放弃旧闭包（最终生命期拾取值）并将获得新值的所有权。

P.S.

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

的问题是，当地thunk_ptr是从上下文的副本：我读question about lazy in C++11

Answer 1

后，这是有问题的代码提出这个问题。也就是说，在赋值*thunk_ptr = ...中，thunk_ptr引用了函数对象拥有的副本。但是，通过赋值功能对象不再存在。也就是说，在下一行thunk_ptr指的是一个刚毁坏的对象。

有解决该问题的几种方法：

1. 非但没有看中的，只是返回val。这里的问题是return_type可能是一个引用类型，它会导致这种方法失败。

2. 返回直接从分配结果：事先分配thunk_ptr到现在还活着，并在转让后仍回到std::function<...>()对象的引用：

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

3. 安全的thunk_ptr副本，并使用该副本，以调用函数对象在return声明：

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

4. 保存的参考副本std::function，并用它研究所参照外地的EAD属于覆盖封闭：

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