C++中如何延长Lambda捕获变量的作用域？解决栈使用后返回错误

问题代码 #

MyFunctionRunner类定义 #

class MyFunctionRunner{
  public:
      static callFunc(){
         func_(); //调用已设置的函数
      }
      static setFunc(std::function<void()> func){
         func_ = func; //设置函数
      }
 private:
     static std::function<void()> func_;
 };

MyFunc函数定义 #

void MyFunc(const std::string& a,const std::string& b){
   MyClass myObj{};

   MyFunctionRunner::setFunc(
     [&myObj](){
        myObj.setA(a); 
        myObj.setB(b);
   }); //传入捕获myObj引用的Lambda函数作为参数
 }

main函数执行代码 #

MyFunc("a","b");
MyFunctionRunner::callFunc();

问题说明 #

代码编译正常，但运行时触发stack-use-after-return错误——原因是MyFunc执行完毕后，栈上的myObj会被销毁，后续调用callFunc时，Lambda捕获的引用指向的是已释放的内存。且MyClass的复制构造函数被隐式删除，无法通过复制对象来延长生命周期。

解决方案 #

1. 使用动态分配+智能指针（推荐） #

将myObj改为动态分配，用std::shared_ptr捕获值，通过引用计数确保对象在Lambda存活期间不会被销毁：

void MyFunc(const std::string& a,const std::string& b){
   auto myObj = std::make_shared<MyClass>();

   MyFunctionRunner::setFunc(
     [myObj, a, b](){
        myObj->setA(a); 
        myObj->setB(b);
   });
 }

注：这里将a和b改为捕获值，避免原引用可能失效的问题；如果原参数是长期存活的对象，也可以继续捕获引用。

2. 将myObj声明为静态变量 #

在MyFunc内把myObj设为static，使其生命周期延续到程序结束：

void MyFunc(const std::string& a,const std::string& b){
   static MyClass myObj{};

   MyFunctionRunner::setFunc(
     [&myObj](){
        myObj.setA(a); 
        myObj.setB(b);
   });
 }

注意：静态变量是全局唯一的，多次调用MyFunc会复用同一个对象，可能引发线程安全问题或状态污染，仅适用于单场景、无并发的场景。

3. 修改MyFunctionRunner持有对象实例 #

调整MyFunctionRunner，新增成员存储MyClass的智能指针，明确由它管理对象生命周期：

class MyFunctionRunner{
  public:
      static callFunc(){
         if (obj_ && func_) {
             func_();
         }
      }
      static setFunc(std::function<void()> func, std::shared_ptr<MyClass> obj){
         func_ = func;
         obj_ = obj; // 持有对象，延长生命周期
      }
 private:
     static std::function<void()> func_;
     static std::shared_ptr<MyClass> obj_;
 };

对应的MyFunc修改：

void MyFunc(const std::string& a,const std::string& b){
   auto myObj = std::make_shared<MyClass>();

   MyFunctionRunner::setFunc(
     [myObj, a, b](){
        myObj->setA(a); 
        myObj->setB(b);
   }, myObj);
 }

这种方式更清晰，避免Lambda隐式捕获带来的生命周期陷阱。

内容的提问来源于stack exchange，提问作者user1008636