異常處理<mutex>和<condition_variable>

Question

假設

1. 沒有發生不確定的行爲，
2. 無死鎖發生，
3. 互斥由正確的線程正確數量的鎖定和解鎖以正確的順序次，
4. 非遞歸互斥鎖未鎖定多次，
5. 鎖定遞歸互斥鎖不超過maximum level of ownership,
個
6. 沒有謂詞傳遞給條件變量扔，並
7. 只鐘錶，時間點和持續時間由標準庫提供與std::互斥和條件變量

是用它保證了操作上的不同類型的std::互斥鎖和條件變量（除構造它們之外）不會拋出任何異常（尤其是類型std::system_error）？

例如，在類似的方法情況：

void MyClass::setVariable() { 
    std::lock_guard<std::mutex> const guard(m_mutex); 
    m_var = 42; // m_var is of type int 
    m_conditionVariable.notify_all(); 
} 

void MyClass::waitVariable() { 
    std::unique_lock<std::mutex> lock(m_mutex); 
    m_conditionVariable.wait(lock, [this]() noexcept { return m_var == 42; }); 
} 

它是安全的假設noexcept還是應該寫一個各地callsites一些的try-catch塊？或者有任何警告？

請考慮C++ 11，C++ 14及更高版本中的所有類型的互斥鎖和條件變量。

Answer 1

感謝的對link T.C。現在提供我會說是 - 你的代碼應該是安全的。由於在未來的標準device_or_resource_busy將被刪除，因爲這個問題的作者說，這種情況不能以任何合理的方式發生那麼只有有2種可能性lock拋出：

（13.1） - operation_not_permitted - 如果該線程沒有 特權執行該操作。

（13.2） - resource_deadlock_would_occur - 如果執行檢測到 會發生死鎖。

而這兩種情況都被您的前提條件排除在外。所以你的代碼應該安全使用noexcept。

Answer 2

簡短的回答：否（對不起）

這些操作將拋出std::system_error如果底層同步對象未能履行其操作。

這是因爲同步原語的正確操作取決於：

1. 可用的系統資源。

2. 的程序不是原始

雖然在公平無效，如果（1）正在發生的事情是其他部分也許是時候重新設計應用程序或加載較少的機器上運行它。

如果發生（2），則程序在邏輯上不一致。

話雖這麼說，

還是應該寫一個各地callsites一些的try-catch塊？

也沒有。

你應該寫try/catch塊在下列條件下：

1. 當程序是在一個位置，做一些錯誤病症（如對其進行修復或者詢問用戶是否希望再試一次）

2. 你想一些信息添加到錯誤，並以提供診斷面包屑（嵌套異常再次拋出它，例如）

3. 你希望記錄失敗並繼續。

否則，C++異常處理整個的一點是，你讓RAII照顧資源重新獲取並允許例外，直到發現要處理它的處理程序流調用堆棧。

創建麪包屑的

例如：

void wait_for_object() 
try 
{ 
    _x.wait(); // let's say it throws a system_error on a loaded system 
} 
catch(...) 
{ 
    std::throw_with_nested(std::runtime_error(__func__)); 
}