在Lambda捕获中传递std::unique_ptr至函数的编译错误排查

错误原因解释 #

编译报错的核心是类型不匹配：

• do_stuff函数的第二个参数要求是const std::unique_ptr<A>&，但代码中传入的是*dfun——这是std::unique_ptr<A>解引用后得到的A&类型，无法转换为unique_ptr的引用，因此触发编译错误。
• 另外，Lambda中使用std::move(dfun)捕获会转移dfun的所有权到Lambda内部，导致外层的dfun变为空，无法在后续代码中继续使用，违背了你的需求。

正确实现方式 #

以下是几种满足「dfun需在其他位置复用」要求的解决方案：

方案1：按引用捕获（推荐，适合并行场景） #

由于你的d()成员函数是只读操作（未修改对象状态），并行执行时多线程访问不会有线程安全问题，直接按引用捕获dfun即可，同时修正传参方式：

int main() {
    std::vector<double> v {3, -4, 2, -8, 15, 267};
    auto dfun = choose_operation("B");

    // 按引用捕获dfun，直接传递dfun而非解引用后的对象
    std::for_each(v.begin(), v.end(), [&dfun](double& x) {
        x = do_stuff(x, dfun);
    });

    // 后续仍可正常使用dfun
    dfun->d(100);
    return 0;
}

此方案无需修改do_stuff函数，保持原有接口，且性能最优。

方案2：改用std::shared_ptr（适合复杂所有权场景） #

如果需要更灵活的所有权管理，或担心引用捕获的生命周期问题，可以将unique_ptr替换为shared_ptr，按值捕获Lambda：

// 修改工厂函数返回shared_ptr
std::shared_ptr<A> choose_operation(std::string s) {
    if (s == "B") {
        return std::make_shared<B>();
    } else {
        return std::make_shared<C>();
    }
}

// 修改do_stuff的参数类型
double do_stuff(double x, const std::shared_ptr<A>& dfun) {
    x -= 2;
    return dfun->d(x);
}

int main() {
    std::vector<double> v {3, -4, 2, -8, 15, 267};
    auto dfun = choose_operation("B");

    // 按值捕获shared_ptr副本，外层dfun仍可使用
    std::for_each(v.begin(), v.end(), [dfun](double& x) {
        x = do_stuff(x, dfun);
    });

    // 后续正常使用dfun
    dfun->d(200);
    return 0;
}

此方案通过引用计数管理对象生命周期，并行执行时安全可靠。

方案3：捕获原始指针（简单但需注意生命周期） #

可以从unique_ptr中提取原始指针捕获，同时修改do_stuff的参数为原始指针：

// 修改do_stuff的参数为const A*
double do_stuff(double x, const A* dfun) {
    x -= 2;
    return dfun->d(x);
}

int main() {
    std::vector<double> v {3, -4, 2, -8, 15, 267};
    auto dfun = choose_operation("B");

    // 捕获原始指针，需确保dfun生命周期长于for_each执行周期
    std::for_each(v.begin(), v.end(), [ptr = dfun.get()](double& x) {
        x = do_stuff(x, ptr);
    });

    // 后续正常使用dfun
    dfun->d(300);
    return 0;
}

此方案无需修改智能指针类型，但必须保证dfun在std::for_each执行期间不会被销毁，否则会出现悬空指针。

内容的提问来源于stack exchange，提问作者Øystein S