const的本意是為了替代#define,它和define比較,它有類型檢查,define沒有,而且常量折疊也是const特有的。通過(guò)使用const我們可以消除一些隱藏的錯(cuò)誤,并且有作用域,define只是簡(jiǎn)單的文字替換功能。C++ 中的const可用于指針、函數(shù)、返回類型、類等。
頭文件中的const,沒有內(nèi)存分配產(chǎn)生,除非有extern來(lái)修飾它,extern有個(gè)特點(diǎn)有注意:它只能初始化一次,并且初始化位置和全局變量的位置一樣,用extern會(huì)導(dǎo)致內(nèi)存分配。
const在C中是默認(rèn)的鏈接屬性是外部鏈接,C++則是內(nèi)部鏈接;C中cosnt必須有內(nèi)存空間,C++則沒有分配內(nèi)存。在C中,這樣寫是錯(cuò)誤的:const int size = 34;char buf[size]。因?yàn)閟ize在編譯期間是編譯器無(wú)法獲取它的值。在C中只能這樣寫,const int size;這表示一個(gè)const常量的聲明。
const和指針,要么修飾指向的對(duì)象,要么指針(地址)。可以把一個(gè)非const對(duì)象地址賦給一個(gè)const指針,反之則不行。
const和函數(shù):可用在函數(shù)參數(shù)和返回值中,在返回值中,如果按值返回一個(gè)內(nèi)置數(shù)據(jù)類型(int、float)等沒意義,因?yàn)榉祷貎H僅是一個(gè)值而非變量,但是用戶自定義類型就不同了(類和結(jié)構(gòu)體)。我們提倡在形參中盡可能使用const,原因是const的參數(shù)可以接受const和非const兩中類型的參數(shù),因?yàn)楹瘮?shù)傳參,在值傳遞下本事就是賦值關(guān)系。單數(shù)如果是引用傳值,則不同,如果要把一個(gè)臨時(shí)變量傳遞給函數(shù),必須定義為const。
在類(class)中的const,const方法只能為const對(duì)象所調(diào)用,const成員的初始化一般在成員初始化列表中(在構(gòu)造函數(shù)的參數(shù)表和冒號(hào)后),這里告訴人們,表里的初始化發(fā)生在執(zhí)行構(gòu)造函數(shù)的任何代碼前。如:Class Fr{const int size;public:Fr(int sz);};
Fr::Fr(int sz):size(sz){};//初始化成員列表。static const必須在定義的時(shí)候初始化,它意味著一個(gè)編譯器的常量,僅對(duì)內(nèi)部數(shù)據(jù)成員而言。const方法在定義時(shí)const不可省略,聲明一個(gè)const成員方法,必須把const放到函數(shù)參數(shù)表的后面。const成員方法調(diào)用const和非const對(duì)象是安全的,不修改任何數(shù)據(jù)成員的方法都應(yīng)該聲明為const。注意:構(gòu)造和析構(gòu)函數(shù)不能是const。
mutable和voatile的區(qū)別:
mutable一般用在強(qiáng)制轉(zhuǎn)換const(它實(shí)質(zhì)是轉(zhuǎn)換this指針,但在const成員函數(shù)中,this指針實(shí)際是一個(gè)const指針,所以還應(yīng)把它強(qiáng)制轉(zhuǎn)換成一個(gè)普通指針),用mutable修飾一個(gè)成員變量表示它可以在const對(duì)象里被改變。
voatlie告訴編譯器,對(duì)數(shù)據(jù)不用優(yōu)化,它的意思是說(shuō),在某種編譯器不認(rèn)知的范圍內(nèi),這個(gè)數(shù)據(jù)可以被改變。
如果想要讓一個(gè)對(duì)象是只讀的,除了用const修飾對(duì)象外,在對(duì)象中不能使用mutable,并且類或結(jié)構(gòu)體沒有構(gòu)造和析構(gòu),沒有基類。
按位const指對(duì)象內(nèi)部是不變的,按邏輯const指概念上是不變的它的成員可以改變(在強(qiáng)制類型轉(zhuǎn)換后)。const的轉(zhuǎn)換用const_cast.