当前位置：首页 > article >正文

线程同步时定义 std::mutex 为什么要在前面添加 mutable 关键字

article 2025/2/7 12:49:46

在C++中，mutable关键字用于修饰类的成员变量，表示即使在一个const对象中，该成员变量也可以被修改。对于mutex这样的同步原语，使用mutable是必要的，原因如下：

1. 为什么需要 `mutable`？

mutex通常用于保护类的内部状态，即使在const成员函数中，也可能需要加锁来保证线程安全。例如：

class UpdateCaching {
public:
    int get(int key) const {
        lock_guard<mutex> lock(cache_mutex); // 需要修改 mutex 的状态
        // 读取操作
    }
private:
    mutable mutex cache_mutex; // 使用 mutable
};

const成员函数的语义：const成员函数承诺不会修改对象的状态。
mutex的特殊性：mutex本身的状态（如锁的状态）需要被修改，但这并不影响对象的逻辑状态。
使用mutable：将mutex声明为mutable，可以在const成员函数中修改它，而不会违反const的语义。

2. 如果不使用 `mutable` 会怎样？

如果mutex没有声明为mutable，在const成员函数中尝试加锁会导致编译错误：

class UpdateCaching {
public:
    int get(int key) const {
        lock_guard<mutex> lock(cache_mutex); // 错误：不能在 const 成员函数中修改 mutex
    }
private:
    mutex cache_mutex; // 非 mutable
};

编译器会报错，因为lock_guard会尝试修改mutex的状态，而const成员函数不允许修改任何非mutable成员变量。

3. `mutable` 的适用场景

mutable不仅用于mutex，还适用于以下场景：

缓存：在const成员函数中更新缓存数据。
调试信息：在const成员函数中更新调试计数器或日志。
惰性计算：在const成员函数中延迟计算某些值。

例如：

class Example {
public:
    int getValue() const {
        if (!is_cached) {
            cached_value = computeValue(); // 惰性计算
            is_cached = true;
        }
        return cached_value;
    }
private:
    mutable int cached_value;
    mutable bool is_cached = false;
};