const 最早想法是用于取代預(yù)處理器#define 這個(gè)宏,從而形成常量的概念。針對(duì)常量const對(duì)象,const指針及指向const的指針,函數(shù)const類型參數(shù),const 函數(shù)返回類型, const類成員,及const成員函數(shù),及對(duì)const最后理解的一些總結(jié)來描述 const。
① const對(duì)象和const類型的對(duì)象
對(duì)于這兩個(gè)概念的描述如下
1. int const object; //object是一個(gè)const量是不可以被修改 object = 2;error
2. const int object; //object是 const int型他所存放的內(nèi)容不可以被修改
對(duì)于1,2這兩種const用于對(duì)象,表述雖然不同但是效果是一樣的。因?yàn)閷?duì)象本身存放著內(nèi)容對(duì)對(duì)象的改變就是對(duì)于對(duì)象內(nèi)容的改變,同樣改變后者也是在改變前者。所以語義上一樣的。
② const指針 和 指向const的指針 及兩者結(jié)合
對(duì)于三個(gè)概念描述如下
1. int* const p; //指針p是const不能被修改 例如p++; //修改p本身會(huì)error
//修改p指向內(nèi)容 *p = 2; //ok
2. const int* p; //p是指向一個(gè)整形常量的指針指向的內(nèi)容不可以改變 p++;//ok
// *p = 2; //error
3. const int* const p; //指針p本身是不能被修改并且p所有有效的內(nèi)容也不能被
//修改 *p = 2; error 和 p++; error
③ const 參數(shù)修飾 和 參數(shù)返回類型的const修飾
1.const 參數(shù)修飾
此時(shí)函數(shù)參數(shù)修飾 const的具體用法 ① ②中用法是一樣的
例如 void fun( const int i ) { i++;} //error不能修改常量i
2.const修飾函數(shù)返回類型用法也是類似于 ①②中,僅僅修飾的對(duì)象變化變成一個(gè)返回對(duì)象
例如:const int fun() { static int i; return i;}
int res = (fun())++ //error不能修改常量返回對(duì)象
④ const類成員 和 const 成員函數(shù)
1. const成員
類const成員在構(gòu)造期間會(huì)允許被初始化并且在以后不能被改變。我們就可以知道類const成員和一般const 變量是有所不同的,類const成員是對(duì)應(yīng)于每個(gè)對(duì)象而言才有意義。因?yàn)樗跇?gòu)造期被初始化,只有當(dāng)類實(shí)例化后才會(huì)進(jìn)行構(gòu)造。所以類const成員可以這樣描述: 在類的每一次實(shí)例化時(shí)被初始化,在這個(gè)對(duì)象的生存周期中不可改變。
2. const 成員函數(shù)
描述: void class::memberfun() const {}; //此時(shí)這個(gè)const修飾的this所有類成員變量都不允許在這個(gè)函數(shù)體作用后被修改。這在設(shè)計(jì)上會(huì)帶來一些好處,能防止你意外的處理帶來的問題。
總結(jié):
<1> const 常量 一般編譯器不會(huì)分配空間只是維護(hù)一張表。而當(dāng)extern 外部引用這個(gè)常量或者“&”對(duì)這個(gè)常量取地址時(shí),編譯器才會(huì)為其分配地址。const本身的機(jī)制比較復(fù)雜。
<2> const 記憶法則 const修飾后面一個(gè)最近的名稱。我曾初學(xué)的時(shí)候被const 修飾搞的糊里糊涂,后來慢慢的總結(jié)我覺得這樣理解最容易的。
例子: const int i; 此時(shí)const僅僅修飾int 表明 i不是一個(gè)常量但是i的內(nèi)容是常量。因?yàn)閏/c++表達(dá) 對(duì)i的改變就是對(duì)i內(nèi)容的改變所以 i也類似一個(gè)const。大家不妨可以用指針const修飾試試?yán)斫鈺?huì)有幫助的我想。
<3> 對(duì)于所有非const 類型可以無條件轉(zhuǎn)化為 const類型,但是后者不能自動(dòng)轉(zhuǎn)化為前者除非顯式的強(qiáng)制轉(zhuǎn)化去掉const性。這樣做是有意義的,因?yàn)閏onst類型是非const的一個(gè)子集是一種特殊,由普遍轉(zhuǎn)化為特殊是合理的,就象模板特化,繼承的向上映射都是有意義的。
<4> 記住所有const修飾的內(nèi)容并不是永遠(yuǎn)不可改變,如果人為的強(qiáng)制轉(zhuǎn)化編譯器是不會(huì)提醒的。因?yàn)樗鼪]有義務(wù)這么做,所以我們對(duì)其轉(zhuǎn)化時(shí)要小心。
<5> 在const類成員函數(shù)處理時(shí),我們引入了mutable修飾類成員變量,經(jīng)過其修飾的成員變量可以在const類成員函數(shù)中被修改,編譯器是允許的。而其他未被mutable修飾的成員還是按照const規(guī)則不能在const成員函數(shù)中被改變。
① const對(duì)象和const類型的對(duì)象
對(duì)于這兩個(gè)概念的描述如下
1. int const object; //object是一個(gè)const量是不可以被修改 object = 2;error
2. const int object; //object是 const int型他所存放的內(nèi)容不可以被修改
對(duì)于1,2這兩種const用于對(duì)象,表述雖然不同但是效果是一樣的。因?yàn)閷?duì)象本身存放著內(nèi)容對(duì)對(duì)象的改變就是對(duì)于對(duì)象內(nèi)容的改變,同樣改變后者也是在改變前者。所以語義上一樣的。
② const指針 和 指向const的指針 及兩者結(jié)合
對(duì)于三個(gè)概念描述如下
1. int* const p; //指針p是const不能被修改 例如p++; //修改p本身會(huì)error
//修改p指向內(nèi)容 *p = 2; //ok
2. const int* p; //p是指向一個(gè)整形常量的指針指向的內(nèi)容不可以改變 p++;//ok
// *p = 2; //error
3. const int* const p; //指針p本身是不能被修改并且p所有有效的內(nèi)容也不能被
//修改 *p = 2; error 和 p++; error
③ const 參數(shù)修飾 和 參數(shù)返回類型的const修飾
1.const 參數(shù)修飾
此時(shí)函數(shù)參數(shù)修飾 const的具體用法 ① ②中用法是一樣的
例如 void fun( const int i ) { i++;} //error不能修改常量i
2.const修飾函數(shù)返回類型用法也是類似于 ①②中,僅僅修飾的對(duì)象變化變成一個(gè)返回對(duì)象
例如:const int fun() { static int i; return i;}
int res = (fun())++ //error不能修改常量返回對(duì)象
④ const類成員 和 const 成員函數(shù)
1. const成員
類const成員在構(gòu)造期間會(huì)允許被初始化并且在以后不能被改變。我們就可以知道類const成員和一般const 變量是有所不同的,類const成員是對(duì)應(yīng)于每個(gè)對(duì)象而言才有意義。因?yàn)樗跇?gòu)造期被初始化,只有當(dāng)類實(shí)例化后才會(huì)進(jìn)行構(gòu)造。所以類const成員可以這樣描述: 在類的每一次實(shí)例化時(shí)被初始化,在這個(gè)對(duì)象的生存周期中不可改變。
2. const 成員函數(shù)
描述: void class::memberfun() const {}; //此時(shí)這個(gè)const修飾的this所有類成員變量都不允許在這個(gè)函數(shù)體作用后被修改。這在設(shè)計(jì)上會(huì)帶來一些好處,能防止你意外的處理帶來的問題。
總結(jié):
<1> const 常量 一般編譯器不會(huì)分配空間只是維護(hù)一張表。而當(dāng)extern 外部引用這個(gè)常量或者“&”對(duì)這個(gè)常量取地址時(shí),編譯器才會(huì)為其分配地址。const本身的機(jī)制比較復(fù)雜。
<2> const 記憶法則 const修飾后面一個(gè)最近的名稱。我曾初學(xué)的時(shí)候被const 修飾搞的糊里糊涂,后來慢慢的總結(jié)我覺得這樣理解最容易的。
例子: const int i; 此時(shí)const僅僅修飾int 表明 i不是一個(gè)常量但是i的內(nèi)容是常量。因?yàn)閏/c++表達(dá) 對(duì)i的改變就是對(duì)i內(nèi)容的改變所以 i也類似一個(gè)const。大家不妨可以用指針const修飾試試?yán)斫鈺?huì)有幫助的我想。
<3> 對(duì)于所有非const 類型可以無條件轉(zhuǎn)化為 const類型,但是后者不能自動(dòng)轉(zhuǎn)化為前者除非顯式的強(qiáng)制轉(zhuǎn)化去掉const性。這樣做是有意義的,因?yàn)閏onst類型是非const的一個(gè)子集是一種特殊,由普遍轉(zhuǎn)化為特殊是合理的,就象模板特化,繼承的向上映射都是有意義的。
<4> 記住所有const修飾的內(nèi)容并不是永遠(yuǎn)不可改變,如果人為的強(qiáng)制轉(zhuǎn)化編譯器是不會(huì)提醒的。因?yàn)樗鼪]有義務(wù)這么做,所以我們對(duì)其轉(zhuǎn)化時(shí)要小心。
<5> 在const類成員函數(shù)處理時(shí),我們引入了mutable修飾類成員變量,經(jīng)過其修飾的成員變量可以在const類成員函數(shù)中被修改,編譯器是允許的。而其他未被mutable修飾的成員還是按照const規(guī)則不能在const成員函數(shù)中被改變。