C++ 11: viết hàm khởi tạo bằng nguyên tử <bool> nguyên tử?

Question

Tôi đã có một lớp học với một biến thành viên nguyên tử:

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 

Làm thế nào nên di chuyển constructor cái nhìn như thế nào?

Gcc 4,7 không thích bất kỳ nỗ lực của tôi (như thêm std::move() quanh other.bar) và lưới là đáng ngạc nhiên yên tĩnh ở đây ...

Answer 1

Kể từ khi bạn đang di chuyển other, không ai khác sẽ truy cập vào nó. Vì vậy, đọc từ bar của nó là an toàn, thời tiết nó nguyên tử hay không.

atomic<T> chỉ có hai hàm tạo, một là mặc định (), số còn lại là (T). Vì vậy, mã của bạn trông giống như nó nên biên dịch. Nếu không, điều gì sẽ xảy ra nếu bạn static_cast other.bar đến T, thực thi hàm tạo (T) để sử dụng?

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

hoặc tương đương với, và có lẽ ít xấu xí:

: bar(other.bar.load())

Answer 2

std::atomic không copyable hoặc di chuyển vì its copy constructor is deleted và không có constructor di chuyển được xác định. Bạn phải tải một cách rõ ràng giá trị khác và sử dụng nó để xây dựng giá trị mới, vì nó được chỉ ra trong câu trả lời của gustaf.

Tại sao std::atomic không thể di chuyển? Vì nó là một nguyên thủy đồng bộ, tất cả các luồng phải đồng bộ hóa trên cùng một dữ liệu (tức là, cùng một địa chỉ). Khi bạn sao chép (hoặc di chuyển) một giá trị nguyên tử, bạn phải sử dụng một số giao thức truyền thông. Nó có thể đơn giản, như trong ví dụ của bạn (chỉ cần tải nó và sử dụng nó để khởi tạo nguyên tử mới) nhưng, nói chung, tôi nghĩ đó là một quyết định thiết kế tốt bởi C++ 11 để buộc bạn phải suy nghĩ về nó. Nếu không, nó có thể dẫn đến mã có vẻ tốt, nhưng có một số vấn đề đồng bộ hóa subtile.

Answer 3

Mẫu instantiation của atomic<bool> về cơ bản trông như thế này:

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

Vì vậy, khi bạn cố gắng để sao chép nó:

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

Các nhà xây dựng bản sao xóa được chọn và gây ra một lỗi biên dịch.

Bạn cần phải đúc một cách rõ ràng đến bool phải đi qua operator bool() --> atomic<bool>(bool) ...

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