c++ - 访问给定的 future 后 boost::future<>.then() 中的错误访问

Question

我正在 XCode 4.6 中为 iOS 开发。我正在为服务编写一个库并使用 boost 来启动线程。我的一种方法如下所示:

void Service::start(boost::shared_ptr<ResultListener> listener) {

    boost::future<bool> con = boost::make_future(true);
    listener->onConnected(); // Works
    boost::future<bool> initDone = con.then([&, listener](boost::future<bool>& connected) {
         listener->onConnected(); // Works
         if (!connected.get()) {
             listener->onError("...");
             return false;
         }
         listener->onError("...");  // EXC_BAD_ACCESS
         /* ... */
         return true;
    });
}

在设备上执行此操作时，我在标记行处收到了 EXC_BAD_ACCESS。我对此感到非常惊讶，因为第一次调用 onConnected 是成功的，即使我在 if 之前添加了一个 onError 调用也在工作。

由于对 C++ 经验不足，我很乐意了解有关原因、如何调试它以及如何在下次出现此问题时注意的每条信息。另外我不太确定哪些信息是相关的。我认为可能与我到目前为止所发现的相关，以下可能:ResultListener 和 Service 是 boost::noncopyable .我检查了 shared_ptr 的引用计数(使用 use_count)，它在延续中增加了。我正在使用 boost 1.53。方法是这样调用的

Servuce reco(/* ... */);
boost::shared_ptr<foo> f(new foo());
reco.start(f);

foo 是一个简单的类，如果调用一个方法，它除了打印到 std::cout 之外什么都不做。

编辑: 进一步探查让我检查了 get() 调用，我发现正在执行的 future.hpp 中有以下代码:

    // retrieving the value
    move_dest_type get()
    {
        if(!this->future_)
        {
            boost::throw_exception(future_uninitialized());
        }

        future_ptr fut_=this->future_;
        this->future_.reset();
        return fut_->get();
    }

我认为这是问题所在。对 reset() 的调用似乎释放了 future_ shared_ptr 的内存。我的猜测是，这将继续运行的内存标记为未用于操作系统，从而使 listener 指针无效，然后将其视为超出其范围的内存访问。这个假设是否正确？我能以某种方式避免这种情况还是这是 boost 中的错误？

编辑 2: 以下是创建问题的最小示例:

#define BOOST_THREAD_VERSION 4
#include <boost/thread.hpp>

class Test {

public:
    void test() {
        boost::shared_ptr<Test> listener(new Test());
        boost::future<bool> con = boost::make_future(true);
        listener->foo(); // Works
        boost::future<bool> initDone = con.then([listener](boost::future<bool>& connected) {
            listener->foo(); // Works
            if (!connected.get()) {
                listener->foo();
                return false;
            }
            listener->foo();  // EXC_BAD_ACCESS
            return true;
        });
    }

    void foo() {
        std::cout << "foo";
    }
};

我添加了两张我在 XCode 中截取的屏幕截图，以显示 future 运行的情况，Mankarnas(在评论中)和我(上文)似乎是正确的:似乎是内存部分，其中连续存储被释放，因此发生未定义的行为。

这是调用get()之前的情况:

这是 get() 被调用后的情况:

之后px指向的地址是0x00。

Answer 1

我开了一张反对 boost 1.53 的票 and it was confirmed作为错误。 future.then 似乎还不稳定，因此还没有准备好用于生产。那里的一个建议是使用

#define BOOST_THREAD_DONT_PROVIDE_FUTURE_INVALID_AFTER_GET

但明确指出此功能还不稳定(并且文档缺少这一点信息)。

我现在已经切换到使用一个单独的线程，我将在其中等待 future 并执行适当的操作。