為什么std :: unique_lock不是從std :: lock_guard派生的

Question

std::lock_guard和std::unique_lock接口在它們的公共部分（構造函數和析構函數）中看起來非常相似。

為什么他們之間沒有等級關系？

Answer 1

它們具有不可替代的語義：
lock_guard保證在整個生命周期內都被鎖定。
unique_lock不保證不會遵循“IS A”規則（ unique_lock不能成為lock_guard ，因為它提供的保證較少）。

unique_lock基於lock_guard實現unique_lock也不會是微不足道的（甚至可能是不可能的）。

顯然也是如此倒過來：雖然可以實現lock_guard在一個方面unique_lock （私有繼承）， lock_guard不提供相同的功能（ lock()/unlock()作為unique_lock所以它不能被公開從中衍生出來。