异常处理<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__)); 
}