C++中Lambda转发时this指针悬空致段错误的问题咨询

问题成因 #

你遇到的段错误核心原因是悬空引用：

• 你的foo函数返回的Lambda用了[&]引用捕获，而它捕获的func是foo的栈上参数——当foo执行完毕返回时，这个func对象会被销毁，内存被释放。
• 后续在main里调用add()时，返回的Lambda试图访问已经销毁的func对象，相当于访问了一块已被回收的内存，直接触发段错误。你提到的“this指针悬空”本质是Lambda捕获的外部对象（即传入的func）已失效，导致调用时的非法内存访问。

为什么之前的尝试没效果？ #

你提到按值捕获、移动/转发没用，大概率是捕获方式有误：

• 如果只是用[=]隐式值捕获，可能因编译器捕获规则（比如对函数参数的隐式捕获逻辑）导致没正确复制func；
• 直接对引用捕获的对象做移动操作毫无意义，因为引用本身不持有对象，移动的还是即将销毁的原对象。

解决方案 #

方案1：显式值捕获传入的Lambda（最简单通用）

修改foo中返回的Lambda，明确按值捕获func，让返回的Lambda持有func的独立副本：

auto foo(auto func) {
    return [func]() {
        return func();
    };
}

这样即使foo的参数func被销毁，返回的Lambda里的副本依然有效，调用add()时就能正常执行。

方案2：初始化捕获+完美转发（适配可移动Lambda）

如果传入的Lambda包含大对象，为避免不必要的复制，可以用C++14的初始化捕获配合完美转发，实现移动构造：

auto foo(auto&& func) {
    return [func = std::forward<decltype(func)>(func)]() {
        return func();
    };
}

这种方式会根据func的类型（左值/右值）自动选择复制或移动，效率更高。

方案3：保证被捕获对象的生命周期（不推荐）

如果一定要用引用捕获，必须确保func的生命周期覆盖add的整个使用周期。比如把传入的Lambda定义为main的局部变量：

int main() {
    auto my_lambda = []() { return 42; };
    auto add = foo(my_lambda);
    std::cout << add() << std::endl;
}

同时修改foo的捕获为[&func]，但这种方式依赖外部对象的生命周期，容易因代码改动引发新的悬空问题，仅在特殊场景使用。

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