c++ - 创建线程并让 "this"指针从构造函数中逃逸总是安全的吗？

Question

我对以下代码感到困惑(来自 Prefer Using Active Objects Instead of Naked Threads ):

class Active {
public:

  class Message {        // base of all message types
  public:
    virtual ~Message() { }
    virtual void Execute() { }
  };

private:
  // (suppress copying if in C++)

  // private data
  unique_ptr<Message> done;               // le sentinel
  message_queue< unique_ptr<Message> > mq;    // le queue
  unique_ptr<thread> thd;                // le thread

private:
  // The dispatch loop: pump messages until done
  void Run() {
    unique_ptr<Message> msg;
    while( (msg = mq.receive()) != done ) {
      msg->Execute();
    }
  }

public:
  // Start everything up, using Run as the thread mainline
  Active() : done( new Message ) {
    thd = unique_ptr<thread>(
                  new thread( bind(&Active::Run, this) ) );
  }

...

(构造函数完成后，成员变量只能在成员线程中访问)。

有人能解释一下为什么在这种情况下在线程之间共享 Active 对象的 this 是安全的吗？我们是否可以保证新线程将在线程生成行之前看到构造函数中所做的更改？

Answer 1

我相信这是安全的(没有数据竞争)，因为代码中没有明确说明技术细节。

线程可能在 Active 对象完全构建之前启动，这听起来可能是个问题，因为生成的线程可以访问 vtable 或其他成员变量。

但是，

1. 没有 vtable，因为 Active 不是基类，也不是设计成基类的。 Active 旨在与组合一起使用，而不是与继承一起使用。

2. 直到构造函数主体才产生线程，这意味着所有成员变量都已完全构造。 (C++ 按照成员声明的顺序构造成员，您可以放心，先前声明的成员变量在构造下一个成员变量之前已完全构造。)到线程被派生时，完成标志和队列已完成完全构建。由于该线程从不访问 thd 成员，因此不会与完成分配的主线程竞争。

3. 一旦产生工作线程，所有者线程就再也不会接触该对象，除非可能完成对 thd 的分配。但是生成的线程永远不会访问 thd，因此那里没有竞争。

4. 工作线程设置自己的完成标志(以响应消息)，因此那里没有竞争。

5. 我假设消息队列具有必要的同步。

所以我认为这很好。