类的 const 成员函数

最新推荐文章于 2025-02-17 23:39:49 发布

ixidof

最新推荐文章于 2025-02-17 23:39:49 发布

阅读量893

点赞数

分类专栏： C/C++ 文章标签： pig 编译器 class 语言 2010 c

C/C++ 专栏收录该内容

63 篇文章

订阅专栏

文章出处：http://topic.youkuaiyun.com/u/20070924/22/75c81814-1632-40c0-998b-ab876bd81558.html

类的成员函数后面加 const 是什么意思？

给成员函数隐含的 this 指针加 const，表示这个 this 指向的东西是 const 的，也就是说这个函数中无法改动数据成员了。const是一种保证，告诉你这个成员不会改变对象的状态。

有如下类声明:

class   Pig
{
            long   _lx;
public:
            Pig(const   long&   _x   =   9)   :   _lx(_lx){}
            void   show(void)
            {
                  cout   < <   "Pig的成员_lx:   "   < <   _lx   < <   endl;
            }
};

编译器会对上述声明中的show()函数加入一个隐晦的this指针，其声明类似如下:

void show(Pig* const this) // (this 指针是本类型的 const 指针)
{
......
}

这样当类被实例化为对象变量后，show凭借上述this指针就可以参阅到其数据成员_lx!

但是当类被实例化为常型对象后，类的数据成员就具有了常量属性，这样的this指针就不能再参阅其类成员_lx了，因为语言规则不允许以非常型指针去访问常量!例如:

class   Pig
{
            long   _lx;
public:
            Pig(const   long&   _x   =   9)   :   _lx(_x){}

            void   show(void)//未加const修饰!!!
            {
                  cout   < <   "Pig的成员_lx:   "   < <   _lx   < <   endl;
            }
};

int main()
{
const Pig _p;

        /*如下 "_p.show(); "语句将生成:
            errorC2662:Pig::show ":不能将 "this "指针从 "const   Pig "转换为 "Pig   & "
        */
        _p.show();//!不能通过编译!

_PAUSE;
return 0;
}

为解决上述问题，可把show()成员函数声明为常型成员函数，这样编译器将为show()函数插入新的this指针，类似声明如下：

void show(const Pig* const this) const//!!!
{
......
}

这个新的this指针将可以访问包括常量在内的数据类成员!

例如:

class   Pig
{
            long   _lx;
public:
            Pig(const   long&   _x   =   9)   :   _lx(_x){}

            void   show(void)const//声明为常型成员函数!
            {
                  cout   < <   "Pig的成员_lx:   "   < <   _lx   < <   endl;
            }
};

int main()
{
const Pig _p;//声明为常型对象!

_p.show();//行为良好！输出 "Pig的成员_lx: 9 " !

_PAUSE;
return 0;
}

以上就是成员函数后面加const的原因!

PS. mutable 关键字（C++）

( http://www.cnblogs.com/cheney23reg/archive/2010/08/13/1799279.html )

如果需要在 const 成员方法中修改一个成员变量的值，那么需要将这个成员变量修饰为mutable。即用 mutable 修饰的成员变量不受 const 成员方法的限制。

可以认为 mutable 的变量是类的辅助状态，但是只是起到类的一些方面表述的功能，修改他的内容我们可以认为对象状态本身并没有改变的。实际上，由于 const_cast 的存在，这个概念在很多时候用处不是很到了。