C++: packaged_task через обещания

Question

Я пытаюсь реализовать 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 чтобы вручную написать ход ctor. C++11 требует, чтобы компилятор написал вышеупомянутый конструктор перемещения (или один эквивалент) для вас. MSVC2013 не является совместимым компилятором C++ 11.

Ошибка жалуется, что не может переместить promised_task с помощью promised_task(promised_task const&), который неявно удаляется как promise не имеет конструктора копирования. Компилятор должен написать promised_task(promised_task&&), но это не компилятор C++ 11 (не совсем), так что это не так, и вы получаете ошибку об отсутствующем конструкторе копирования.

Когда вы пытаетесь переместить тип, если у него нет операции перемещения, неявно вызывается копия. Если копия удалена / невозможна / недоступна, вы получите ошибку о невозможности скопировать тип.

Обратите внимание, что MSVC2015 исправляет этот недостаток. Большая оставшаяся дыра в реализации C++ 11 для MSVC2015 - это то, что Microsoft называет "выражением SFINAE", и эффектами зацепки (компонентами библиотеки, которые не соответствуют требованиям, потому что это необходимо для его реализации).

В недавнем сообщении о соответствии C++ 11 они заявили, что планируют добавить это в обновление для конечных потребителей (не бета-версия) когда-нибудь в цикле MSVC2015, но не будут включать функции заблокированной библиотеки до следующего основного выпуска (чтобы избежать нарушений ODR).