C + + 11：std ::線程內執行一個函數成員與線程初始化在構造函數

Question

我試圖從C++ 11使用std ::線程。如果在執行其某個函數成員的類中可能有std :: thread，我找不到任何地方。考慮下面的例子... 在我的嘗試（下面）中，函數是run（）。

我用-std = C++ 0x標誌編譯gcc-4.4。

#ifndef RUNNABLE_H 
#define RUNNABLE_H 

#include <thread> 

class Runnable 
{ 
    public: 
     Runnable() : m_stop(false) {m_thread = std::thread(Runnable::run,this); } 
     virtual ~Runnable() { stop(); } 
     void stop() { m_stop = false; m_thread.join(); } 
    protected: 
     virtual void run() = 0; 
     bool m_stop; 
    private: 
     std::thread m_thread; 
}; 


class myThread : public Runnable{ 
protected: 
    void run() { while(!m_stop){ /* do something... */ }; } 
}; 

#endif // RUNNABLE_H 

我得到這個錯誤及其他：（同樣的錯誤使用和不使用$這個）

Runnable.h|9|error: no matching function for call to ‘std::thread::thread(<unresolved overloaded function type>, Runnable* const)’| 

當指針傳遞。

Runnable.h|9|error: ISO C++ forbids taking the address of an unqualified or parenthesized non-static member function to form a pointer to member function. Say ‘&Runnable::run’| 

Answer 1

這種方法是錯誤的。

問題是，雖然對象仍在構建中，但它的類型仍然不是最派生的類型，而是正在執行的構造函數的類型。這意味着當您啓動線程時，對象仍然是Runnable，而對run()的調用可能會被調度到Runnable::run()，這是純虛擬的，並且反過來會導致未定義的行爲。

更糟糕的是，您可能會遇到錯誤的安全感，因爲在某些情況下，正在啓動的線程可能需要足夠長的時間才能完成當前線程的Runnable構造函數，然後輸入myThread對象，在這種情況下，新線程將執行正確的方法，但更改執行程序的系統（不同數量的內核，或系統負載或任何其他不相關的情況），並且程序將在生產中崩潰。

Answer 2

下面是一些代碼來仔細考慮：

#ifndef RUNNABLE_H 
#define RUNNABLE_H 

#include <atomic> 
#include <thread> 

class Runnable 
{ 
public: 
    Runnable() : m_stop(), m_thread() { } 
    virtual ~Runnable() { try { stop(); } catch(...) { /*??*/ } } 

    Runnable(Runnable const&) = delete; 
    Runnable& operator =(Runnable const&) = delete; 

    void stop() { m_stop = true; m_thread.join(); } 
    void start() { m_thread = std::thread(&Runnable::run, this); } 

protected: 
    virtual void run() = 0; 
    std::atomic<bool> m_stop; 

private: 
    std::thread m_thread; 
}; 


class myThread : public Runnable 
{ 
protected: 
    void run() { while (!m_stop) { /* do something... */ }; } 
}; 

#endif // RUNNABLE_H 

---

一些注意事項：

• 聲明m_stop作爲一個簡單的bool因爲你是可怕的不足;讀了記憶障礙
• std::thread::join可以拋出這樣調用它沒有從析構try..catch是魯莽
• std::thread和std::atomic<>是不可複製的，所以Runnable應標明，如果沒有其他原因，而不是避免C4512 VC++的警告