为啥构造 std::thread 时参数移动了两次

Posted 2023-02-16

【中文标题】为啥构造 std::thread 时参数移动了两次

【英文标题】：Why arguments moved twice when constructing std::thread为什么构造 std::thread 时参数移动了两次

【发布时间】：2020-04-23 09:23:12

【问题描述】：

考虑这个程序，它实质上创建了std::thread，它以arg 作为参数调用函数func()：

#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()。所以，我希望一个副本构建和一个移动构建。

为什么会有第二步构造？

【问题讨论】：

位相关：***.com/questions/50362849/…

啊，其实是个骗子。遗憾的是由于没有答案而无法关闭（因为 n.m. 出于某种原因在 cmets 部分写了他们的答案）

【参考方案1】：

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

【参考方案2】：

所以，我期望一种复制结构和一种移动结构。

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

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