C++ - 常量成员函数的含义_c++ 常量形参函数定义-优快云博客

本文探讨了C++中常量成员函数的概念及其使用限制，包括this指针的不同类型，并通过实例展示了如何正确地在常量成员函数内修改对象状态。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在类X的非常量成员函数中，this指针的类型为X *const。也就是说，它是指向非常量X的常量指针。而在类X的常量成员函数中，this的类型为const X * const。也就是说，是指向常量X的常量指针。这就是常量成员函数和非常量成员函数的区别。

对成员函数的this指针类型加上常量修饰符，就可以解释函数重载解析是符合区分一个成员函数的常量和非常量版本的。

有时候一个真的应该被声明为常量的成员函数必须要修改其对象，这种情形的正确方式是将有关数据成员声明为mutable;不要试图去在此常量函数中，对this进行const cast！！！

class X
{
private :
     static int expensiveOperation();
     int * buffer_;
     bool isComputed_;
     int computedValue_;
public :
    X():buffer_( 0 ),isComputed_( false )
     {}
     // ...
     void setBuffer()
     {
         int * tmp = new int [MAX];
        delete[] buffer_;
        buffer_ = tmp;
    }
     void modifyBuffer( int index, int value) const // 相当不厚道!!!
     {
        buffer_[index] = value;
    }
     int getValue() const
     {
         if ( ! isComputed)
            computedValue_ = expensiveOperation(); // 错误
        isComputed_ = true ; // 错误
     return computedValue_;
    }
     int TrygetValue() const
     {
         if ( ! isComputed){
            X * const aThis = const_cast<X * const>(this); // !!!糟糕的念头
            aThis -> computedValue_ = expensiveOperation();
        isComputed_ = true ;
        }
     return computedValue_;
    }
} ;