std :: bindはMSVCのstd :: atomic_bool＆でコンパイルできません

Question

VC++を使用して（Visual Studio 2015、アップデート3を使用して）プログラムをコンパイルするとコンパイルに失敗します。

基本的には、アトミックブール値への参照をアトミックブール値で取得する関数をバインドしたいと思います。

void stub(std::atomic_bool& b) { 
    b = true; 
} 

int main() { 
    std::atomic_bool b(false); 
    std::function<void()> delegate = std::bind(stub, b); //fails to compile 

    auto& ref = b; 
    std::function<void()> delegate0 = std::bind(stub, ref); //fails to compile 

    std::function<void()> delegate1 = std::bind(stub, std::ref(b)); //compiled 
/*...*/ 
    } 

コンパイラのスタックトレース：コード含む自己

1>c:\program files (x86)\microsoft visual studio 14.0\vc\include\xutility(357): error C2665: 'std::tuple<std::atomic<bool>>::tuple': none of the 2 overloads could convert all the argument types 
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\tuple(608): note: could be 'std::tuple<std::atomic<bool>>::tuple(std::tuple<std::atomic<bool>> &&)' 
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\tuple(607): note: or  'std::tuple<std::atomic<bool>>::tuple(const std::tuple<std::atomic<bool>> &)' 
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\xutility(357): note: while trying to match the argument list '(std::atomic<bool>)' 
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\functional(866): note: see reference to function template instantiation 'std::_Compressed_pair<void (__cdecl *)(std::atomic_bool &),std::tuple<std::atomic<bool>>,false>::_Compressed_pair<void(__cdecl &)(std::atomic_bool &),_Cv_TiD&>(std::_One_then_variadic_args_t,_Other1,_Cv_TiD &)' being compiled 
1>   with 
1>   [ 
1>    _Cv_TiD=std::atomic<bool>, 
1>    _Other1=void (__cdecl &)(std::atomic_bool &) 
1>   ] 
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\functional(864): note: see reference to function template instantiation 'std::_Compressed_pair<void (__cdecl *)(std::atomic_bool &),std::tuple<std::atomic<bool>>,false>::_Compressed_pair<void(__cdecl &)(std::atomic_bool &),_Cv_TiD&>(std::_One_then_variadic_args_t,_Other1,_Cv_TiD &)' being compiled 
1>   with 
1>   [ 
1>    _Cv_TiD=std::atomic<bool>, 
1>    _Other1=void (__cdecl &)(std::atomic_bool &) 
1>   ] 
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\functional(863): note: while compiling class template member function 'std::_Binder<std::_Unforced,void (__cdecl &)(std::atomic_bool &),std::atomic_bool &>::_Binder(_Fx,std::atomic_bool &)' 
1>   with 
1>   [ 
1>    _Fx=void (__cdecl &)(std::atomic_bool &) 
1>   ] 
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\functional(890): note: see reference to function template instantiation 'std::_Binder<std::_Unforced,void (__cdecl &)(std::atomic_bool &),std::atomic_bool &>::_Binder(_Fx,std::atomic_bool &)' being compiled 
1>   with 
1>   [ 
1>    _Fx=void (__cdecl &)(std::atomic_bool &) 
1>   ] 
1> c:\visual studio 2015\projects\quantum\quantum\main.cpp(658): note: see reference to class template instantiation 'std::_Binder<std::_Unforced,void (__cdecl &)(std::atomic_bool &),std::atomic_bool &>' being compiled 

は、私は欠場か、それはコンパイラのせいです何かはありますか？

Answer 1

bindは常にの値の値を格納しようとします。 atomicタイプはコピーできません。したがって、bindがコピーしようとすると失敗します。

この理由の1つは、reference_wrapperが存在する理由の1つです。値が期待される場所でオブジェクトへの参照を使用できるようにするためです。実際、std::refは、主にbindを処理するために発明されました。

を参照してください。bindにパラメータへの参照が格納されている可能性があります。しかし、参照を格納することは非常に危険です。特に、ファンクタが呼び出される前にいつでも既存のスタック変数を参照することは避けてください。だからbind明示的にになるようにしてください。 refを使用します。

Answer 2

std::atomic種類はコピー不可能です。 std::bind()への（エラーが発生した）呼び出しはコピーを作成します。

また、参照の仕組みを誤解しているように見えます。auto& ref = bはもちろんbへの参照を作成します。 refはまだそれ自体の左辺値なので、それをstd::bind()に渡しても突然動作が変わることはありません。

std::function<void()> delegate = [&b] { b = true; }; 

：

最後に、あなたがC++ 11でアトミックを、使用している考えると、これはあなたにも、あなたがstd::refに頼らずに自分のコードを表現できるようになるラムダへのアクセス権を持っていることを意味しますしかし、注意してください！どちらの場合も、あなたはstd::bind + std::refを使用するかどうか、私のラムダ上記の例では、あなたはあなたがdelegateで行われるまでbが有効なままであることを保証しなければならない -は、元のオブジェクトの生存期間を延長しない基準を取ります。