const關鍵字的深度用法

看到const 關鍵字不僅可以修飾變量，她更大的魅力是它可以修飾函數的參數、傳回值，甚至函數的定義體。

1.修飾變量

const char var;//說明var這個變量現在變成“隻讀變量”，任何對var修改的語句都被編譯器視為錯誤。

當然還有類似的一些方式：char const *p;

                                    char *const p;

                                    const char *const p;

2.修飾函數的參數

如果參數作輸出用，不論它是什麼資料類型，也不論它采用“指針傳遞”還是“引用傳遞”，都不能加const 修飾，否則該參數将失去輸出功能。const 隻能修飾輸入參數：

如果輸入參數采用“指針傳遞”，那麼加const 修飾可以防止意外地改動該指針，起到保護作用。

例如StringCopy 函數：

void StringCopy(char *strDestination, const char *strSource);

其中strSource 是輸入參數，strDestination 是輸出參數。給strSource 加上const修飾後，如果函數體内的語句試圖改動strSource 的内容，編譯器将指出錯誤。

如果輸入參數采用“值傳遞”，由于函數将自動産生臨時變量用于複制該參數，該輸入參數本來就無需保護，是以不要加const 修飾。

例如不要将函數void Func1(int x) 寫成void Func1(const int x)。同理不要将函數void Func2(A a) 寫成void Func2(const A a)。其中A 為使用者自定義的資料類型。

對于非内部資料類型的參數而言，象void Func(A a) 這樣聲明的函數注定效率比較底。因為函數體内将産生A 類型的臨時對象用于複制參數a，而臨時對象的構造、複制、析構過程都将消耗時間。

為了提高效率，可以将函數聲明改為void Func(A &a)，因為“引用傳遞”僅借用一下參數的别名而已，不需要産生臨時對象。但是函數void Func(A &a) 存在一個缺點：

“引用傳遞”有可能改變參數a，這是我們不期望的。解決這個問題很容易，加const修飾即可，是以函數最終成為void Func(const A &a)。

以此類推，是否應将void Func(int x) 改寫為void Func(const int &x)，以便提高效率？完全沒有必要，因為内部資料類型的參數不存在構造、析構的過程，而複制也非常快，“值傳遞”和“引用傳遞”的效率幾乎相當。

 3.const 修飾函數的傳回值

  如果給以“指針傳遞”方式的函數傳回值加const 修飾，那麼函數傳回值（即指針）的内容不能被修改，該傳回值隻能被賦給加const 修飾的同類型指針。例如函數

         const char * GetString(void);

         如下語句将出現編譯錯誤：

         char *str = GetString();

         正确的用法是

         const char *str = GetString();

如果函數傳回值采用“值傳遞方式”，由于函數會把傳回值複制到外部臨時的存儲單元中，加const 修飾沒有任何價值。

例如不要把函數int GetInt(void) 寫成const int GetInt(void)。

同理不要把函數A GetA(void) 寫成const A GetA(void)，其中A 為使用者自定義的資料類型。

如果傳回值不是内部資料類型，将函數A GetA(void) 改寫為const A & GetA(void)的确能提高效率。但此時千萬千萬要小心，一定要搞清楚函數究竟是想傳回一個對象的“拷貝”還是僅傳回“别名”就可以了，否則程式會出錯。

函數傳回值采用“引用傳遞”的場合并不多，這種方式一般隻出現在類的指派函數中，目的是為了實作鍊式表達。

例如：

class A

{

A & operate = (const A &other); // 指派函數

};

A a, b, c; // a, b, c 為A 的對象

a = b = c; // 正常的鍊式指派

(a = b) = c; // 不正常的鍊式指派，但合法

如果将指派函數的傳回值加const 修飾，那麼該傳回值的内容不允許被改動。上例中，語句 a = b = c 仍然正确，但是語句 (a = b) = c 則是非法的。

4.const 成員函數(const的作用：說明其不會修改資料成員)

任何不會修改資料成員的函數都應該聲明為const 類型。如果在編寫const 成員函數時，不慎修改了資料成員，或者調用了其它非

const成員函數，編譯器将指出錯誤，這無疑會提高程式的 健壯性。以下程式中，類stack 的成員函數GetCount 僅用于計數，

從邏輯上講GetCount 應當為const 函數。編譯器将指出GetCount 函數中的錯誤。

class Stack

{

public:

void Push(int elem);

int Pop(void);

int GetCount(void) const; // const 成員函數

private:

int m_num;

int m_data[100];

};

int Stack::GetCount(void) const

{

++ m_num; // 編譯錯誤，企圖修改資料成員m_num

Pop(); // 編譯錯誤，企圖調用非const 函數

return m_num;

}

const 成員函數的聲明看起來怪怪的：const 關鍵字隻能放在函數聲明的尾部，大概是因為其它地方都已經被占用了。

關于Const函數的幾點規則：

a. const對象隻能通路const成員函數,而非const對象可以通路任意的成員函數,包括const成員函數.

       b. const對象的成員是不可修改的,然而const對象通過指針維護的對象卻是可以修改的.

       c. const成員函數不可以修改對象的資料,不管對象是否具有const性質.它在編譯時,以是否修改成員資料為依據,進行檢查.

       d. 然而加上mutable修飾符的資料成員,對于任何情況下通過任何手段都可修改,自然此時的const成員函數是可以修改它的