Const 深度解析

2021-04-26 13:00:39 字數 4442 閱讀 7314

物件導向是c++的重要特性.

但是c++在c的基礎上新增加的幾點優化也是很耀眼的

就const直接可以取代c中的#define

以下幾點很重要,學不好後果也也很嚴重

1.       const常量,如const int max = 100; 

優點:const常量有資料型別,而巨集常量沒有資料型別。編譯器可以對前者進行型別安全檢查,而對後者只進行字元替換,沒有型別安全檢查,並且在字元替換時可能會產生意料不到的錯誤(邊際效應)

2.       const 修飾類的資料成員。如:

class a

const資料成員只在某個物件生存期內是常量,而對於整個類而言卻是可變的。因為類可以建立多個物件,不同的物件其const資料成員的值可以不同。所以不能在類宣告中初始化const資料成員,因為類的物件未被建立時,編譯器不知道const 資料成員的值是什麼。如

class a

const資料成員的初始化只能在類的建構函式的初始化表中進行。要想建立在整個類中都恆定的常量,應該用類中的列舉常量來實現。如

class a

;int array1[size1];

int array2[size2];

}列舉常量不會占用物件的儲存空間,他們在編譯時被全部求值。但是列舉常量的隱含資料型別是整數,其最大值有限,且不能表示浮點數。

3.       const修飾指標的情況,見下式:

int b = 500;

const int* a = &           [1]

int const *a = &           [2]

int* const a = &           [3]

const int* const a = &     [4]

如果你能區分出上述四種情況,那麼,恭喜你,你已經邁出了可喜的一步。不知道,也沒關係,我們可以參考《effective c++》item21上的做法,如果const位於星號的左側,則const就是用來修飾指標所指向的變數,即指標指向為常量;如果const位於星號的右側,const就是修飾指標本身,即指標本身是常量。因此,[1]和[2]的情況相同,都是指標所指向的內容為常量(const放在變數宣告符的位置無關),這種情況下不允許對內容進行更改操作,如不能*a = 3 ;[3]為指標本身是常量,而指標所指向的內容不是常量,這種情況下不能對指標本身進行更改操作,如a++是錯誤的;[4]為指標本身和指向的內容均為常量。

4.     const的初始化

先看一下const變數初始化的情況

1) 非指標const常量初始化的情況:a b;

const a a = b;

2) 指標const常量初始化的情況:

a* d = new a();

const a* c = d;

或者:const a* c = new a();

3)引用const常量初始化的情況:

a f;

const a& e = f;      // 這樣作e只能訪問宣告為const的函式,而不能訪問一           

般的成員函式;

[思考1]: 以下的這種賦值方法正確嗎?

const a* c=new a();

a* e = c;

[思考2]: 以下的這種賦值方法正確嗎?

a* const c = new a();

a* b = c;

5.     另外const 的一些強大的功能在於它在函式宣告中的應用。在乙個函式宣告中,const 可以修飾函式的返回值,或某個引數;對於成員函式,還可以修飾是整個函式。有如下幾種情況,以下會逐漸的說明用法:a& operator=(const a& a);

void fun0(const a* a );

void fun1( ) const; // fun1( ) 為類成員函式

const a fun2( );

1) 修飾引數的const,如 void fun0(const a* a ); void fun1(const a& a);

呼叫函式的時候,用相應的變數初始化const常量,則在函式體中,按照const所修飾的部分進行常量化,如形參為const a* a,則不能對傳遞進來的指標的內容進行改變,保護了原指標所指向的內容;如形參為const a& a,則不能對傳遞進來的引用物件進行改變,保護了原物件的屬性。

[注意]:引數const通常用於引數為指標或引用的情況,且只能修飾輸入引數;若輸入引數採用「值傳遞」方式,由於函式將自動產生臨時變數用於複製該引數,該引數本就不需要保護,所以不用const修飾。

[總結]對於非內部資料型別的輸入引數,因該將「值傳遞」的方式改為「const引用傳遞」,目的是為了提高效率。例如,將void func(a a)改為void func(const a &a)

對於內部資料型別的輸入引數,不要將「值傳遞」的方式改為「const引用傳遞」。否則既達不到提高效率的目的,又降低了函式的可理解性。例如void func(int x)不應該改為void func(const int &x)

2)  修飾返回值的const,如const a fun2( ); const a* fun3( );

這樣宣告了返回值後,const按照"修飾原則"進行修飾,起到相應的保護作用。const rational operator*(const rational& lhs, const rational& rhs)

返回值用const修飾可以防止允許這樣的操作發生:rational a,b;

radional c;

(a*b) = c;

一般用const修飾返回值為物件本身(非引用和指標)的情況多用於二目操作符過載函式並產生新物件的時候。

[總結]

1.     一般情況下,函式的返回值為某個物件時,如果將其宣告為const時,多用於操作符的過載。通常,不建議用const修飾函式的返回值型別為某個物件或對某個物件引用的情況。原因如下:如果返回值為某個物件為const(const a test = a 例項)或某個物件的引用為const(const a& test = a例項) ,則返回值具有const屬性,則返回例項只能訪問類a中的公有(保護)資料成員和const成員函式,並且不允許對其進行賦值操作,這在一般情況下很少用到。

2.       如果給採用「指標傳遞」方式的函式返回值加const修飾,那麼函式返回值(即指標)的內容不能被修改,該返回值只能被賦給加const 修飾的同型別指標。如:

const char * getstring(void);

如下語句將出現編譯錯誤:

char *str=getstring();

正確的用法是:

const char *str=getstring();

3.     函式返回值採用「引用傳遞」的場合不多,這種方式一般只出現在類的賻值函式中,目的是為了實現鏈式表達。如:

class a

a a,b,c;              //a,b,c為a的物件

…a=b=c;            //正常

(a=b)=c;          //不正常,但是合法

若負值函式的返回值加const修飾,那麼該返回值的內容不允許修改,上例中a=b=c依然正確。(a=b)=c就不正確了。

[思考3]: 這樣定義賦值操作符過載函式可以嗎?

const a& operator=(const a& a);

6.     類成員函式中const的使用

一般放在函式體後,形如:void fun() const;

任何不會修改資料成員的函式都因該宣告為const型別。如果在編寫const成員函式時,不慎修改了資料成員,或者呼叫了其他非const成員函式,編譯器將報錯,這大大提高了程式的健壯性。如:

class stack

;int stack::getcount(void) const

7.       使用const的一些建議

1 要大膽的使用const,這將給你帶來無盡的益處,但前提是你必須搞清楚原委;

2 要避免最一般的賦值操作錯誤,如將const變數賦值,具體可見思考題;

3 在引數中使用const應該使用引用或指標,而不是一般的物件例項,原因同上;

4 const在成員函式中的三種用法(引數、返回值、函式)要很好的使用;

5 不要輕易的將函式的返回值型別定為const;

6除了過載操作符外一般不要將返回值型別定為對某個物件的const引用;

[思考題答案]

1 這種方法不正確,因為宣告指標的目的是為了對其指向的內容進行改變,而宣告的指標e指向的是乙個常量,所以不正確;

2 這種方法正確,因為宣告指標所指向的內容可變;

3 這種做法不正確;

在const a::operator=(const a& a)中,引數列表中的const的用法正確,而當這樣連續賦值的時侯,問題就出現了:

a a,b,c:

(a=b)=c;

因為a.operator=(b)的返回值是對a的const引用,不能再將c賦值給const常量。

C 深度解析 9 const 常量?唯讀變數?

2 小結 看了前面的關於 const 的內容,不知道是不是有疑問,const 什麼時候為唯讀變數,什麼時候是常量?綜上所述,在編譯期間不能直接確定初始值的 const 標示符,都被作為唯讀變數處理。const 引用的型別與初始化變數的型別 9 1.c include intmain 編譯執行 g 9...

Const 過載解析

1.const過載應用場景 首先,對於函式值傳遞的情況,因為引數傳遞是通過複製實參建立乙個臨時變數傳遞進函式的,函式內只能改變臨時變數,但無法改變實參。則這個時候無論加不加const對實參不會產生任何影響。但是在引用或指標傳遞函式呼叫中,因為傳進去的是乙個引用或指標,這樣函式內部可以改變引用或指標所...

const深度總結(effective C )

如果const關鍵字不涉及到指標,我們很好理解,下面是涉及到指標的情況 int b 500 const int a b 1 int const a b 2 int const a b 3 const int const a b 4 如果你能區分出上述四種情況,那麼,恭喜你,你已經邁出了可喜的一步。不...