c++ - const_cast 设置规则并为函数 const 打破它

Question

在我在网上找到的以下示例中，提到了 const_cast 的优点之一是它允许常量函数更改类成员。这对我来说是个问题。为什么我们应该通过 const 为函数设置规则，然后使用 const_cast 打破该规则？这不就像作弊吗？根本不为函数设置 const 不是更好吗？

#include <iostream>
using namespace std;

class student
{
private:
    int roll;
public:

    student(int r):roll(r) {}

    // A const function that changes roll with the help of const_cast
    void fun() const
    {
        ( const_cast <student*> (this) )->roll = 5;
    }

    int getRoll()  { return roll; }
};

int main(void)
{
    student s(3);
    cout << "Old roll number: " << s.getRoll() << endl;

    s.fun();

    cout << "New roll number: " << s.getRoll() << endl;

    return 0;
}

reference

Answer 1

这确实是个坏主意。除了对函数的行为撒谎外，它还允许您修改常量 student 对象的成员，从而给出未定义的行为。

一般来说，当且仅当它不修改对象的可观察状态时，成员函数才应该是const。所以在这种情况下，它不应该是const。

有时，您可能希望某个函数中的特定成员是可修改的，否则不会导致可观察到的变化；例如，锁定互斥量以访问共享数据，或缓存复杂计算的结果。在这种情况下，将这些成员声明为 mutable，以便该类的其余部分仍然受到 const 正确性的保护。