为什么我们可以锁定一个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。模板是神奇的...