mutable 关键字

最新推荐文章于 2025-10-08 13:28:30 发布

原创最新推荐文章于 2025-10-08 13:28:30 发布 · 535 阅读

6 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #开发语言

C++ 专栏收录该内容

116 篇文章

订阅专栏

在C++中，mutable 是一个用于修饰类成员变量的关键字，其核心作用是允许在 const 成员函数中修改被修饰的变量，打破了“const 成员函数不能修改成员变量”的默认限制。

核心语义

默认情况下，const 成员函数承诺“不修改对象的状态”，因此不能修改类的非 mutable 成员变量。而 mutable 修饰的成员变量被视为“不影响对象逻辑状态”的变量，即使在 const 成员函数中也可以被修改。

简单说：mutable 让成员变量“免疫”于 const 成员函数的只读限制。

典型使用场景

mutable 通常用于修饰那些不影响对象“逻辑常量性”但需要修改的内部状态，例如：

缓存数据（如延迟计算的结果）
计数器（如记录函数调用次数）
同步原语（如线程锁）
调试信息（如最后访问时间）

示例代码

场景1：缓存延迟计算的结果

#include <iostream>
#include <string>

class StringProcessor {
private:
    std::string data_;
    // 缓存：存储处理后的结果（不影响对象逻辑状态）
    mutable std::string processed_data_; 
    // 标记缓存是否有效
    mutable bool cache_valid_ = false; 

public:
    StringProcessor(std::string data) : data_(std::move(data)) {}

    // 逻辑上是“只读”操作（返回处理结果），但需要修改缓存
    std::string getProcessedData() const {
        if (!cache_valid_) {
            // 首次调用时计算并缓存结果（修改mutable变量）
            processed_data_ = "Processed: " + data_; 
            cache_valid_ = true;
        }
        return processed_data_;
    }
};

int main() {
    const StringProcessor processor("test"); // 对象是const的
    std::cout << processor.getProcessedData() << std::endl; // 触发缓存计算
    std::cout << processor.getProcessedData() << std::endl; // 使用缓存
    return 0;
}

说明：getProcessedData() 是 const 成员函数（逻辑上不修改对象的核心数据 data_），但需要修改 processed_data_ 和 cache_valid_ 这两个缓存相关的变量。通过 mutable 修饰，允许这种修改。

场景2：线程安全的同步锁

#include <mutex>

class ThreadSafeObject {
private:
    int value_ = 0;
    // 线程锁：需要在const成员函数中加锁/解锁
    mutable std::mutex mtx_; 

public:
    // 读操作（const函数）：需要修改锁的状态
    int getValue() const {
        std::lock_guard<std::mutex> lock(mtx_); // 锁定（修改mtx_）
        return value_;
    }

    // 写操作（非const函数）
    void setValue(int val) {
        std::lock_guard<std::mutex> lock(mtx_);
        value_ = val;
    }
};

说明：getValue() 是 const 成员函数（仅读取 value_），但需要对 mtx_ 进行加锁操作（修改锁的内部状态）。mutable 允许在 const 函数中操作锁变量。

注意事项

只能修饰非静态成员变量：mutable 不能用于修饰静态成员（static）或非成员变量。
```
class MyClass {
    static mutable int x; // 错误：不能修饰静态成员
};
```
不破坏逻辑常量性：mutable 的使用应限于“不影响对象对外表现”的内部状态。滥用会破坏 const 关键字的语义（例如修改核心业务数据）。
与 const 的配合：mutable 不影响变量本身的 const 属性，例如 mutable const int x; 是允许的（x 本身仍为常量，不能被修改）。