现在的位置: 首页 > 综合 > 正文

类的 const 成员函数

2013年08月09日 ⁄ 综合 ⁄ 共 1856字 ⁄ 字号 评论关闭

文章出处:http://topic.csdn.net/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 的存在,这个概念在很多时候用处不是很到了

 

 

 

 

 

抱歉!评论已关闭.