C++17环境下将unique_ptr所有权传递至Lambda嵌套函数的问题咨询

首先，咱们先拆解你的两个问题，一步步把所有权的逻辑理清楚：

1. 第一个测试案例为何能正常编译？按引用捕获unique_ptr时的所有权处理 #

你的第一段代码能编译运行，核心原因是按引用捕获的是testClass这个std::unique_ptr变量本身的引用，而非它指向的对象。

具体来说：

• 在main里，testClass是一个拥有对象所有权的unique_ptr；
• 你用[&]捕获它的引用，相当于lambda里的testClass是原变量的别名；
• 当你在lambda里执行std::move(testClass)时，实际上是对原testClass变量的引用执行move操作——这会把原变量的所有权转移给functionNestedInLambda，原testClass此时会变成空指针。

这种写法能运行是因为lambda在原变量销毁前就立刻执行了，但它不是正确的所有权转移方式：如果lambda被保存下来（比如放到队列里延迟执行），而原testClass已经在main结束时被销毁，lambda里的引用就会变成悬空引用，触发未定义行为。

2. 实现严格所有权控制的最佳方式 #

你尝试的初始化捕获写法方向是对的，但忽略了一个关键细节：默认情况下，lambda的operator()是const成员函数，这意味着捕获的变量在lambda内部是const的——而std::move需要修改unique_ptr（把它置为空），const的unique_ptr无法被move（因为move操作会改变原对象状态），所以编译器报错说你尝试调用了被删除的拷贝构造函数（编译器误以为你想拷贝，而unique_ptr禁止拷贝）。

解决方法很简单：给lambda加上mutable关键字，让它的operator()变成非const成员函数，这样就能修改捕获的变量了。

正确的代码示例 #

class TestClass{
private:
    std::string message;
public:
    TestClass(std::string message): message(message){}
    void printMessage(){std::cout << message << std::endl;}
};

void functionNestedInLambda(std::unique_ptr<TestClass> testClass){
    testClass->printMessage();
    return;
}

int main(){
    auto testClass = std::make_unique<TestClass>("Hello Stack Overflow");
    // 加mutable允许修改捕获的unique_ptr
    auto lFunction = [testClass = std::move(testClass)]() mutable {
        functionNestedInLambda(std::move(testClass));
    };
    lFunction();
    return 0;
}

所有权转移的完整流程 #

1. main中std::make_unique创建对象，所有权属于testClass；
2. 通过初始化捕获testClass = std::move(testClass)，所有权从原testClass转移到lambda内部的捕获变量；
3. 因为lambda是mutable的，内部可以对捕获的testClass执行std::move，将所有权最终转移给functionNestedInLambda；
4. 每一步所有权转移都是明确的，没有悬空引用的风险，完全符合严格控制所有权的需求。

额外建议 #

如果你的lambda不需要被多次调用，这种写法已经足够安全。如果需要多次调用lambda（但显然这里不需要，因为所有权只能转移一次），那你可能需要重新设计逻辑——毕竟unique_ptr的所有权只能属于一个对象，多次move会导致后续调用时捕获的变量是空指针。

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