捕获变量何时被捕获？std::function回调捕获作用域问题咨询

首先直接给你答案：局部变量localVar是在你定义lambda表达式的那一刻被捕获的——不是等到你调用这个std::function的时候，而是lambda被创建的瞬间就完成了绑定。

接下来给你拆解两种捕获方式的差异，以及你遇到问题的根源：

1. 引用捕获的问题根源 #

当你用[&]或者[&localVar]引用捕获局部变量时，lambda并没有拷贝变量的值，而是保存了这个变量在内存中的地址。也就是说，lambda里的引用直接指向原来的localVar所在的内存空间。

但局部变量的生命周期只限于它所在的作用域（比如定义它的函数执行完毕后），当作用域结束，这块内存会被系统回收。之后你再调用存到std::vector里的回调，就会访问一块已经被释放的内存——这就是悬空引用，属于未定义行为，程序可能崩溃、输出乱码或者出现其他奇怪的结果。

2. 值捕获为什么正常 #

而用[=]或者[localVar]值捕获时，lambda会在创建的那一刻，把localVar的当前值拷贝一份到自己的闭包（lambda内部的隐藏结构）里。这份拷贝是lambda自己拥有的，和原来的localVar完全独立。哪怕原来的localVar被销毁了，lambda里的拷贝依然存在，所以调用回调时能正常访问到当时捕获的值。

举个直观的代码例子帮你理解：

void setupCallbacks(std::vector<std::function<void()>>& callbacks) {
    int localVar = 42;
    // 引用捕获localVar
    callbacks.push_back([&]() { 
        std::cout << "引用捕获结果: " << localVar << std::endl; 
    });
    // 值捕获localVar
    callbacks.push_back([=]() { 
        std::cout << "值捕获结果: " << localVar << std::endl; 
    });
}

int main() {
    std::vector<std::function<void()>> callbacks;
    setupCallbacks(callbacks);
    // 此时setupCallbacks已经执行完毕，localVar早已销毁
    callbacks[0](); // 危险：悬空引用，行为未定义
    callbacks[1](); // 正常输出42，因为用的是lambda内部的拷贝
}

如果你想避免拷贝（比如变量很大） #

如果因为变量体积大不想用值捕获，那你需要保证被引用的变量生命周期至少和回调一样长。比如可以把变量放到堆上，用std::shared_ptr管理，然后捕获这个智能指针的拷贝：

void setupCallbacks(std::vector<std::function<void()>>& callbacks) {
    auto localVar = std::make_shared<int>(42);
    // 捕获shared_ptr的拷贝（值捕获），保证变量存活到回调调用
    callbacks.push_back([localVar]() { 
        std::cout << *localVar << std::endl; 
    });
}

这样只要回调还存在，shared_ptr就会维持变量的生命周期，不会出现悬空的问题。

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