超出范围后在 Lambda 中设置的共享指针

Question

我遇到了共享指针、lambda 和范围的问题。

我的情况是我有一个我调用的方法，所以我可以稍后使用返回的值。到这里为止有点正常。当我在此方法中有一个异步方法时，问题就来了，我必须对 shared_pointer 进行一组异常。我正在使用 lambda 函数来处理来自此异步方法的回调。在这个 lambda 中，我必须使用我的 shared_pointer 并在其上设置一个异常（来自其类的方法） resultPtr->setException();

我首先使用了 shared_ptr，然后在 lambda 中使用了 weak_ptr（因为我在某些地方读到 shared_ptr 可能导致内存泄漏）。但直到现在我想我真的需要使用 shared_ptr。

我必须测试是否在第二个 .cpp 中设置了此异常，因此我调用该方法并使用返回值。我让线程等待大约 500 毫秒，然后我测试它是否有异常，但它没有。但是，在极少数情况下，它“有异常”。我可以看到正在调用 lambda，并且它通过我的日志设置了异常，但是它似乎并没有改变我首先返回的值（就像它指向不同的地方一样）。

我提到的第一种方法的输入对我的情况并不重要，只是它们是指针。

在我的情况下，我有类似的东西：

file1.cpp
typedef shared_ptr<Result> ResultPtr;
ResultPtr method_name(TypePtr args)
{
    if(args != nullptr)
    {
        ResultPtr result = make_shared<Result>();
        stuff->callAsync([this, result](input)
        {
            if(result == nullptr)
            {
                result->setException();
            }
        });
    }
    else
    {
        result->setError();
    }
    return result;
}

file2.cpp
bool testingMethod()
{
    ResultPtr result = file1::methodName(TypePtr args)
    std::this_thread::sleep_for(std::chrono::milliseconds(500));
    test(result->hasException);
}

为了测试，我正在使用另一个类，我用某些输入调用此方法（这里不重要），我需要比较 resultPtr 的对象值。发生的情况是，一旦超出范围（返回 a），我就无法再访问该对象。在我调用这个方法后，我让线程等待了大约 1 秒，但它永远不会改变状态（因为它不能指向被破坏的对象）

有没有办法克服这个问题？其他建议？

谢谢！

Answer 1

当然，您不能再访问该对象，因为当shared pointer 离开创建它的if(args) 块的范围时，它就是destroyed。您需要让对象位于方法之外，例如。 G。将其作为类成员或 ( forbid!) 存储在全局变量中。

是否需要将其包装在共享指针中尚不清楚，您需要提供 MCVE 以及更清晰的 what you want to achieve 描述。

Answer 2

如果您的 callAsync 确实是异步的，那么当局部变量 result 和 a 已经超出范围时，您的 lambda 可能会开始执行。您应该将所需的变量作为参数传递，例如与std::bind绑定：

typedef shared_ptr<Result> ResultPtr;
ResultPtr method_name(args)
{
    if(args)
    {
        ResultPtr a = make_shared<Result>();
        std::weak_ptr<Result> result(a);
        stuff->callAsync(std::bind([this](std::weak_ptr<Result> result_param)
        {
            auto resultPtr = result_param.lock();
            if(resultPtr)
            {
                resultPtr->setValue()
                ...other stuff...
            }
        }, result));
    }
    else
    {
        a->setError();
    }
    return a;
}

是的，你的例子令人困惑

Answer 3

如果您需要 lambda 来保证它使对象保持活动状态，为什么要使用弱指针而不是共享指针来传递？弱指针的目的是您所看到的行为，它本身并不能使对象保持活动状态。

因为你只捕获一个弱指针，所以当唯一的共享指针超出范围时，如果它在你锁定弱指针之前超出范围，它不会保持共享指针的活动。但是您可以只捕获共享指针（按值，因此获取副本）而不是使用弱指针。然后引用计数会增加，并且 lambda 内部的共享指针会保持活动状态，并且只有当两个共享指针都超出范围时才会被删除。

这样的共享所有权是共享指针的原因，如果希望在共享指针引用计数达到零时对象将不再可访问，则应仅使用弱指针。