C++程序设计必知：常引用、常对象和对象的常成员

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

       我们也可以用const声明对象，叫做常对象。

      1.常引用

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

1.        #include<iostream>
2.        using namespace std;
3.        void show(const double& r);
4.        int main()
5.        {   
6.                double d(9.5);
7.                show(d);
8.                return 0;
9.        }
10.        void show(const double& r)
11.        //常引用作形参，在函数中不能更新r所引用的对象。
12.        {                                                                                                                                                                                                      
13.               cout<<r<<endl;   
14.        }

       2.常对象                                                                                                                                                                                                                                                                                                                                                             

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

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

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

 3.类的常成员函数

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

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

1.         #include<iostream>
2.         using namespace std;
3.         class R
4.         { 
5.         public:
6.                     R(int r1, int r2)    { R1=r1; R2=r2; }
7.                     void print();
8.                     void print() const;
9.         private:
10.                     int R1,R2;
11.         };
12.         void R::print()
13.         { 
14.                    cout<<R1<<":"<<R2<<endl;
15.         }
16.         void R::print() const
17.         { 
18.                   cout<<R1<<";"<<R2<<endl;
19.         }
20.         int main()
21.         { 
22.                  R a(5,4);
23.                  a.print(); //调用void print()
24.                  const R b(20,52);  
25.                  b.print(); //调用void print() const
26.                  return 0;
27.         }

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

       4.类的常数据成员

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

1.        #include<iostream>
2.        using namespace std;
3.        class A
4.         {
5.        public:
6.                        A(int i);
7.                        void print();
8.                        const int& r;
9.        private:
10.                        const int a;
11.                        static const int b;  //静态常数据成员
12.        };
13.       const int A::b=20; 
14.        A::A(int i):a(i),r(a) {} //初始化列表
15.        void A::print()
16.        {    
17.                      cout<<a<<":"<<b<<":"<<r<<endl; 
18.        }
19.        int main()
20.        {
21.                    //建立对象a和b，并以50和10作为初值，分别调用构造函数，通过构造函数的初始化列表给对象的常数据成员赋初值
22.                    A a1(50),a2(10);  
23.                    a1.print();
24.                    a2.print();
25.                    return 0;
26.        }

       此程序的运行结果是：

       50:20:50
       10:20:10