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