传递捕获std::unique_ptr的可变Lambda至函数时的编译错误解决

错误原因 #

捕获std::unique_ptr的可变Lambda之所以无法直接传递给接收std::function的函数，核心原因有两个：

1. std::unique_ptr是不可拷贝类型，Lambda捕获它后，自身的拷贝构造函数会被隐式删除；
2. 标准的std::function构造时需要拷贝传入的可调用对象，而拷贝被删除的Lambda会触发编译错误。

如果直接尝试传递Lambda的引用，会因为std::function的签名要求值类型，导致类型不匹配错误。

修复方案 #

方案1：用std::move转移Lambda所有权 #

Lambda虽然不可拷贝，但只要捕获的对象是可移动的（比如std::unique_ptr），Lambda本身就是可移动的。通过std::move将Lambda的所有权转移给std::function，避免拷贝操作。

示例代码：

#include <iostream>
#include <memory>
#include <functional>

void process_func(std::function<void()> func) {
    func();
}

int main() {
    auto ptr = std::make_unique<int>(42);
    // 可变Lambda捕获unique_ptr
    auto lambda = [ptr]() mutable {
        std::cout << *ptr << std::endl;
        *ptr = 100;
    };
    // 用std::move转移Lambda所有权给std::function
    process_func(std::move(lambda));
    // 注意：此时原lambda变量已失效，不可再使用
    return 0;
}

方案2：用模板函数接收Lambda引用 #

如果不需要转移Lambda的所有权，且可以修改接收函数的定义，直接用模板函数接受可调用对象的引用，完全绕开std::function的拷贝限制，同时保留Lambda的可变特性。

示例代码：

#include <iostream>
#include <memory>

// 模板函数接受任意可调用对象的引用
template<typename Func>
void process_func(Func& func) {
    func();
}

int main() {
    auto ptr = std::make_unique<int>(42);
    auto lambda = [ptr]() mutable {
        std::cout << *ptr << std::endl;
        *ptr = 100;
    };
    // 直接传递Lambda引用，无需拷贝
    process_func(lambda);
    // 原lambda仍可正常使用
    return 0;
}

方案3：用std::ref包装Lambda（保留所有权且必须用std::function） #

如果必须使用std::function，同时要保留原始Lambda的使用权，可以用std::ref将Lambda包装成std::reference_wrapper（可拷贝类型），再传递给std::function。需注意：必须保证原始Lambda在std::function调用期间始终有效，否则会出现悬空引用。

示例代码：

#include <iostream>
#include <memory>
#include <functional>

void process_func(std::function<void()> func) {
    func();
}

int main() {
    auto ptr = std::make_unique<int>(42);
    auto lambda = [ptr]() mutable {
        std::cout << *ptr << std::endl;
        *ptr = 100;
    };
    // 用std::ref包装Lambda为可拷贝的引用包装器
    process_func(std::ref(lambda));
    // 原lambda仍可正常使用
    return 0;
}

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