旅途

第五節(jié)　const成員函數(shù)??

一些成員函數(shù)改變對象，一些成員函數(shù)不改變對象。

例如：
int Point::GetY()
{
　 return yVal;
}
　　 這個函數(shù)被調(diào)用時，不改變Point對象，而下面的函數(shù)改變Point對象：
void Point:: SetPt (int x, int y)
{
　 xVal=x;
　 yVal=y;
}
　　 為了使成員函數(shù)的意義更加清楚，我們可在不改變對象的成員函數(shù)的函數(shù)原型中加上const說明：

	例10-15
?	class Point { 　 public: 　　 int GetX() const; 　　 int GetY() const; 　　void SetPt (int, int); 　　 void OffsetPt (int, int); 　 private: 　　 int xVal, yVal; };

	例10-16
?	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 { 　 //... }

非常量成員函數(shù)不能被常量成員對象調(diào)用，因為它可能企圖修改常量的數(shù)據(jù)成員：
　　 const Set s;
　　 s.AddElem(10); // 非法: AddElem不是常量成員函數(shù)
　　 s.Member(10); // 正確
　　 但構造函數(shù)和析構函數(shù)對這個規(guī)則例外，它們從不定義為常量成員，但可被常量對象調(diào)用（被自動調(diào)用）。它們也能給常量的數(shù)據(jù)成員賦值，除非數(shù)據(jù)成員本身是常量。

?

為什么需要const成員函數(shù)？
　　 我們定義的類的成員函數(shù)中，常常有一些成員函數(shù)不改變類的數(shù)據(jù)成員，也就是說，這些函數(shù)是"只讀"函數(shù)，而有一些函數(shù)要修改類數(shù)據(jù)成員的值。如果把不改變 數(shù)據(jù)成員的函數(shù)都加上const關鍵字進行標識，顯然，可提高程序的可讀性。其實，它還能提高程序的可靠性，已定義成const的成員函數(shù)，一旦企圖修改 數(shù)據(jù)成員的值，則編譯器按錯誤處理。
const成員函數(shù)和const對象
　　 實際上，const成員函數(shù)還有另外一項作用，即常量對象相關。對于內(nèi)置的數(shù)據(jù)類型，我們可以定義它們的常量，用戶自定義的類也一樣，可以定義它們的常量對象。例如，定義一個整型常量的方法為：
　　 const int i=1 ；
同樣，也可以定義常量對象，假定有一個類classA，定義該類的常量對象的方法為：
　　 const classA a(2)；
　　 這里，a是類classA的一個const對象，"2"傳給它的構造函數(shù)參數(shù)。const對象的數(shù)據(jù)成員在對象壽命期內(nèi)不能改變。但是，如何保證該類的數(shù)據(jù)成員不被改變呢？
　　 為了確保const對象的數(shù)據(jù)成員不會被改變，在C++中，const對象只能調(diào)用const成員函數(shù)。如果一個成員函數(shù)實際上沒有對數(shù)據(jù)成員作任何形式的修改，但是它沒有被const關鍵字限定的，也不能被常量對象調(diào)用。下面通過一個例子來說明這個問題：

	例10-17
?	class C { 　 int X; public: 　 int GetX() 　 { 　　 return X; 　 } 　 void SetX(int X) 　 { 　　 this->X = X; 　 } }; void main() { 　 const C constC; 　 cout<<constC.GetX(); }

如果我們編譯上面的程序代碼，編譯器會出現(xiàn)錯誤提示：constC是個常量對象，它只能調(diào)用const成員函數(shù)。雖然GetX( )函數(shù)實際上并沒有改變數(shù)據(jù)成員X，由于沒有const關鍵字限定，所以仍舊不能被constC對象調(diào)用。如果我們將上述加粗的代碼：
　　 int GetX()
改寫成：
　　 int GetX()const
再重新編譯，就沒有問題了。