复杂元组捕获

Question

我正在尝试找出一种方法来捕获可变参数包，该包可以由 l 和 r 值引用组成，并按值捕获 r 值，同时按引用捕获 l 值以供以后使用（因此异步测试）。我尝试了以下方法：

#include <iostream>
#include <tuple>
#include <future>

template<typename... T>
auto bar(T&&... values)
{
    return [tup = std::forward_as_tuple(values...)](){
        std::cout << std::get<0>(tup) << std::endl;
    };
}

int lValue = 50;

int main ()
{
    auto rvalues = bar(50);
    auto lvalues = bar(lValue);

    auto futureR(std::async(rvalues));
    auto futureL(std::async(lvalues));
    futureR.get();
    futureL.get();
    return 0;
}

然而，这在执行右值 lambda 时会输出未定义的值。左值 lambda 输出所需的 50 而无需复制构造（可能用于大对象）。有什么方法可以按值捕获 r 值，而无需复制构造由 l 值引用传递的对象，不知道我将得到什么样的 l 和 r 值组合？

auto mixedValues = bar(50, lValue);
auto futureMixed(std::async(mixedValues));

Link 举例 shell http://cpp.sh/336lv

Answer 1

在：

template<typename... T>
auto bar(T&&... values)
{
    return [tup = std::forward_as_tuple(values...)](){
        std::cout << std::get<0>(tup) << std::endl;
    };
}

由于引用折叠的魔力，T 是左值参数的左值引用类型，以及右值参数的非引用类型。因此你想要：

return [tup = std::tuple<T...>(std::forward<T>(values)...)](){
    std::cout << std::get<0>(tup) << std::endl;
};

将左值存储为引用，将右值按值存储。

复杂元组捕获

Complex tuple capture

c++

lambda

variadic-templates

c++14

forwarding-reference