QSharedPointer在emit中被销毁

时间:2018-03-06 14:36:03

标签: c++ qt qt5 qt-signals qsharedpointer

我在Qt上是一个狡猾的新事物,QSharedPointer在信号中传递了一些问题。我正在使用两个线程(UI和一个worker)。工作人员使用包含自定义QObject的QSharedPointer的信号向UI发送信号:

class MyObject : QObject {...}

class Window : public QWidget {
    Q_OBJECT
public slots:
    void onFound(QSharedPointer<MyObject>);
}

class Worker : public QObject {
    Q_OBJECT
public signals:
    void found(QSharedPointer<MyObject>);
}

我将工作人员foundonFound的Windows Qt::QueuedConnection连接起来,因为它们位于不同的线程中,因此通信必须是异步的。

现在我观察下面的行为,当我传递最后一个QSharedPointer引用我的对象时:

  • 信号moc将引用转换为我指向void*的指针并激活它。
  • 该函数返回导致共享指针和相应的对象被销毁。

这不是我的预期 - 虽然这是合理的。 QSharedPointer一般是通过这种方式传递信号吗?如果是这样的话,在排队时是否存在引用参考的机制?

我考虑了下面的解决方案,但我对它们都没有完全没问题:

  1. 在某个位置保留引用,以便在排队时保持引用。但是在哪里这是一个合理的地方,我应该什么时候放手。
  2. 建立连接Qt::DirectConnection,但我仍然需要以某种方式切换线程(与之前相同的情况)
  3. 引入一个带有std::function参数的新信号/槽,用于传递要在目标线程中执行的lambda函数并捕获我的共享指针的副本。 (这是我目前的解决方案,但它不是优雅的,不是吗?)
  4. 您还有其他建议或想法吗?

1 个答案:

答案 0 :(得分:1)

信号返回不会破坏相应的对象。 QMetaObject::activate调用复制共享指针。这是send信号的实现:

// SIGNAL 0
void IO::send(const QSharedPointer<Unique> & _t1)
{
    void *_a[] = { nullptr, const_cast<void*>(reinterpret_cast<const void*>(&_t1)) };
    QMetaObject::activate(this, &staticMetaObject, 0, _a);
}

您可能正在经历一场比赛:当发出信号的线程恢复执行时,目标线程已经收到了该对象。因此,它在发射线程中显示对象消失了 - 因为到那时,它就是。然而,目标对象接收实例就好了。它工作正常。

下面的示例说明它适用于单线程和多线程情况,然后通过确保目标线程始终赢得竞争来重现您的问题:

// https://github.com/KubaO/stackoverflown/tree/master/questions/shared-pointer-queued-49133331
#include <QtCore>

class Unique : public QObject {
   Q_OBJECT
   int const m_id = []{
      static QAtomicInteger<int> ctr;
      return ctr.fetchAndAddOrdered(1);
   }();
public:
   int id() const { return m_id; }
};

class IO : public QObject {
   Q_OBJECT
   int m_lastId = -1;
public:
   Q_SIGNAL void send(const QSharedPointer<Unique> &);
   Q_SLOT void receive(const QSharedPointer<Unique> & u) {
      m_lastId = u->id();
   }
   int lastId() const { return m_lastId; }
};

int main(int argc, char ** argv) {
   Q_ASSERT(QT_VERSION >= QT_VERSION_CHECK(5,9,0));
   QCoreApplication app{argc, argv};
   IO src, dst;
   QObject::connect(&src, &IO::send, &dst, &IO::receive, Qt::QueuedConnection);

   QSharedPointer<Unique> u;
   QWeakPointer<Unique> alive;
   int id = -1;

   // Single-threaded case
   alive = (u.reset(new Unique), u);
   id = u->id();
   Q_ASSERT(dst.lastId() != id); // the destination hasn't seen the object yet
   emit src.send(u);
   u.reset();
   Q_ASSERT(!u);                 // we gave up ownership of the object
   Q_ASSERT(dst.lastId() != id); // the destination mustn't seen the object yet
   Q_ASSERT(alive);              // the object must be still alive
   app.processEvents();
   Q_ASSERT(dst.lastId() == id); // the destination must have seen the object now
   Q_ASSERT(!alive);             // the object should have been destroyed by now

   // Multi-threaded setup
   struct Thread : QThread { ~Thread() { quit(); wait(); } } worker;
   worker.start();
   dst.moveToThread(&worker);
   QSemaphore s_src, s_dst;

   // This thread wins the race
   alive = (u.reset(new Unique), u);
   id = u->id();
   Q_ASSERT(dst.lastId() != id);
   QTimer::singleShot(0, &dst, [&]{ s_src.release(); s_dst.acquire(); });
                                 // stop the thread
   s_src.acquire();              // wait for thread to be stopped
   emit src.send(u);
   QTimer::singleShot(0, &dst, [&]{ s_src.release(); });
                                 // resume the main thread when done
   u.reset();
   Q_ASSERT(!u);
   Q_ASSERT(alive);              // we won the race: the object must be still alive
   s_dst.release();              // get the thread running
   s_src.acquire();              // wait for the thread to be done
   Q_ASSERT(dst.lastId() == id);
   Q_ASSERT(!alive);

   // The other thread wins the race
   alive = (u.reset(new Unique), u);
   id = u->id();
   Q_ASSERT(dst.lastId() != id);
   emit src.send(u);
   QTimer::singleShot(0, &dst, [&]{ s_src.release(); });
                                // resume the main thread when done
   u.reset();
   s_src.acquire();             // wait for worker thread to be done
   Q_ASSERT(!u);
   Q_ASSERT(!alive);            // we lost the race: the object must be gone
   Q_ASSERT(dst.lastId() == id); // yet the destination has received it!

   // Ensure the rendezvous logic didn't mess up
   Q_ASSERT(id == 2);
   Q_ASSERT(!s_src.available());
   Q_ASSERT(!s_dst.available());
}

#include "main.moc"