爲什麼我們可以鎖定一個const對象中定義的互斥鎖？

Question

工作情況：

template<typename T> 
class threadsafe_queue 
{ 
private: 
    mutable std::mutex mut; 
    std::queue<T> data_queue; 

public: 
    threadsafe_queue() 
    {} 

    threadsafe_queue(const threadsafe_queue& other) 
    { 
     std::lock_guard<std::mutex> lk(other.mut); 
     data_queue=other.data_queue; 
    } 
}; 

情況下應該會失敗：注意沒有mutable上std::mutex mut;

template<typename T> 
class threadsafe_queue 
{ 
private: 
    std::mutex mut; 
    std::queue<T> data_queue; 

public: 
    threadsafe_queue() 
    {} 

    threadsafe_queue(const threadsafe_queue& other) 
    { 
     std::lock_guard<std::mutex> lk(other.mut); 
     data_queue=other.data_queue; 
    } 
}; 

我曾嘗試上面列出的這兩種情況下，他們編譯沒有問題。我在內部假設lock_guard調用mutex :: lock函數，它本身不是一個const函數。

問題>爲什麼我們可以在複製構造函數中鎖定const對象的互斥量？

Answer 1

該第一個示例編譯，因爲該互斥體被限定爲mutable。這意味着這個字段可以被修改，變異，而不包含被認爲已經被改變的包含對象。所以，從某種意義上講，互斥體的狀態不是「隊列的一部分」。編譯器允許const方法修改mutable成員。

秒僅當您沒有實際嘗試實例化該類並使用該方法時，該示例纔會編譯。如果你這樣做，it fails。模板是神奇的...