传递给 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

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

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