c++ - 在 lambda 中捕获参数包时，一些整数会丢失它们的值

Question

所以我有一个可变模板类，它有一个方法，其中模板的参数在 lambda 中捕获。稍后调用 lambda。问题是，位于包前面或后面的整数会失去它们的值(value)。

这是一个简化的例子:

#include <iostream>
#include <functional>

void doPrint() {}

template <typename Arg, typename... Args>
void doPrint(Arg arg, Args... args) {
    std::cout << arg << std::endl;
    doPrint(std::forward<Args>(args)...);
}

template <typename... Args>
void print(Args... args) {
    doPrint(std::forward<Args>(args)...);
}

class IntWrapper {
public:
    IntWrapper(int val) : val(val) {}

    int val;
};

std::ostream& operator<<(std::ostream& out, const IntWrapper& value) {
    out << value.val;
    return out;
}


template <typename... Args>
class TestClass {
public:
    void createWrapper(Args... args) {
        wrapper = [&]() -> void {
            print(std::forward<Args>(args)...);
        };
    }

    std::function<void()> wrapper;
};

int main(int argc, char *argv[])
{
    std::string string = "abc";

    std::cout << "Test 1:" << std::endl;

    TestClass<int, const IntWrapper&, int> test1;
    test1.createWrapper(1, IntWrapper(2), 3);
    test1.wrapper();

    std::cout << std::endl << "Test 2:" << std::endl;

    TestClass<int, const IntWrapper&> test2;
    test2.createWrapper(1, IntWrapper(2));
    test2.wrapper();

    std::cout << std::endl << "Test 3:" << std::endl;

    TestClass<const IntWrapper&, int> test3;
    test3.createWrapper(IntWrapper(1), 2);
    test3.wrapper();

    std::cout << std::endl << "Test 4:" << std::endl;

    TestClass<const IntWrapper&, int, const IntWrapper&> test4;
    test4.createWrapper(IntWrapper(1), 2, IntWrapper(3));
    test4.wrapper();
}

这是我得到的输出:

Test 1:
1
2
3

Test 2:
32764
2

Test 3:
1
32764

Test 4:
1
0
3

如您所见，包装的整数始终保持其值，但整数有时不会。 我知道如果我通过复制捕获并且不使用转发，它会起作用，但在我的实际用例中我不能这样做。

那么，为什么这行不通呢？有什么办法可以解决吗？

编辑: 好吧，很明显我让变量超出示例的范围是愚蠢的。它适用于局部变量。但是，问题仍然出现在我的用例中，其中变量没有超出范围。我会尝试将问题转移到我的示例中，然后重试。

Answer 1

所以发生的事情是您的引用在您使用它们之前就超出了范围。

test1.createWrapper(1, IntWrapper(2), 3);

当你到达时，你传递的所有这些变量都超出了范围

test1.wrapper();

如果你把它们存储在本地然后调用，就像

int x = 1, z = 3; IntWrapper y(2); test1.createWrapper(x, y, z); test1.wrapper();

它应该可以工作。对于您的实际代码，您需要确保 从调用 createWrapper 到调用 wrapper 时，这些值仍然有效，否则您需要在 createWrapper 中按值捕获。

编辑:

我错过了这个:

TestClass<int, const IntWrapper&, int> test1;

对于 test1，您没有转发传入的 int(我上面示例中的 x 和 z)，您转发的是 x 和 z 的拷贝，因为这些 int 是按值传递的。如果你改成

TestClass<int&, const IntWrapper&, int&> test1;

那么我认为它会起作用。