c – 为什么这个const成员函数允许修改成员变量？

class String
{

    private:
        char* rep;

    public:
        String (const char*);
        void toupper() const;
};


String :: String (const char* s)
{
    rep = new char [strlen(s)+1];
    strcpy (rep,s);
}


void String :: toupper () const
{
    for (int i = 0; rep [i]; i++)
    rep[i] = toupper(rep[i]);
}


int main ()
{
    const String lower ("lower");
    lower.toupper();

    cout << lower << endl;
    return 0;
}

解决方法

一个const成员函数,是一个成员函数,它不会变更其成员变量.

一个成员函数的const并不意味着const char *.这意味着您不能更改指针所在地址中的数据.

您的示例不会自动更改成员变量.

成员函数上的const将确保将所有成员变量视为常量.

这意味着如果你有：

int x;
char c;
char *p;

然后你会有：

const int x;
const char c;
char * const p; //<-- means you cannot change what p points to,but you can change the data p points to

有两种类型的const指针. const成员函数使用上面列出的函数.

一种获取所需错误的方式：

尝试更改：

char * rep;

至：

char rep[1024];

并删除此行：

rep = new char [strlen(s)+1];

它会抛出你所期望的错误(由于const关键字不能修改成员)

因为只有一种类型的const数组.这意味着您无法修改其任何数据.

现在整个系统实际上是以下面的例子：

class String
{

    private:
        char rep2[1024];
        char* rep;

 ...


 String :: String (const char* s)
 {
    rep = rep2;
    strcpy (rep,s); 
 }

所以在这里学习的教训是,成员函数的const关键字不能确保你的对象根本不会改变.

它只确保每个成员变量将被视为常量.对于指针,const char *和char * const之间有一个很大的差异.

大多数时候,const成员函数将意味着成员函数不会修改对象本身,但是并不总是如此,如上例所示.