Question

所以我有一个可变参数模板类，它有一个方法，在该方法中，模板的参数在lambda中捕获。后来叫lambda。问题是，在包装的正面或背面的整数都会失去价值。

这是一个简化的例子：

#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

正如你所看到的，包裹的int总是保持它们的价值，但是有时候不知道。我知道如果我通过副本捕获并且不使用向前它是有效的，但我不能在我的实际用例中这样做。

那么，为什么这不起作用？有没有办法解决它？

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

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到调用包装器时，值仍然有效，或者您需要在createWrapper中按值捕获。

编辑：

我错过了这个：

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

对于test1你没有转发传入的int（在上面的例子中是x和z）你转发了x和z的副本，因为这些int是按值传递的。如果您改为

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

然后我认为它会起作用。

在lambda中捕获参数包时，一些int会丢失它们的值

1 个答案: