|
const 是C++中常用的類型修飾符，有某些微妙的應用場合，如果沒有搞清本源，則錯誤在所難免。本篇中將對const進行辨析。溯其本源，究其實質，希望能對大家理解const有所幫助，根據思維的承接關系，分為如下幾個部分進行闡述。 C++中為什么會引入const C++的提出者當初是基于什么樣的目的引入（或者說保留）const關鍵字呢？，這是一個有趣又有益的話題，對理解const很有幫助。 1． 大家知道，C++有一個類型嚴格的編譯系統，這使得C++程序的錯誤在編譯階段即可發(fā)現許多，從而使得出錯率大為減少，因此，也成為了C++與C相比，有著突出優(yōu)點的一個方面。 2． C中很常見的預處理指令 #define VariableName VariableValue 可以很方便地進行值替代，這種值替代至少在三個方面優(yōu)點突出： 一是避免了意義模糊的數字出現，使得程序語義流暢清晰，如下例： #define USER_NUM_MAX 107 這樣就避免了直接使用107帶來的困惑。 二是可以很方便地進行參數的調整與修改，如上例，當人數由107變?yōu)?01時，進改動此處即可， 三是提高了程序的執(zhí)行效率，由于使用了預編譯器進行值替代，并不需要為這些常量分配存儲空間，所以執(zhí)行的效率較高。 鑒于以上的優(yōu)點，這種預定義指令的使用在程序中隨處可見。 3． 說到這里，大家可能會迷惑上述的1點、2點與const有什么關系呢?,好，請接著向下看來： 預處理語句雖然有以上的許多優(yōu)點，但它有個比較致命的缺點，即，預處理語句僅僅只是簡單值替代，缺乏類型的檢測機制。這樣預處理語句就不能享受C++嚴格類型檢查的好處，從而可能成為引發(fā)一系列錯誤的隱患。 4．好了，第一階段結論出來了： 結論： Const 推出的初始目的，正是為了取代預編譯指令，消除它的缺點，同時繼承它的優(yōu)點。 現在它的形式變成了： Const DataType VariableName = VariableValue ; 為什么const能很好地取代預定義語句？ const 到底有什么大神通，使它可以振臂一揮取代預定義語句呢？ 1． 首先，以const 修飾的常量值，具有不可變性，這是它能取代預定義語句的基礎。 2． 第二，很明顯，它也同樣可以避免意義模糊的數字出現，同樣可以很方便地進行參數的調整和修改。 3． 第三，C++的編譯器通常不為普通const常量分配存儲空間，而是將它們保存在符號表中，這使得它成為一個編譯期間的常量，沒有了存儲與讀內存的操作，使得它的效率也很高，同時，這也是它取代預定義語句的重要基礎。 這里，我要提一下，為什么說這一點是也是它能取代預定義語句的基礎，這是因為，編譯器不會去讀存儲的內容，如果編譯器為const分配了存儲空間，它就不能夠成為一個編譯期間的常量了。 4． 最后，const定義也像一個普通的變量定義一樣，它會由編譯器對它進行類型的檢測，消除了預定義語句的隱患。 const 使用情況分類詳析 1.const 用于指針的兩種情況分析： int const *a; //a/可變，*a不可變 int *const a; //a不可變，*a可變 分析：const 是一個左結合的類型修飾符，它與其左側的類型修飾符合為一個類型 修飾符，所以，int const 限定 *a,不限定a。int *const 限定a,不限定*a。 2.const 限定函數的傳遞值參數： void fun(const int var); 分析：上述寫法限定參數在函數體中不可被改變。由值傳遞的特點可知，var在函數體中的改變不會影響到函數外部。所以，此限定與函數的使用者無關，僅與函數的編寫者有關。 結論：最好在函數的內部進行限定，對外部調用者屏蔽，以免引起困惑。如可改寫如下： void fun(int var){ const int & varalias = var; varalias ......... } 3.const 限定函數的值型返回值： const int fun1(); const myclass fun2(); 分析:上述寫法限定函數的返回值不可被更新，當函數返回內部的類型時（如fun1），已經是一個數值，當然不可被賦值更新，所以，此時 const無意義，最好去掉，以免困惑。當函數返回自定義的類型時（如fun2），這個類型仍然包含可以被賦值的變量成員，所以，此時有意義。 4. 傳遞與返回地址： 此種情況最為常見，由地址變量的特點可知，適當使用const，意義昭然。 5. const 限定類的成員函數： class classname { public: int fun() const; ..... } 注意：采用此種const 后置的形式是一種規(guī)定，亦為了不引起混淆。在此函數的聲明中和定義中均要使用const,因為const已經成為類型信息的一部分。 獲得能力：可以操作常量對象。 失去能力：不能修改類的數據成員，不能在函數中調用其他不是const的函數。 |
|
|
