析构函数和异步任务

Question

我有一个类调用异步任务，在他的构造函数中使用std::async 来加载其内容。 （我希望异步加载对象）

代码如下：

void loadObject(Object* object)
{
 // ... load object
}

Object::Object(): 
{
    auto future = std::async(std::launch::async, loadObject, this);
}

我在我的主线程上创建和删除了这些对象的几个实例，它们可以随时被删除，甚至在加载完成之前。

我想知道当对象仍在另一个线程上处理时被销毁是否危险。如果对象被破坏，我该如何停止线程？

编辑：由于bug，std::future 析构函数不会使用我正在使用的 VS2013 编译器阻止我的代码。

Answer 1

正如 MikeMB 已经提到的，您的构造函数在加载完成之前不会完成。检查此问题以了解如何克服：Can I use std::async without waiting for the future limitation?

我想知道当对象仍在另一个线程上处理时被销毁是否危险。

删除后访问对象的内存肯定是危险的，是的。行为将是未定义的。

如果对象被破坏，我如何停止线程？

我建议您首先注意的是确保对象不会在它仍然被将要使用它的东西指向时被破坏。

一种方法是使用表示已完成加载的成员标志，该标志在异步任务中更新并在析构函数中检查，并将访问与条件变量同步。这将允许析构函数阻塞，直到异步任务完成。

一旦您设法防止对象被销毁，您可以使用另一个同步成员标志来表示对象正在被销毁并跳过加载（如果已设置）。这会增加同步开销，但如果加载成本很高，这可能是值得的。

另一种避免阻塞析构函数的方法是将std::shared_ptr 传递给异步任务，并要求所有Object 实例由共享指针拥有。这种限制可能不是很理想，您需要继承 std::enable_shared_from_this 才能在构造函数中获取共享指针。

Answer 2

您的代码中没有任何异步发生，因为构造函数会阻塞，直到 loadObject() 返回（std::async 返回的未来的析构函数隐式连接）。

如果不是，这将取决于您如何编写代码（尤其是您的析构函数），但很可能您的代码会产生未定义的行为。

Answer 3

是的当对象仍在另一个线程上处理时被销毁是很危险的

您实际上可以根据需求和期望的行为实施很多策略。

我会在这里实现某种 pimpl 策略，这意味着所有实际数据都将存储在您的对象持有的指针中。您会将所有数据加载到数据指针对象并将其存储在公共对象中原子地。

从技术上讲，对象应该在构造器完成时完全构造并准备好使用。在您的情况下，数据指针对象可能仍无法使用。你应该让你的班级正确处理这种状态。

所以我们开始吧：

class Object
{
   std::shared_ptr<Object_data> d;
   Object::Object(): 
      d(std::make_shared<Object_data>())
   {
        some_futures_matser.add_future(std::async(std::launch::async, loadObject, d));

   }
}

然后你在你的数据对象中创建原子标志，这将表明加载完成并且对象可以使用了。

class Object_data
{
    // ...
    std::atomic<bool> loaded {false};
};

loadObject(std::shared_ptr<Object_data> d)
{
    /// some load code here
    d->loaded = true;
}

每次通过loaded 标志访问对象时（以线程安全方式），您都必须检查对象是否已构造