VS中packaged_task为何要求拷贝构造函数？包装仅移动对象报错

这个问题本质上是Visual Studio 2015及部分后续早期版本的packaged_task实现不符合C++标准，属于微软的实现bug，而非标准允许的实现定义差异。

标准要求回顾 #

根据C++11及后续标准，std::packaged_task的模板构造函数被设计为支持完美转发可调用对象——也就是说，它应该能正确处理仅移动类型（拷贝构造/赋值被删除的类型），通过移动语义接管对象的所有权，而不是尝试拷贝。Clang的实现严格遵循了这一点，所以你在Clang下不会遇到错误。

VS实现的问题所在 #

在VS2015以及VS2017的早期版本中，packaged_task的内部实现存在缺陷：它在存储传入的可调用对象时，没有正确使用std::move来触发移动构造，反而尝试调用被删除的拷贝构造函数，这就导致了你看到的error C2280。微软在后续的VS版本更新中修复了这个问题，比如VS2019的16.0版本之后，或者VS2022的正式版本，packaged_task的实现已经符合标准，能够正确处理仅移动类型。

临时解决方案（针对旧VS版本） #

如果你暂时无法升级VS版本，可以通过以下方式绕过这个问题：

• 显式用std::move传递仅移动对象，确保构造packaged_task时触发移动语义：

  MoveOnlyOperation op;
  std::packaged_task<void()> task(std::move(op));
  

  （注：如果这样仍然报错，说明VS的实现问题更严重，需要用下面的方法）
• 将仅移动对象封装在std::unique_ptr中，间接传递给packaged_task，避免直接拷贝/移动对象本身：

  auto op_ptr = std::make_unique<MoveOnlyOperation>();
  std::packaged_task<void()> task([ptr = std::move(op_ptr)]() {
      // 使用ptr->调用操作
  });
  

结论 #

这是VS早期版本的实现bug，并非标准允许的差异。升级到较新的VS版本（如VS2019 16.0+或VS2022）就能解决这个问题，此时packaged_task会像Clang一样正确支持仅移动类型的完美转发。

内容的提问来源于stack exchange，提问作者Ghita