У меня есть этот MCVE
#include <iostream>
#include <thread>
class Foo
{
void bar_i() { std::cout << "hello" << std::endl; }
public:
void bar()
{
// I don't know why I used std::ref(*this) instead of this, I wrote this some time ago
std::thread t(&Foo::bar_i, std::ref(*this));
t.join();
}
};
int main()
{
Foo f;
f.bar();
}
который основан на VS 2013 Update 3 и Coliru, но не основывается на VS 2015 с этим списком ошибок:
1>c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(238): error C2893: Failed to specialize function template 'unknown-type std::invoke(_Callable &&,_Types &&...)'
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(238): note: With the following template arguments:
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(238): note: '_Callable=void (__thiscall Foo::* )(void)'
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(238): note: '_Types={std::reference_wrapper<Foo>}'
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(247): note: see reference to function template instantiation 'void std::_LaunchPad<_Target>::_Execute<0,1>(std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>> &,std::integer_sequence<_Ty,0,1>)' being compiled
1> with
1> [
1> _Target=std::unique_ptr<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>,std::default_delete<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>>>,
1> _Ty=size_t
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(247): note: see reference to function template instantiation 'void std::_LaunchPad<_Target>::_Execute<0,1>(std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>> &,std::integer_sequence<_Ty,0,1>)' being compiled
1> with
1> [
1> _Target=std::unique_ptr<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>,std::default_delete<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>>>,
1> _Ty=size_t
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(242): note: while compiling class template member function 'void std::_LaunchPad<_Target>::_Run(std::_LaunchPad<_Target> *) noexcept'
1> with
1> [
1> _Target=std::unique_ptr<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>,std::default_delete<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>>>
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(230): note: see reference to function template instantiation 'void std::_LaunchPad<_Target>::_Run(std::_LaunchPad<_Target> *) noexcept' being compiled
1> with
1> [
1> _Target=std::unique_ptr<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>,std::default_delete<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>>>
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thr\xthread(256): note: see reference to class template instantiation 'std::_LaunchPad<_Target>' being compiled
1> with
1> [
1> _Target=std::unique_ptr<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>,std::default_delete<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>>>
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\thread(52): note: see reference to function template instantiation 'void std::_Launch<std::unique_ptr<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>,std::default_delete<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>>>>(_Thrd_t *,_Target &&)' being compiled
1> with
1> [
1> _Target=std::unique_ptr<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>,std::default_delete<std::tuple<void (__thiscall Foo::* )(void),std::reference_wrapper<Foo>>>>
1> ]
1> d:\libraries\c++ active\tests\tests\test.cpp(13): note: see reference to function template instantiation 'std::thread::thread<void(__thiscall Foo::* )(void),std::reference_wrapper<Foo>,void>(_Fn &&,std::reference_wrapper<Foo> &&)' being compiled
1> with
1> [
1> _Fn=void (__thiscall Foo::* )(void)
1> ]
Если бы не std::ref
этот код будет компилироваться. В чем проблема?
Насколько я могу судить, правила в 20.9.2 приводят к тому, что ваш код эквивалентен
auto f = &Foo::bar_i;
decay<decltype(std::ref(*this))>::type t1 = std::ref(*this); // still reference_wrapper
((*t1).*f)();
что на самом деле ошибка.
Просто используйте std::thread t(&Foo::bar_i, this);
, поскольку механизм указателя на функцию-член присутствует в std::thread
знает, чтобы разыменовывать первый параметр при выполнении вызова.
Согласно проекту n4527 Я смотрю на специальную обработку std::reference_wrapper
использован std::bind
(см. 20.9.10.3) не применяется к std::thread
, Также не используется специальная логика распада, используемая std::tuple
, что приводит к reference_wrapper
стать нормальной ссылкой.
Других решений пока нет …