async 不会在 Visual Studio 2015 中调用移动构造函数

Question

我在 Visual Studio 2015 社区编译包含以下内容的代码时遇到问题

auto f = async(launch::async,                  
          &WorkerThread<Hash>::run,                 
          WorkerThread<Hash>(mInputFile, mOutputFile),
          i, numthreads, mBlockSize);                   
futures.push_back(std::move(f));    

好吧，类似的问题已经在这里问了几十次了，但通常问题出在某处缺少std::move。

模板类WorkerThread<Hash> 不可复制（已删除复制构造函数和复制赋值运算符），但可移动。上面的代码产生C2280: "WorkerThread<Hash>::WorkerThread(const WorkerThread<Hash> &)": attempted to reference deleted function（这是我的翻译）。

似乎默认情况下它不会生成移动构造函数，在我的情况下这很好。当我将它们显式设置为default 时，我得到了同样的错误，但现在它指的是std::_Binder<std::_Unforced,_Ty,WorkerThread<Hash>,unsigned int,unsigned int,__int64>::_Binder(const std::_Binder<std::_Unforced,_Ty,WorkerThread<Hash>,unsigned int,unsigned int,__int64> &)。

非常欢迎任何想法。

更新：MCVE

如果您有上述编译器可用，请尝试编译并报告结果。我认为这可能是我的安装问题。

#include<future>
#include<memory>


class Foo {
public:
    Foo() :mData(new int[100]) {}
    void run() {}
private:
    std::unique_ptr<int[]> mData;
};


int main()
{
    auto f = std::async(std::launch::async, &Foo::run, Foo());
    f.get();
}

Answer 1

编辑：该错误已在 MSVC 2015 Update 2 中修复。

这是MSVC bug（帽子提示@bogdan 用于查找报告）。它的async（和packaged_task，似乎是）实现将仿函数存储到std::function，它不支持仅移动类型——因此不能在符合要求的实现中使用。

一个简单的解决方法是改用shared_ptr：

auto f = async(launch::async,                  
          &WorkerThread<Hash>::run,                 
          std::make_shared<WorkerThread<Hash>>(mInputFile, mOutputFile),
          i, numthreads, mBlockSize);                   
futures.push_back(std::move(f));

也可以考虑 Lambda（沿着 [=]{WorkerThread<Hash>(mInputFile, mOutputFile).run(i, numthreads, mBlockSize); } 的行），但这会导致行为发生变化：WorkerThread<Hash> 不再在调用 async 的线程中构造，而是在线程 async 中构造产卵。