Используйте функцию-член в std::packaged_task с std::thread (не std::async)

Я пытаюсь получить std:: future от std:: thread, и кажется, что единственный способ (?) Сделать это - использовать std::packaged_task. Ну, кроме того, функция, которую я хочу вызвать в std:: thread, является функцией-членом класса. Я мог бы найти этот поток Использовать функцию-член в std:: packaged_task, но они используют std:: async вместо std::thread. Я пытался что-то компилировать на основе этого поста, но когда я пытаюсь скомпилировать этот код здесь:

#include <iostream>
#include <future>
#include <thread>

class test
{
    int fthread(int b)
    {
        return a + b;
    }

    int a;
public:
    test(int a_) : a(a_) {}

    int run(int b)
    {
        std::packaged_task<int(int)>
            task(std::bind(&test::fthread, this));

        //std::thread a(std::move(std::ref(task)), 5, 1);
        std::thread th(std::move(std::ref(task)), b);//<--Edit typo...

        std::future<int> fut = task.get_future();

        return fut.get();
    }
};

int main()
{
    int a = 5, b = 1;
    test t(a);

    int c = t.run(b);

    if (c != (a+b))
        return 1;
    return 0;
}

Я получаю следующую ошибку на MSVC 2013:

error C2064: term does not evaluate to a function taking 1 arguments
class does not define an 'operator()' or a user defined conversion operator to a pointer-to-function or reference-to-function that takes appropriate number of arguments

1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(1137) : see reference to function template instantiation 'int std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >::_Do_call<_Ty,0x00>(std::tuple<_Ty &>,std::_Arg_idx<0x00>)' being compiled
1>          with
1>          [
1>              _Ty=int
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(1137) : see reference to function template instantiation 'int std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >::_Do_call<_Ty,0x00>(std::tuple<_Ty &>,std::_Arg_idx<0x00>)' being compiled
1>          with
1>          [
1>              _Ty=int
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\xrefwrap(283) : see reference to function template instantiation 'int std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >::operator ()<_Ty>(_Ty &&)' being compiled
1>          with
1>          [
1>              _Ty=int
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\xrefwrap(283) : see reference to function template instantiation 'int std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >::operator ()<_Ty>(_Ty &&)' being compiled
1>          with
1>          [
1>              _Ty=int
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(228) : see reference to function template instantiation '_Ret std::_Callable_obj<std::_Bind<true,_Ret,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >,false>::_ApplyX<_Rx,_Ty>(_Ty &&)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Rx=int
1>  ,            _Ty=int
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(228) : see reference to function template instantiation '_Ret std::_Callable_obj<std::_Bind<true,_Ret,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >,false>::_ApplyX<_Rx,_Ty>(_Ty &&)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Rx=int
1>  ,            _Ty=int
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(226) : while compiling class template member function 'int std::_Func_impl<_MyWrapper,_Alloc,_Ret,int>::_Do_call(int &&)'
1>          with
1>          [
1>              _Alloc=std::allocator<std::_Func_class<int,int>>
1>  ,            _Ret=int
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(495) : see reference to class template instantiation 'std::_Func_impl<_MyWrapper,_Alloc,_Ret,int>' being compiled
1>          with
1>          [
1>              _Alloc=std::allocator<std::_Func_class<int,int>>
1>  ,            _Ret=int
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(396) : see reference to function template instantiation 'void std::_Func_class<_Ret,int>::_Do_alloc<_Myimpl,_Ty,_Alloc>(_Fty &&,_Alloc)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Alloc=std::allocator<std::_Func_class<int,int>>
1>  ,            _Fty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(396) : see reference to function template instantiation 'void std::_Func_class<_Ret,int>::_Do_alloc<_Myimpl,_Ty,_Alloc>(_Fty &&,_Alloc)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Alloc=std::allocator<std::_Func_class<int,int>>
1>  ,            _Fty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(385) : see reference to function template instantiation 'void std::_Func_class<_Ret,int>::_Reset_alloc<_Ty,std::allocator<std::_Func_class<_Ret,int>>>(_Fty &&,_Alloc)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Fty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Alloc=std::allocator<std::_Func_class<int,int>>
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(385) : see reference to function template instantiation 'void std::_Func_class<_Ret,int>::_Reset_alloc<_Ty,std::allocator<std::_Func_class<_Ret,int>>>(_Fty &&,_Alloc)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Fty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Alloc=std::allocator<std::_Func_class<int,int>>
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(671) : see reference to function template instantiation 'void std::_Func_class<_Ret,int>::_Reset<_Ty>(_Fty &&)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Fty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\functional(671) : see reference to function template instantiation 'void std::_Func_class<_Ret,int>::_Reset<_Ty>(_Fty &&)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Fty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\future(588) : see reference to function template instantiation 'std::function<_Ret (int)>::function<_Ty>(_Fx &&)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Fx=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\future(588) : see reference to function template instantiation 'std::function<_Ret (int)>::function<_Ty>(_Fx &&)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Fx=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\future(1742) : see reference to function template instantiation 'std::_Packaged_state<_Ret (int)>::_Packaged_state<_Ty>(_Fty2 &&)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Fty2=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          C:\MesProgs\Microsoft Visual Studio 12.0\VC\include\future(1744) : see reference to function template instantiation 'std::_Packaged_state<_Ret (int)>::_Packaged_state<_Ty>(_Fty2 &&)' being compiled
1>          with
1>          [
1>              _Ret=int
1>  ,            _Ty=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>  ,            _Fty2=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          main.cpp(51) : see reference to function template instantiation 'std::packaged_task<int (int)>::packaged_task<std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >>(_Fty2 &&)' being compiled
1>          with
1>          [
1>              _Fty2=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]
1>          main.cpp(51) : see reference to function template instantiation 'std::packaged_task<int (int)>::packaged_task<std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >>(_Fty2 &&)' being compiled
1>          with
1>          [
1>              _Fty2=std::_Bind<true,int,std::_Pmf_wrap<int (__cdecl test::* )(int),int,test,int>,test *const >
1>          ]

Буду признателен за любую помощь! Спасибо

Источник

1 ответ

Решение

У вас есть несколько вопросов:

  • Вы не указываете заполнитель для ожидаемого аргумента в вашем bind, Так должно быть std::bind(&test::fthread, this, std::placeholders::_1)или еще лучше [this](int i){ return fthread(i); },

  • Вы пытаетесь переместить reference_wrapper в std::thread когда вы должны просто перемещать packaged_task непосредственно: std::thread a(std::move(task), ... или передать reference_wrapper по значению: std::thread a(std::ref(task), ...., Если вы переместите packaged_task в потоке, обязательно извлеките его future до переезда.

  • Вы передаете два аргумента - 5 и 1 - в std::thread конструктор, когда packaged_task принимает только один аргумент Из экзаменационного теста в mainВы хотите, чтобы этот аргумент был b: std::thread a(std::move(task), b);

  • Вы не присоединяетесь и не отсоединяете поток, поэтому его деструктор вызовет std::terminate,

Обращаясь ко всем этим результатам в:

int run(int b)
{
    std::packaged_task<int(int)>
            task(std::bind(&test::fthread, this, std::placeholders::_1));
    std::future<int> fut = task.get_future();

    std::thread(std::move(task), b).join();

    return fut.get();
}

который семантически идентичен:

int run(int b)
{
    return std::async(std::launch::async, [this,b]{ return fthread(b); }).get();
}

Демо в Колиру

Источник
Другие вопросы по тегам