c++ - 双重调用传递到 std::vector::emplace_back 的类的复制构造函数

Question

我想了解以下代码中重复调用复制构造函数的原因:

#include <vector>
#include <thread>
#include <algorithm>
#include <functional>
#include <iostream>
#include <mutex>

std::mutex m_stdout;

class MyWorker {
public:
  MyWorker() = default;
  MyWorker(const MyWorker& mw) {
    m_stdout.lock();
    std::cout << "MyWorker coping" << std::endl;
    m_stdout.unlock();
  }

  void operator() () {}
};

int main () {
  std::vector<std::thread> vth;
  vth.reserve(4);
  MyWorker mw;
  for (int i = 4; i > 0; --i) {
    vth.emplace_back(mw);
  }
  std::for_each(vth.begin(), vth.end(), std::mem_fn(&std::thread::join));
}

标准输出:

MyWorker coping
MyWorker coping
MyWorker coping
MyWorker coping
MyWorker coping
MyWorker coping
MyWorker coping
MyWorker coping

emplace_back不应该复印两份，不是吗？

Answer 1

这确实很微妙:您需要一个移动构造函数。基本上，当您创建线程时，它确实会复制一次到 vector 中，但是当线程启动时，它们需要复制或移动它们的参数。您只有一个复制构造函数，所以这就是它所使用的。我在下面添加了这段代码来演示:

MyWorker(MyWorker&& mw) {
  m_stdout.lock();
  std::cout << "MyWorker moving" << std::endl;
  m_stdout.unlock();
}

将其添加到您已有的复制构造函数中，您将得到以下输出:

MyWorker copying
MyWorker moving
MyWorker copying
MyWorker moving
MyWorker copying
MyWorker moving
MyWorker copying
MyWorker moving