C++ 11：アブソリュート<bool>メンバーの書き込みコンストラクタを書き込みますか？

Question

私は原子メンバ変数を持つクラスを持っている：

struct Foo 
{ 
    std::atomic<bool> bar; 
    /* ... lots of other stuff, not relevant here ... */ 
    Foo() 
    : bar(false) 
    {} 

    /* Trivial implementation fails in gcc 4.7 with: 
    * error: use of deleted function ‘std::atomic<bool>::atomic(const td::atomic<bool>&)’ 
    */ 
    Foo(Foo&& other) 
    : bar(other.bar) 
    {} 
}; 

Foo f; 
Foo f2(std::move(f)); // use the move 

がどのようにコンストラクタを見て移動すべきですか？

のgcc 4.7（other.bar周りstd::move()を追加するような）私の試みのいずれかを好きではないとネットが

Answer 1

あなたがotherを移動しているので、誰もがアクセスしないだろう...ここに、驚くほど静かです。だから、そのbarから読むことは、それが原子であるかどうかにかかわらず安全です。

atomic<T>には、デフォルトの()の2つのコンストラクタと、(T)という2つのコンストラクタしかありません。だから、あなたのコードはコンパイルする必要があります。そうでない場合は、static_cast other.bar〜Tの場合は、(T)コンストラクタの使用を強制しますか？

: bar(static_cast<bool>(other.bar))

またはそれに等しい、おそらくあまり醜いある：

: bar(other.bar.load())

Answer 2

std::atomicits copy constructor is deletedなしムーブコンストラクタが定義されているので、コピー可能又は移動可能ではありません。明示的に別の値をロードし、gustafの答えで指摘されているように新しい値を構築する必要があります。

std::atomicはなぜ移動できないのですか？これは同期プリミティブであるため、すべてのスレッドは同じデータ（つまり同じアドレス）上で同期しなければならない。アトミックな値をコピー（または移動）するときは、何らかの通信プロトコルを使用する必要があります。あなたの例のように（単純にロードして新しいアトミックを初期化するために）使用することは簡単かもしれませんが、一般的にはC++ 11が考えることを強く推奨しています。それ以外の場合、コードは正常に見えますが、いくつかの微妙な同期の問題があります。

Answer 3

atomic<bool>のテンプレートのインスタンス化は、本質的に次のようになります。あなたはそれをコピーしようとするので、

struct atomic<bool> 
{ 
    atomic<bool>(bool); 
    atomic<bool>(const atomic<bool>&) = delete; 
    operator bool() const; 
} 

：

atomic<bool> a = ...; 
atomic<bool> b(a); 

削除コピーコンストラクタが選ばれたと、コンパイルエラーが発生しています。

あなたが明示的に operator bool() --> atomic<bool>(bool)通過するBOOLにキャストする必要が

...

atomic<bool> a = ...; 
atomic<bool> b(bool(a));