7_3、C++程序设计进阶:常量

数据的封装实现了数据的隐藏，让数据更安全，但是前面讲到的通过局部变量、全局变量、类的数据成员、类的静态成员及友元实现了数据的共享，这样又降低了数据的安全性。有些数据是需要共享而又不能被改变的，那么这时候我们就要将其声明为常量。
用const声明对象，叫做常对象。

常引用

用const声明的引用就是常引用。常引用所引用的对象不能被更改。我们经常见到的是常引用作为函数的形参，这样不会发生对实参的误修改。常引用的声明形式为：const 类型说明符 &引用名。

#include<iostream>
using namespace std;
void show(const double& r);
int main()
{  
    double d(9.5);
    how(d);
    return 0;
}
void show(const double& r)   //常引用作形参，在函数中不能更新r所引用的对象。
{  
   cout<<r<<endl;  
}

常对象

所谓常对象，是指数据成员在它的生存期内不会被改变。定义常对象时必须对其进行初始化，并且不能改变其数据成员的值。常对象的声明形式为：类名 const 对象名 或者 const 类名 对象名。

class A
{
public:
    A(int i,int j) {x=i; y=j;}
        ...
private:
   int x,y;
};
A const a(6,8); //a是常对象，不能被更新

• 如果程序中出现对常对象的数据成员修改的语句，编译器会报错。一般修改对象的数据成员有两种途径:
  1. 一种是通过对象名访问公有数据成员并修改其值，而常对象的数据成员是不能被修改的
  2. 另一种是类的成员函数修改数据成员的值，而常对象不能调用普通的成员函数。可是这样的话，常对象就只剩数据，没有对外的接口了，这就需要为常对象专门定义的常成员函数了。

类的常成员函数

类中用const声明的成员函数就是常成员函数。常成员函数的声明形式为：类型说明符 函数名(参数表) const;。
需要注意几点：

1. 常成员函数在声明和实现时都要带const关键字；
2. 常成员函数不能修改对象的数据成员，也不能访问类中没有用const声明的非常成员函数；
3. 常对象只能调用它的常成员函数，不能调用其他的普通成员函数；
4. const关键字可以被用于参与对重载函数的区分，比如，如果有两个这样声明的函数：void fun(); void fun() const;，则它们是重载函数。

#include<iostream>
using namespace std;
class R
{
public:
     R(int r1, int r2)    { R1=r1; R2=r2; }
     void print();
     void print() const;
private:
     int R1,R2;
};
void R::print()
{
     cout<<R1<<":"<<R2<<endl;
}
void R::print() const
{ 
     cout<<R1<<";"<<R2<<endl;
}
int main() 
{
     R a(5,4);
     a.print(); //调用void print()
     const R b(20,52); 
     b.print(); //调用void print() const
     return 0;
}

• 上面的R类中声明了两个同名函数print，第二个是常成员函数。在main函数中定义了两个对象a和b，b是常对象，通过a调用的是没有用const声明的函数，而通过b调用的是用const声明的常成员函数。

类的常数据成员

类的数据成员也可以是常量和常引用，用const声明的数据成员就是常数据成员。在任何函数中都不能对常数据成员赋值。构造函数对常数据成员初始化，只能通过初始化列表。

 #include<iostream>
using namespace std;
class A
{
 public:
       A(int i);
       void print();
       const int& r;
private:
       const int a;
       static const int b;  //静态常数据成员
};
const int A::b=20;
A::A(int i):a(i),r(a) {}
void A::print()
{   
    cout<<a<<":"<<b<<":"<<r<<endl;
}
int main()
{
//建立对象a和b，并以50和10作为初值，分别调用构造函数，通过构造函数的初始化列表给对象的常数据成员赋初值
    A a1(50),a2(10); 
    a1.print();
    a2.print();
    return 0;
}