如何在const成员函数中合规使用std::lock_guard且不违反const正确性？

这个报错的核心原因其实很好理解：在const成员函数里，类的所有非static成员都会被编译器视为const类型——包括你的std::mutex m。但std::lock_guard的构造函数需要接收一个非const的std::mutex&，因为它要调用mutex的lock()和unlock()方法，这两个都是非const成员函数（毕竟要修改mutex的内部状态）。把const std::mutex绑定到非const引用上，自然就会触发"丢弃const限定符"的错误。

而你尝试的const std::lock_guard完全没用，因为lock_guard本身的作用就是修改mutex的状态，它没有所谓的"const版本"，就算你给lock_guard加const，它内部还是会调用mutex的非const方法，照样报错。

正确的解决方案：用mutable修饰mutex #

C++里的mutable关键字就是专门解决这种场景的：它允许成员变量在const成员函数中被修改，前提是这个变量的变化不影响对象的逻辑const性。

对你的场景来说，get()函数是逻辑上的const操作——它只是读取value，不会改变对象的业务状态；而mutex的锁定/解锁是实现线程安全的细节，不属于对象的逻辑状态变化，所以用mutable修饰mutex完全合理。

修改后的代码如下：

首先在类定义中给mutex加上mutable：

class SubClass : public BaseClass {
private:
    mutable std::mutex m; // 关键：添加mutable
    int value;
public:
    int get() const override; // 重写基类的纯虚const方法
};

然后你的get()函数不需要做任何其他修改，就能正常编译并工作了：

int SubClass::get() const
{
    std::lock_guard<std::mutex> lck(m);
    return value;
}

额外提醒（给新手的小Tips） #

1. 不要滥用mutable：它只能用于那些不影响对象逻辑状态的成员，比如mutex、缓存计数器、懒加载的内部变量等。如果随便给普通业务成员加mutable，会破坏const正确性的设计初衷。
2. 保证修改value时也锁定：记得在所有修改value的成员函数里，也要用同一个m来锁定，不然线程安全就白做了——比如：

   void SubClass::set(int new_val)
   {
       std::lock_guard<std::mutex> lck(m);
       value = new_val;
   }
   

内容的提问来源于stack exchange，提问作者w128