为什么参数在构造std::线程时移动了两次

Question

考虑这个程序本质上创建了<代码> STD:：线程< /代码>，调用函数<代码>函数（）/代码>以<代码> ARG作为参数：

#include <thread>
#include <iostream>

struct foo {
   foo() = default;
   foo(const foo&) { std::cout << "copy ctor" << std::endl; }
   foo(foo&&) noexcept { std::cout << "move ctor" << std::endl; }
};

void func(foo){}

int main() {
   foo arg;
   std::thread th(func, arg);
   th.join();
}

我的输出是

copy ctor
move ctor
move ctor

据我所知，arg在线程对象中内部复制，然后作为右值（移动）传递给func（）。所以，我期待一个副本建设和一个移动建设。

为什么会有第二步建设？

Answer 1

所以，我期望一次复制构造和一次移动构造。

标准实际上并没有这么说。允许实现执行额外的内部移动构造。

但这样做可能会降低效率。这是https://gcc.gnu.org/PR69724并且已经在即将发布的GCC10版本中修复。

Answer 2

通过值将参数传递给func，该值应构成第二步。显然，std:：thread在调用func之前会在内部存储它一次，就标准而言，AFAIK是绝对合法的。