常量综述(三)

const对象和成员函数
      用户定义类型和内部类型一样，都可以定义const对象，比如
             const  Hony h(3);
        对于const成员函数，就是告诉编译器该成员函数可以为一个const对象所调用，当然非const对象也能调用。然而这就出现个问题怎么声明const成员函数，这里用了个新的语法形式，把修饰符const放在函数参数表的后面。

 

class X
{
           int i;
      public:
           X(int ii);
           int f() const;         //const成员函数
};

X::X(int ii):i(ii) {}
int X::f() const { return i; }

int main()
{
      X x1(10);
     const X x2(20);    

     x1.f();        //非const对象也能调用const成员函数
     x2.f();
}

        注意，关键字const必须用同样的方式出现在定义里。const成员函数就认为在这个函数里面不会修改任何数据成员，所以它满足const对象的意义。但是对于普通的成员函数就没有这个假定，这时const对象调用这种函数就会出错。而且规定const对象只能调用const成员函数。

 按位const和按逻辑const
               按位const意思是对象中的每个字节都是固定的，所以对象的每个位映像从不改变。
               按逻辑const意思是，虽然整个对象从概念上讲是不变的，但是可以以成员为单位改变。
  对于第一种，有两种方法可以改变成员数据，一是"强制转换常量性"，二是用C++的关键字const_cast<typeid>

 

class Y
{
        int i;
    public:
        Y();
        void f() const;
};

Y::Y() { i=0; }
void Y::f() const
{
       i++;     //error 
       ((Y*)this)->i++;      //OK 强制转换常量性
      (const_cast<Y*>(this))->i++;     //C++中支持的常量安全转换
}

int main()
{
       const Y y1;
       y1.f();
}

      不过这两个办法都是隐藏在类里面的，用户无法看到数据的改变。对于第二种按逻辑const，需要改变的数据成员使用关键字mutable，以指定一个特定的数据成员可以在一个const对象里面被改变。

 

class Z
{
       int i;
       mutable int j;
   public:
       Z():
       void f() const;
};

Z::Z():i(0),j(0) {}
void Z::f() const
{
     i++;       //error
     j++;       //OK
}

int main()
{
     Z z1;
     z1.f();
}

 volatile
   这是C++关于常量的另一个关键字，volatile的意思是"在编译器认识的范围外，这个数据可以被改变"。它告诉了编译器不要做出有关该数据的任何假定，尤其是优化方面的。但这个关键字现在用的很少，主要是多线程，分布式程序里面会起作用。

 

结语：
      关于C++中常量的概念这里就全部讲完了，希望对大家有一定的帮助。在写大点的程序时，类里常量的作用会慢慢体现出来的，不过很多还是语法层面上的东西，记住了就没太多的问题了。常量本质含义还是很基础的：程序运行开始后(或者编译后)就不能改变的变量。