C++ 11: Napisz konstruktora ruchu z atomowym członkiem <bool>?

Question

Mam klasę o zmiennej składowej atomowej:

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 

Jak powinna wyglądać przenieść konstruktora?

Gcc 4.7 nie lubi żadnego z moich prób (takich jak dodawanie std::move() wokół other.bar) i netto jest zaskakująco cichy tutaj ...

Answer 1

Od ruszasz other, nikt inny nie będzie do niego dostęp. Czytanie z jego bar jest bezpieczne, ale czy to atomowe, czy nie.

atomic<T> ma tylko dwa konstruktory, z których jeden to domyślny (), drugi to (T). Twój kod wygląda na to, że powinien się skompilować. Jeśli tak nie jest, co się stanie, jeśli static_cast other.bar do T, wymuszając użycie konstruktora (T)?

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

lub jest równa, a prawdopodobnie mniej brzydki:

: bar(other.bar.load())

Answer 2

std::atomic nie copyable lub ruchome, gdyż its copy constructor is deleted i konstruktor ruch nie jest zdefiniowana. Musisz jawnie załadować drugą wartość i użyć jej do skonstruowania nowej wartości, jak wskazano w odpowiedzi od gustafa.

Dlaczego std::atomic nie jest ruchoma? Ponieważ jest to prymityw synchronizacji, wszystkie wątki muszą być synchronizowane na tych samych danych (tj. Ten sam adres). Kiedy kopiujesz (lub przesuwasz) wartość atomową, musisz użyć jakiegoś protokołu komunikacyjnego. Może to być proste, jak w twoim przykładzie (wystarczy go załadować i użyć do zainicjowania nowego atomowego), ale generalnie myślę, że to dobra decyzja projektowa C++ 11, aby zmusić cię do przemyślenia tego. W przeciwnym razie może to skutkować kodem, który wygląda dobrze, ale ma pewne problemy z synchronizacją subtelną.

Answer 3

Szablon instancji z atomic<bool> zasadniczo wygląda następująco:

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

Więc kiedy spróbujesz je skopiować:

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

Usunięta konstruktor kopia jest wybrany i powoduje błąd kompilacji.

Trzeba wyraźnie rzutować bool przejść operator bool() --> atomic<bool>(bool) ...

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