C中常用:“ #define 變量名 變量值”定義一個值替代,然而卻有個致命缺點:缺乏類型檢測機制,這樣預(yù)處理在C++中成為可能引發(fā)錯誤的隱患,于是引入const.
const使用:
1. 用于指針的兩種情況:const是一個左結(jié)合的類型修飾符.
int const *A; //A可變,*A不可變
int *const A; //A不可變,*A可變
2.限定函數(shù)的傳遞值參數(shù).
void function(const int Var); //傳遞過來的參數(shù)在函數(shù)內(nèi)不可以改變.
3.限定函數(shù)返回值型.
const int function(); //此時const無意義
const myclassname function(); //函數(shù)返回自定義類型myclassname.
4.限定函數(shù)類型.
void function()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說明:
class Point
{
public:
??? int GetX() const;
??? int GetY() const;
??? void SetPt (int, int);
??? void OffsetPt (int, int);
private:
??? int xVal, yVal;
};
const成員函數(shù)應(yīng)該在函數(shù)原型說明和函數(shù)定義中都增加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
{
//...
}
非常量成員函數(shù)不能被常量成員對象調(diào)用,因為它可能企圖修改常量的數(shù)據(jù)成員:
const Set s;
s.AddElem(10); // 非法: AddElem不是常量成員函數(shù)
s.Member(10); // 正確
*******但構(gòu)造函數(shù)和析構(gòu)函數(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關(guān)鍵字進行標(biāo)識,顯然,可提高程序的可讀性。其實,它還能提高程序的可靠性,已定義成const的成員函數(shù),一旦企圖修改數(shù)據(jù)成員的值,則編譯器按錯誤處理。
const成員函數(shù)和const對象
實際上,const成員函數(shù)還有另外一項作用,即常量對象相關(guān)。對于內(nèi)置的數(shù)據(jù)類型,我們可以定義它們的常量,用戶自定義的類也一樣,可以定義它們的常量對象。例如,定義一個整型常量的方法為:
const int i=1 ;
同樣,也可以定義常量對象,假定有一個類classA,定義該類的常量對象的方法為:
const classA a(2);
這里,a是類classA的一個const對象,2傳給它的構(gòu)造函數(shù)參數(shù)。const對象的數(shù)據(jù)成員在對象壽命期內(nèi)不能改變。但是,如何保證該類的數(shù)據(jù)成員不被改變呢?
為了確保const對象的數(shù)據(jù)成員不會被改變,在C++中,const對象只能調(diào)用const成員函數(shù)。如果一個成員函數(shù)實際上沒有對數(shù)據(jù)成員作任何形式的修改,但是它沒有被const關(guān)鍵字限定的,也不能被常量對象調(diào)用。下面通過一個例子來說明這個問題:?
class C
{
??? intX;
?public:
??? int GetX() { returnX; }
??? void SetX(intX) { this->X=X; }
};
voidmain()
{? const?class C?constC;
? ? cout<<constC.GetX();
}
如果我們編譯上面的程序代碼,編譯器會出現(xiàn)錯誤提示:constC是個常量對象,它只能調(diào)用const成員函數(shù)。雖然GetX( )函數(shù)實際上并沒有改變數(shù)據(jù)成員X,由于沒有const關(guān)鍵字限定,所以仍舊不能被constC對象調(diào)用。如果我們將上述代碼中:
??? int GetX()
改寫成:
int GetX() const
再重新編譯,就沒有問題了。
const成員函數(shù)的使用
const成員函數(shù)表示該成員函數(shù)只能讀類數(shù)據(jù)成員,而不能修改類成員數(shù)據(jù)。定義const成員函數(shù)時,把const關(guān)鍵字放在函數(shù)的參數(shù)表和函數(shù)體之間。有人可能會問:為什么不將const放在函數(shù)聲明前呢?因為這樣做意味著函數(shù)的返回值是常量,意義完全不同。
下面是定義const成員函數(shù)的一個實例:?
class X
{
? int i;
? public:
??? int f() const;
};
關(guān)鍵字const必須用同樣的方式重復(fù)出現(xiàn)在函數(shù)實現(xiàn)里,否則編譯器會把它看成一個不同的函數(shù):
int X::f() const
{
return i;
}
如果f( )試圖用任何方式改變i或調(diào)用另一個非const成員函數(shù),編譯器將給出錯誤信息。任何不修改成員數(shù)據(jù)的函數(shù)都應(yīng)該聲明為const函數(shù),這樣有助于提高程序的可讀性和可靠性。
///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
const成員函數(shù):const修飾函數(shù)為類成員函數(shù)特有,實際上是對const對象的限制。
理解const對象
const對象是為了保證對象的成員數(shù)據(jù)在生命期內(nèi)不被改變,這時它只能調(diào)用const成員函數(shù),而且調(diào)用成員函數(shù)時傳遞的是指向const對象的const指針 this(const class Type* const this),所以可以引出:
const成員函數(shù)不能改變其成員數(shù)據(jù)(當(dāng)然有改變的方法),可見這里隱含著在成員函數(shù)中對數(shù)據(jù)成員的操作是通過this進行之意。特別返回對象或成員時,必須保證返回后也不能改變其數(shù)據(jù),當(dāng)然能夠?qū)ζ溥M行改變的只有ref,ptr兩種方式,所以返回對象本身或其成員的引用或指針時,必須是const類型的。
另外極為主要的一點,如果類成員擁有指針成員,type* ptr;注意到const修飾的對象其指針成員等同于:type* const ptr;這意味著指針?biāo)溉阅軌蚋淖兊摹?/p>
一般實例調(diào)用成員函數(shù)時傳遞的this類型為,class type * const this.
改變const對象數(shù)據(jù)的兩種方法,即某個數(shù)據(jù)成員可以在const函數(shù)內(nèi)進行修改:
1常量轉(zhuǎn)換(ClassTy*)this,或者const_castthis。
2對允許改變的對象成員數(shù)據(jù)聲明為mutable,稱為易變的、可變的的。