在 C++ 中,`mutable` 是一个关键字,用于修饰类的成员变量。`mutable` 关键字的作用是允许在 const 成员函数中修改被修饰的成员变量。通常情况下,const 成员函数被限制为不修改类的成员变量,但通过使用 `mutable` 关键字,可以在特定情况下允许对其进行修改。
下面是一个示例,演示了如何使用 `mutable` 关键字:
```cpp
class Counter {
private:
mutable int count; // 使用 mutable 修饰的成员变量
public:
Counter() : count(0) {}
void increment() const {
++count; // 在 const 成员函数中修改被 mutable 修饰的成员变量
}
int getCount() const {
return count; // 在 const 成员函数中访问被 mutable 修饰的成员变量
}
};
```
在上述示例中,`Counter` 类具有一个被 `mutable` 修饰的成员变量 `count`。`increment()` 是一个 const 成员函数,但它通过使用 `mutable` 关键字,允许对 `count` 进行递增操作。`getCount()` 也是一个 const 成员函数,它可以访问 `count` 的值。
使用 `mutable` 的情况通常是当类的成员变量需要在 const 成员函数中进行一些内部状态变化或缓存计算结果时。例如,如果一个类有一个缓存的计算结果,可以使用 `mutable` 修饰缓存变量,在 const 成员函数中更新缓存。这样可以避免重复计算,并且仍然保持 const 成员函数的语义。
```cpp
class ExpensiveCalculation {
private:
mutable bool isCached;
mutable int cachedResult;
public:
ExpensiveCalculation() : isCached(false), cachedResult(0) {}
int calculate() const {
if (!isCached) {
// 执行昂贵的计算
cachedResult = performExpensiveCalculation();
isCached = true;
}
return cachedResult;
}
private:
int performExpensiveCalculation() const {
// 执行昂贵的计算
// ...
return result;
}
};
```
在上述示例中,`ExpensiveCalculation` 类具有一个被 `mutable` 修饰的布尔型变量 `isCached` 和一个被 `mutable` 修饰的整型变量 `cachedResult`。`calculate()` 函数是一个 const 成员函数,在第一次调用时执行昂贵的计算,并将结果缓存起来。在后续的调用中,如果缓存有效,则直接返回缓存结果,避免重复计算。
需要注意的是,尽管 `mutable` 允许在 const 成员函数中修改被修饰的成员变量,但在设计类时,仍应慎重使用 `mutable`,并确保仅在适当的情况下使用它,以保持类的语义和封装性。