如何使類的靜態變量線程安全

Question

我有一個類，像這樣：

class Test 
{ 
private: 
    Test() {} 
    static bool is_done; 
    static void ThreadFunction(); 
public: 
    static void DoSomething(); 
} 


bool Test::is_done = true; 

void Test::DoSomething() 
{ 
    std::thread t_thread(Test::ThreadFunction); 

    while (true) { 
     if (is_done) { 
      //do something else 
      is_done = false; 
     } 

     if (/*something happened*/) { break; } 
    } 

    // Finish thread. 
    t_thread.join(); 
} 

void Test::ThreadFunction() 
{ 
    while (true) { 
     if (/*something happened*/) { 
      is_done = true; 
     } 
    } 
} 

在主我則只是調用測試:: DoSomething的（）;在這種情況下，變量'is_done'是否線程安全？如果它不是我怎麼能讓它安全讀取？

Answer 1

在這種情況下，全局變量'is_done'是否線程安全？

編號static並不意味着線程安全。

---

如果它不是我怎樣才能讓閱讀它的安全？

你應該使用std::atomic<bool>：

class Test 
{ 
private: 
    Test() {} 
    static std::atomic<bool> is_done; 
    static void ThreadFunction(); 
public: 
    static void DoSomething(); 
} 

std::atomic<bool> Test::is_done{true}; 

Answer 2

我不能尚未就此發表評論，但你嘗試過使用原子能？

例如std::atomic<bool>

Answer 3

如果類型爲TriviallyCopyable那麼你可以使用std::atomic像

static std::atomic<bool> is_done; 

如果您的類型不那麼TriviallyCopyable你可以使用一個std::mutex

---

不要在std::atomic操作可以優化遠。如果您有類似

static std::atomic<bool> is_done; 
... 
is_done = true; 
is_done = false; 

編譯器可以切出is_done = true;如需更多有關此看到JF巴斯蒂安的「No Sane Compiler Would Optimize Atomics"