многопоточность — c ++: packaged_task через обещания
Я пытаюсь реализовать 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;
}
Решение
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).
Другие решения