如何在不违反 const 正确性的情况下使用 std::lock_guard？

Question

在一个子类中，我有一个私有 std::mutex m 字段，我在基类纯虚方法的实现中使用它以线程安全的方式返回一个值（该值可以由另一个线程更新）：

int SubClass::get() const // implements 'virtual int get() = 0 const' of the base class
{            
    std::lock_guard<std::mutex> lck(m); 
    return value;
}

编译器告诉我这违反了 const 的正确性并产生错误：

错误：将 'const std::mutex' 绑定到类型的引用 'std::lock_guard::mutex_type& {aka std::mutex&}' 丢弃 限定词

有没有办法使其符合并以 const 正确的方式使用 std::lock_guard？只需将其更改为 const std::lock_guard 不会改变任何内容。我真的不明白哪个部分有问题，那么我对 C++ 还是很陌生...

Answer 1

this 指针隐含为const（它实际上是const SubClass * 类型的右值），因此您访问的任何成员都隐含为const。

如果您可以在const 函数中修改成员对象，那么const 的意义何在？ :)

锁守卫想要修改互斥体，锁定和解锁它，但是因为它是const，它不能，这就是问题所在。锁守卫是否为const 无关紧要，因为这与锁守卫修改互斥体的能力无关。

为了有效解决这个问题，有一个关键字可以用来标记const限定函数中可以修改的成员对象。现在很明显，你不应该滥用这个特性并用它来标记你类的每个对象：

class SubClass {
/*...*/
private:
    mutable std::mutex m;
  //^^^^^^^
/*...*/
};