从std::for_each+lambda函数返回unique_ptr的问题及相关疑问

嘿，我来帮你一步步拆解这两个问题～

问题1：使用(*v)访问vector是否正确？ #

完全正确！当v是std::unique_ptr<std::vector<int>>类型时，*v是对智能指针的解引用操作，会直接得到底层的std::vector<int>对象。你可以用(*v).push_back(1)或者更简洁的语法糖v->push_back(1)来调用vector的成员函数，这两种写法是完全等价的。

举个简单的验证例子：

auto v = std::make_unique<std::vector<int>>();
(*v).push_back(5); // 合法且正确
v->push_back(10);  // 更常用的简洁写法，和上面效果一致
std::cout << (*v)[0] << " " << v->at(1) << std::endl; // 都能正确访问元素

所以你用(*v)访问vector的方式是没问题的，只是日常开发中大家更倾向于用->让代码更简洁易读。

问题2：将unique_ptr所有权转移给Lambda后，如何重新取回？ #

首先要明确：std::unique_ptr是独占式智能指针，一旦通过std::move把所有权转移给Lambda，原来的智能指针就会变成空状态（不再持有任何对象）。要重新取回所有权，核心思路是让Lambda把它持有的unique_ptr再通过std::move转移出来。

下面分两种常见场景说明：

场景1：同步执行Lambda，直接接收返回值 #

让Lambda返回它持有的unique_ptr（必须用std::move转移），调用Lambda时用另一个unique_ptr接收返回值即可。另外，因为Lambda默认捕获的变量是const的，如果你要在Lambda内部移动它的unique_ptr，需要给Lambda加上mutable关键字：

#include <memory>
#include <vector>
#include <iostream>

int main() {
    auto vec_ptr = std::make_unique<std::vector<int>>();
    vec_ptr->push_back(1);
    vec_ptr->push_back(2);

    // 将所有权move给Lambda，原vec_ptr变为空
    auto lambda = [ptr = std::move(vec_ptr)]() mutable {
        // 使用ptr操作vector
        ptr->push_back(3);
        // 将所有权move返回
        return std::move(ptr);
    };

    // 调用Lambda，取回所有权
    auto retrieved_ptr = lambda();
    // 现在retrieved_ptr持有原vector的所有权
    for (int num : *retrieved_ptr) {
        std::cout << num << " "; // 输出：1 2 3
    }

    return 0;
}

场景2：异步执行Lambda（比如用std::async） #

如果Lambda是异步执行的，你可以通过std::future来获取Lambda返回的unique_ptr：

#include <memory>
#include <vector>
#include <iostream>
#include <future>

int main() {
    auto vec_ptr = std::make_unique<std::vector<int>>();
    vec_ptr->push_back(10);

    // 异步执行Lambda，move转移所有权
    auto future = std::async(std::launch::async, [ptr = std::move(vec_ptr)]() mutable {
        ptr->push_back(20);
        return std::move(ptr);
    });

    // 等待异步任务完成，取回所有权
    auto retrieved_ptr = future.get();
    std::cout << (*retrieved_ptr)[0] << " " << (*retrieved_ptr)[1] << std::endl; // 输出：10 20

    return 0;
}

关键注意点 #

• 永远不要尝试拷贝unique_ptr，只能通过std::move转移所有权，这是unique_ptr的核心特性。
• Lambda如果需要修改（包括移动）捕获的unique_ptr，必须添加mutable关键字，否则捕获的变量是const的，无法执行move操作。
• 当你从Lambda取回所有权后，Lambda内部的unique_ptr会变成空状态，再次使用它会导致未定义行为，这点要留意。

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