C++ lambda 捕获实战:值、引用和 this 的生命周期陷阱
lambda 很方便,但“创建时能用”不等于“以后执行仍安全”。当回调被存进容器、交给线程或延迟执行时,捕获对象能活多久,比捕获列表短不短更重要。
最低标准:C++14。示例使用初始化捕获和 make_unique。
1. 按值捕获一份可独立使用的数据
#include<functional>#include<iostream>#include<memory>#include<string>#include<utility>std::function<void()>make_task(){std::string name="Ahan";return[name]{std::cout<<name<<'\n';};}intmain(){autotask=make_task();task();// name 已离开原作用域,但闭包拥有自己的字符串autoowner=std::make_unique<int>(42);automove_task=[p=std::move(owner)]{std::cout<<*p<<'\n';};move_task();}预期输出 Ahan 和 42。第二个 lambda 把 unique_ptr 的所有权移进闭包,闭包因此不可复制;不能直接把它塞进要求可复制目标的传统 std::function。
2. 按引用捕获不会延长寿命
如果 make_task 返回的是[&name],函数结束后 name 被销毁,后续执行回调就会访问悬空引用。同步调用且引用对象明显活得更久时,引用捕获可以简洁高效;跨越作用域或线程时,要重新证明其生命周期安全。
按值捕获也不是万能的。如果复制的是裸指针或 string_view,复制的只是地址或视图,被指向的数据仍可能先被销毁。要判断真正拥有数据的是谁。
3. 捕获 this 只是保存指针
[this]不会复制整个对象,也不会延长对象生命周期。C++17 的[*this]会复制对象,但复制后的成员仍可能包含非拥有指针,并且回调修改的是副本。
异步回调可以根据设计捕获 shared_ptr 来延长寿命,或捕获 weak_ptr 并在执行时 lock()。不过,对象若保存了一个捕获自身 shared_ptr 的回调,也可能形成循环引用,不能机械套用。
4. mutable 改的是闭包内部状态
按值捕获的变量在默认调用运算符中不可修改;加 mutable 可以修改闭包里的副本,不会自动修改外部原变量。多个闭包副本各自有状态,共享一个闭包并发调用时也仍要考虑数据竞争。
速记:同步短回调可以借用;延迟执行先检查寿命;this 是指针;移动捕获可以转交资源;重要捕获尽量显式列出,让审阅者看得出依赖。