C++20中lambda捕获不可拷贝左值与纯右值变参的实现方案

问题本质 #

两种常规捕获方式失效的核心原因是没有按参数的值类别选择捕获策略：

• 全引用捕获：纯右值临时对象在函数返回后立即销毁，lambda内的引用成为悬空引用
• 全值初始化捕获：不可拷贝类型的左值参数会触发拷贝构造，直接编译失败

C++20标准库已有完备的特性支持这类场景，不需要非标准扩展，核心思路是对左值参数存引用、对右值参数移动存值，按每个参数的值类别独立选择存储方式。

正确实现代码 #

#include <iostream>
#include <memory>
#include <tuple>
#include <functional> // for std::invoke

using namespace std;

void g(unique_ptr<int>& a, unique_ptr<int> b) {
    if (a) cout << *a << " ";
    if (b) cout << *b << endl;
}

template <typename F, typename... Args>
auto f(F&& func, Args&&... args) {
    // 按参数值类别构造存储tuple：左值存引用，右值移动存值
    std::tuple<Args...> captured_args(std::forward<Args>(args)...);
    // lambda捕获可调用对象和参数tuple，全部用移动/完美转发初始化
    return [func = std::forward<F>(func), captured_args = std::move(captured_args)]() mutable {
        // 展开tuple转发参数，调用原可调用对象
        std::apply([&func](auto&&... unpack_args) {
            std::invoke(
                std::forward<F>(func),
                std::forward<decltype(unpack_args)>(unpack_args)...
            );
        }, captured_args);
    };
}

int main()
{
    auto ptr = make_unique<int>(5);
    auto ptr2 = make_unique<int>(6);
    f(g, ptr, std::move(ptr2));
    auto l = f(g, ptr, make_unique<int>(7));
    l(); // 输出 5 7
    cout << *ptr << endl; // 输出5，左值引用捕获的原对象未被移动/拷贝
    return 0;
}

实现原理说明 #

• 参数存储用std::tuple<Args...>：模板参数Args是完美转发推导的类型，传入左值时Args推导为引用类型，tuple内存储引用，不会触发拷贝；传入右值时Args推导为值类型，tuple内存储实际对象，初始化时通过std::forward把右值移动进tuple，支持std::unique_ptr这类只移类型。
• 调用时用std::apply展开tuple，配合std::invoke统一处理函数指针、函数对象、lambda等所有可调用类型，转发时保留参数的值类别，完全匹配原函数的参数签名要求。
• 可调用对象本身也通过初始化捕获做完美转发，支持传入只移类型的函数对象。

使用约束 #

• 引用捕获的左值参数生命周期必须长于返回的lambda，否则会出现悬空引用，这是引用语义的天然约束，符合左值参数传入时“操作外部原对象”的预期。
• 如果需要强制所有参数都被值持有（无论左值右值），只需将tuple类型改为std::tuple<std::decay_t<Args>...>即可，此时不可拷贝的左值参数会正常触发编译报错，符合类型安全要求。
• 返回的lambda如果捕获了只移类型，本身也是只移类型，C20中可以用auto接收存储，也可以包装进自定义的只移函数wrapper，C23可直接存入std::move_only_function。

内容的提问来源于stack exchange，提问作者cpp is hard