方法结果缓存时如何处理constness？

Question

我有一个类，它的方法（getter）执行一些相对昂贵的操作，所以我想缓存它的结果。调用该方法不会改变对象的行为，但需要将其结果存储在 中this，因此它不能是 const。

问题是我现在有另一个 const 方法，我需要调用我的 getter。这个问题有一些普遍接受的解决方案吗？我是否应该绕过 getter 中的 constness 检查以使其成为 const（这不会导致优化编译器出现问题吗？）或者我必须将非 constness 传播到使用此 getter 的所有方法？

例子：

class MyClass
{
public:
    Foo &expensiveGetter() /*const?*/
    {
        if (cachedValue == nullptr) {
            cachedValue = computeTheValue();
        }
        return *cachedValue;
    }

    void myMethod() /* How to make this const? */
    {
        auto &foo = expensiveGetter();
        // etc.
    }

private:
    Foo *cachedValue = nullptr;
}

我正在寻找类似RefCellRust 的东西。

Answer 1

mutable 这是说明符特别适合的情况之一。当类成员为 时mutable，即使封闭类为 ，该成员也可以更改const。

因此，如果MyClass::cachedValue是 amutable Foo*而不是 a Foo*，则可以使用const成员函数来MyClass对 a 进行更改cachedValue，然后所有调用代码都可以const MyClass正常作用于 a 。