【C++】 常对象、常数据成员、常成员函数总结

常数据成员

 ◆ 常数据成员必须进行初始化，并且不能被更新。

 ◆ 常数据成员不能在声明时赋初始值（普通数据成员也是），常数据成员必须在构造函数初始化列表进行初始化；普通数据成员在初始化列表和函数体中初始化均可。

 ◆ PS：类的成员对象若要传入参数初始化，则必须在构造函数初始化列表进行；（成员对象：当一个类的成员是另一个类的对象时，这个对象就叫成员对象。）

常对象

 ◆ ⭐常对象可以调用常成员函数，不能调用非const成员函数；非const对象，可以调用普通成员函数和常成员函数。

 ◆ 常对象的成员函数不一定都是常成员函数；同样的常对象的数据成员不一定都是常数据成员。

 ◆ 常对象一旦初始化，常对象的数据成员便不允许修改，而不是说常对象的数据成员都是常数据成员。

 ◆ PS：定义常对象有两种方法，1. Point const a; 2. const Point a;（同样的，定义变量或指针时，const放前放后意义一样，如：1. const double a; double const a; 2. const int *p; int const *p; 但是定义指针常量时，只能用 int * const p;）

常成员函数

 ◆ 常成员函数不更新对象的数据成员。

 ◆ 常成员函数的const关键字可以被用于参与对重载函数的区分。

 ◆ ⭐通常非const成员函数需要定义一个const版本的重载函数，以方便定义常对象后调用常成员函数。
  ◈ 如果常对象调用的常成员函数返回的是指向当前对象的指针（或返回的是当前对象），那么此常成员函数的声明的返回类型要加const，例如：

    ◊ 成员函数返回指向当前对象的指针
      const *Point fun1();    //非const成员函数的类内声明；
      const *Point fun1() const; //习惯上要再声明一个常成员函数作重载函数，注意到此函数声明有两个const；

    ◊ 成员函数返回指向当前对象
      const Point fun1();    //非const成员函数的类内声明；
      const Point fun1() const; //习惯上要再声明一个常成员函数作重载函数，注意到此函数声明有两个const；

    ◊ ⭐注意，如果一个类中声明以下4个重载函数：
      ① Point fun1();
      ② const Point fun1();
      ③ Point fun1() const;
      ④ const Point fun1() const;
     【解析】①和②是冲突的，因为无法区分仅按返回类型区分的重载函数；③和④是冲突的，也是因为无法区分仅按返回类型区分的重载函数。
     所以正确的重载函数搭配有3种：

      ◊ ①和③搭配：
        Point fun1();             //函数返回非const对象
        Point fun1() const;          //函数返回非const对象
       [解析]适用于定义常对象后调用常成员函数，常成员函数返回类型是非const的Point类对象。

      ◊ ①和④搭配（这里把返回类型改为指针，因为常用）：
        Point *fun1() {return this; };      //函数返回指向本对象的指针
        const Point *fun1() const { return this; };//函数返回指向本常对象的指针，第一个const说明返回的是指向常对象的指针，第二个const说明此函数是常函数

       [解析]适用于定义常对象后调用常成员函数，常成员函数返回类型是常Point类对象（如return *this;）。

      ◊ ②和④搭配：
        const Point fun1();          //函数返回常对象
        const Point fun1() const;       //函数返回常对象
       [解析]适用于定义常对象后调用常成员函数，常成员函数返回类型是常Point类对象。

      ◊ ②和③搭配：
        const Point fun1();
        Point fun1() const;
       [解析]虽然搭配合法，但是似乎不存在这种搭配。