c++:通过 promise 打包任务

Question

我正在尝试使用 promises 将 packaged_task 实现为模板类。

我的编译错误表明我正在引用一个已删除的函数。我怀疑我需要实现复制和/或移动语义，但我很困惑如何以及从哪里开始。非常感谢任何建议:

#include "stdafx.h"
#include <iostream>
#include <future>
#include <functional>
#include <thread>
using namespace std;

//Base case
template<class>
class promised_task;

//Templated class
template<class Ret, class...Args>
class promised_task<Ret(Args...)> {
public:
    //Constructor
    //Takes a function argument that is forwarded to fn member
    template<class F>
    explicit promised_task(F&& f) :fn(f){}

    //get_future member function:
    future<Ret> get_future(){
        return prom.get_future();
    }

    //Set value
    void operator()(Args&&...args){
        prom.set_value(fn(forward<Args>(args)...));
    }

private:
    //Promise member
    promise<Ret> prom;

    //Function member
    function<Ret(Args...)> fn;
};


//Sample function from cplusplus.com
int countdown(int from, int to){
    for (int i = from; i != to; --i){
        cout << i << endl;
        this_thread::sleep_for(chrono::seconds(1));
    }
    cout << "Lift off!" << endl;
    return from - to;
}

//Verification function also from cplusplus.com
int main(){
    promised_task<int(int, int)>tsk(countdown);
    future<int>ret = tsk.get_future();

    thread th(move(tsk), 10, 0);

    int value = ret.get();

    cout << "The countdown lasted for " << value << " seconds." << endl;

    th.join();

    cout << "Press any key to continue:" << endl;
    cin.ignore();
    return 0;
}

Answer 1

thread th(move(tsk), 10, 0)

我猜这是产生错误的行。

添加:

promised_task(promised_task&& o):
  prom(std::move(o).prom), fn(std::move(o).fn)
{}

到 promised_task 以便手动编写移动构造函数。 C++11 要求编译器为您编写上述移动构造函数(或一个等效的)。 MSVC2013 不是兼容的 C++11 编译器。

错误是提示它无法通过 promised_task(promised_task const&) 移动 promised_task，由于 promise 没有拷贝，它被隐式删除构造函数。编译器应该编写 promised_task(promised_task&&)，但它不是 C++11 编译器(不是真的)，所以它不是，并且您会收到有关缺少复制构造函数的错误。

当您尝试移动一个类型时，如果它缺少移动操作，则会隐式调用复制。如果拷贝被删除/不可能/无法访问，您会收到有关无法复制类型的错误。

请注意，MSVC2015 正在修复该缺陷。 C++11 的 MSVC2015 实现中剩下的一大漏洞是 Microsoft 所谓的“表达式 SFINAE”和链式效应(库组件不合规，因为它需要它来实现它)。

在最近一次关于 C++11 合规性的交流中，他们表示他们计划在 MSVC2015 周期的某个时候在面向最终消费者的更新(而非测试版)中发布它，但直到下一个周期才启用被阻止的库功能主要版本(以避免违反 ODR)。