c++ - Mutex 概念与 C++ 中的 Lockable 有何不同？

Question

这两个概念似乎需要同一组方法(即 lock、unlock 和 try_lock)。 Mutex 是否要求这些方法支持比 Lockable 更强的语义？

Answer 1

根据 §30.4.1.2/2:

The mutex types shall meet the Lockable requirements (30.2.5.3).

但是，

§30.4.1.2/3 添加:

The mutex types shall be DefaultConstructible and Destructible. If initialization of an object of a mutex type fails, an exception of type system_error shall be thrown. The mutex types shall not be copyable or movable.

§30.4.1.2/3 添加了另一项要求，指定互斥类型要使用的精确错误代码。

底线:互斥锁是可锁定的，但也增加了一些更具体的限制。