C++ const成員函數小結

一些成員函數改變對象，一些成員函數不改變對象。

例如：

int Point::GetY()

{

　return yVal;

}

　　這個函數被調用時，不改變Point對象，而下面的函數改變Point對象：

void Point:: SetPt (int x, int y)

{

　xVal=x;

　yVal=y;

}

　　為了使成員函數的意義更加清楚，我們可在不改變對象的成員函數的函數原型中加上const說明：

   class Point

{

　public:

　　int GetX() const;

　　int GetY() const;

　　void SetPt (int, int);

　　void OffsetPt (int, int);

　private:

　　int xVal, yVal;

};

　　const成員函數應該在函數原型說明和函數定義中都增加const限定：

   int Point::GetY() const

{

　return yVal;

}

class Set {

public:

　Set (void){ card = 0; }

　bool Member(const int) const;

　void AddElem(const int);

　//...

};

bool Set::Member (const int elem) const

{

　//...

}

　　非常量成員函數不能被常量成員對象調用，因為它可能企圖修改常量的資料成員：

　　const Set s;

　　s.AddElem(10); // 非法: AddElem不是常量成員函數

　　s.Member(10); // 正确

　　但構造函數和析構函數對這個規則例外，它們從不定義為常量成員，但可被常量對象調用（被自動調用）。它們也能給常量的資料成員指派，除非資料成員本身是常量。

為什麼需要const成員函數？

　　我們定義的類的成員函數中，常常有一些成員函數不改變類的資料成員，也就是說，這些函數是"隻讀"函數，而有一些函數要修改類資料成員的值。如果把不改變資料成員的函數都加上const關鍵字進行辨別，顯然，可提高程式的可讀性。其實，它還能提高程式的可靠性，已定義成const的成員函數，一旦企圖修改資料成員的值，則編譯器按錯誤處理。

const成員函數和const對象

　　實際上，const成員函數還有另外一項作用，即常量對象相關。對于内置的資料類型，我們可以定義它們的常量，使用者自定義的類也一樣，可以定義它們的常量對象。例如，定義一個整型常量的方法為：

　　const int i=1 ；

同樣，也可以定義常量對象，假定有一個類classA，定義該類的常量對象的方法為：

　　const classA a(2)；

　　這裡，a是類classA的一個const對象，"2"傳給它的構造函數參數。const對象的資料成員在對象壽命期内不能改變。但是，如何保證該類的資料成員不被改變呢？

　　為了確定const對象的資料成員不會被改變，在C++中，const對象隻能調用const成員函數。如果一個成員函數實際上沒有對資料成員作任何形式的修改，但是它沒有被const關鍵字限定的，也不能被常量對象調用。下面通過一個例子來說明這個問題：

   class C

{

　int X;

public:

　int GetX()

　{

　　return X;

　}

　void SetX(int X)

　{

　　this->X = X;

　}

};

void main()

{

　const C constC;

　cout<<constC.GetX();

}

　　如果我們編譯上面的程式代碼，編譯器會出現錯誤提示：constC是個常量對象，它隻能調用const成員函數。雖然GetX( )函數實際上并沒有改變資料成員X，由于沒有const關鍵字限定，是以仍舊不能被constC對象調用。如果我們将上述加粗的代碼：

　　int GetX()

改寫成：

　　int GetX()const

再重新編譯，就沒有問題了。

const成員函數的使用

　　const成員函數表示該成員函數隻能讀類資料成員，而不能修改類成員資料。定義const成員函數時，把const關鍵字放在函數的參數表和函數體之間。有人可能會問：為什麼不将const放在函數聲明前呢？因為這樣做意味着函數的傳回值是常量，意義完全不同。下面是定義const成員函數的一個執行個體：

　　class X

　　{

　　　int i;

　　　public:

　　　int f() const;

　　};

　　關鍵字const必須用同樣的方式重複出現在函數實作裡，否則編譯器會把它看成一個不同的函數：

　　int X::f() const

　　{

　　　return i;

　　}

　　如果f( )試圖用任何方式改變i或調用另一個非const成員函數，編譯器将給出錯誤資訊。任何不修改成員資料的函數都應該聲明為const函數，這樣有助于提高程式的可讀性和可靠性。

   對象.成員函數

     對象           成員函數       對/錯

1、   const         const           對

2、   const         non-const       錯

3、   non-const     const           對

4、   not-const     non-const       對

           成員函數調用成員函數

     成員函數       成員函數       對/錯

5、   const         const           對

6、   const         non-const       錯

7、   non-const     const           對

8、   non-const     non-const       對