C++：常类型Const

 
  例 3.39  常引用作函数的参数           
*/
#include<iostream>
using namespace std;
int add(const int &,const int &);  //声明add的形参是常引用 
int main()
{
  int a=20;
  int b=30;
  cout<<a<<"+"<<b<<"="<<add(a,b)<<endl;
  
  a = 15;     //在add函数外，实参是可以改变的 
  b = 50;     //在add函数外，实参是可以改变的
  cout<<a<<"+"<<b<<"="<<add(a,b)<<endl;
  
  return 0; 
}
int add(const int &i,const int &j)   //常引用作函数形参 
{
  //i=i+20;      //不允许改变i的值 
   return i+j; 
} 

/*
程序运行结果： 20+30=50
               15+50=65
               
               
说明：由于add函数两个形参都定义为常引用，所以在函数中不能改变i和j的值，如果改变它们的
      值，编译将会出错，如本程序中执行的函数add加有注释的语句"i=i+20;"，将会出现编译
      错误。因此，用常引用作形参，能够避免对是实参的更改，保证了数据的安全性。                
*/

例 3.40   非常对象和常对象的比较  
*/
#include<iostream>
using namespace std;
class Sample{
    public:
        Sample(int m,int n)
        {
          i = m;
          j = n;
        }
        int j;
        void setvalue(int x)
        {
          i = x;
        }
        void show()
        {
          cout<<"i="<<i<<endl;
          cout<<"j="<<j<<endl;
        }
    private:
       int i;
           
};
int main()
{
Sample s(10,20);  //对象s是普通对象，而不是常对象 
s.setvalue(30);
s.j=40;
s.show();  //运行结果是 i=30 j=40 


/*
Sample const s(10,20); //对象s是常对象
s.setvalue(30);  //运行错误，C++不允许间接的更改i的值 
s.j=40;   //运行错误,C++不允许置接的更改j的值 
s.show(); //运行错误，C++不允许常对象调用普通的 
*/

return 0;
}

   例3.41  常数据成员的使用            
*/
#include<iostream>
using namespace std;
class Date{
  public:
    Date(int y,int m,int d);
    void show();
  private:
    const int year;    //常数据成员 
    const int month;   //常数据成员
    const int day;     //常数据成员
};
Date::Date(int y,int m,int d):year(y),month(m),day(d){} //采用成员初始化列表，对数据成员进行初始化 
void Date::show()
{
  cout<<year<<".";
  cout<<month<<".";
  cout<<day<<endl;
} 
int main()
{
 Date date1(2015,5,7);  
 Date date2(2015,5,8); 
 date1.show();
 date2.show();
 return 0;
}

/*
  运行结果为：2015.5.7
                2015.5.8
  
  该程序中定义了如下3个常数据成员：
          const int year;    //常数据成员 
          const int month;   //常数据成员
          const int day;     //常数据成员
          
其中year、month、day是int类型的数据成员。需要注意到是构造函数的格式如下：

     Date::Date(int y,int m,int d):year(y),month(m),day(d){}
     
     其中，冒号后面是一个成员初始化列表，它包含3个初始化项。这是由于year、month、
     和day都是常数据成员，C++规定只能通过构造函数的初始化列表对常数据成员进行初始化。
     在函数体中采用赋值语句对数据成员直接赋初值是非法的。如以下形式的构造函数是错误的：
     
          Date::Date(int y,int m,int d)
          {
            year = y;     //非法 
            month = m;    //非法
            day = d;      //非法
          }
          
   一旦对某对象的常数据成员初始化后，该数据成员的值是不能改变，但不同对象中的该数据成员
   的值可以是不同的(在定义对象时给出) 如： Date date1(2015,5,7);   
                                                Date date2(2015,5,8);
*/

例3.42 常成员函数的使用             
*/
#include<iostream>
using namespace std;
class Date{
  public:
    Date(int y,int m,int d);
    void show();          //声明普通的成员函数show() 
    void show() const;    //声明常成员函数show() 
  private:
     const int year;      //常数据成员 
     const int month;     //常数据成员
     const int day;         //常数据成员
/*
      int year;   //普通数据成员 
      int month;  //普通数据成员
      int day;    //普通数据成员
*/
};
Date::Date(int y,int m,int d):year(y),month(m),day(d){} //定义构造函数，采用成员初始化列表，
                                                        //对数据成员进行初始化

void Date::show()            //定义普通的成员函数show()
{
  cout<<"Date::show1()"<<endl;
  cout<<year<<".";
  cout<<month<<".";
  cout<<day<<endl;
} 
void Date::show() const       //定义常成员函数show()                                  
{
  cout<<"Date::show2()"<<endl;
  cout<<year<<".";
  cout<<month<<".";
  cout<<day<<endl;
} 
int main()
{
 Date date1(2015,5,7);       //定义普通对象date1
  date1.show();              //调用普通的成员函数show 
   
 const Date date2(2015,5,8); //定义常对象date2 
 date2.show();               //调用常成员函数show
 
 return 0;
}

/*
 程序运行结果如下：
                    Date::show1()
                    2015.4.7 
                    Date::show2()
                    2015.4.8 
 
    本程序中，类Date中说明了两个同名成员函数show,一个是普通成员函数，另一个是常成员函数，
    它们是重载的。可见，关键字const可以被用于区分重载函数。