C++中的explicit關(guān)鍵字
在C++程序中很少有人去使用explicit關(guān)鍵字,不可否認(rèn),在平時(shí)的實(shí)踐中確實(shí)很少能用的上。再說(shuō)C++的功能強(qiáng)大,往往一個(gè)問(wèn)題可以利用好幾種C++特性去解決。但稍微留心一下就會(huì)發(fā)現(xiàn)現(xiàn)有的MFC庫(kù)或者C++標(biāo)準(zhǔn)庫(kù)中的相關(guān)類(lèi)聲明中explicit出現(xiàn)的頻率是很高的。了解explicit關(guān)鍵字的功能及其使用對(duì)于我們閱讀使用庫(kù)是很有幫助的,而且在編寫(xiě)自己的代碼時(shí)也可以嘗試使用。既然C++語(yǔ)言提供這種特性,我想在有些時(shí)候這種特性將會(huì)非常有用。 按默認(rèn)規(guī)定,只用傳一個(gè)參數(shù)的構(gòu)造函數(shù)也定義了一個(gè)隱式轉(zhuǎn)換。舉個(gè)例子: //Example.h
#pragma?once class?CExample { public: CExample(void); public: ~CExample(void); public: int?m_iFirst; int?m_iSecond; public: CExample(int?iFirst,?int?iSecond?=?4); };
//Example.cpp
#include?"StdAfx.h" #include?"Example.h" CExample::CExample(void) :?m_iFirst(0) { } CExample::~CExample(void) { } CExample::CExample(int?iFirst,?int?iSecond):m_iFirst(iFirst),?m_iSecond(iSecond) { }
//TestExplicitKey.cpp
//其它頭文件 #include?"Example.h" int?_tmain(int?argc,?_TCHAR*?argv[]) { CExample?objOne;?//調(diào)用沒(méi)有參數(shù)的構(gòu)造函數(shù) CExample?objTwo(12,?12);?//調(diào)用有兩個(gè)參數(shù)的構(gòu)造函數(shù) CExample?objThree(12);?//同上,可以傳一個(gè)參數(shù)是因?yàn)樵摌?gòu)造函數(shù)的第二個(gè)參數(shù)有默認(rèn)值 CExample?objFour?=?12;?//執(zhí)行了隱式轉(zhuǎn)換,等價(jià)于CExample?temp(12);objFour(temp);注意這個(gè)地方調(diào)用了 //編譯器為我們提供的默認(rèn)復(fù)制構(gòu)造函數(shù) return?0; }
如果在構(gòu)造函數(shù)聲明中加入關(guān)鍵字explicit,如下 explicit CExample(int iFirst, int iSecond = 4); 那么CExample objFour = 12; 這條語(yǔ)句將不能通過(guò)編譯。在vs05下的編譯錯(cuò)誤提示如下 error C2440: 'initializing' : cannot convert from 'int' to 'CExample' ? 對(duì)于某些類(lèi)型,這一情況非常理想。但在大部分情況中,隱式轉(zhuǎn)換卻容易導(dǎo)致錯(cuò)誤(不是語(yǔ)法錯(cuò)誤,編譯器不會(huì)報(bào)錯(cuò))。隱式轉(zhuǎn)換總是在我們沒(méi)有察覺(jué)的情況下悄悄發(fā)生,除非有心所為,隱式轉(zhuǎn)換常常是我們所不希望發(fā)生的。通過(guò)將構(gòu)造函數(shù)聲明為explicit(顯式)的方式可以抑制隱式轉(zhuǎn)換。也就是說(shuō),explicit構(gòu)造函數(shù)必須顯式調(diào)用。 引用一下Bjarne Stroustrup的例子:
class?String { ??????explicit?String(int?n); ??????String(const?char?*p); }; String?s1?=?'a';?//錯(cuò)誤:不能做隱式char->String轉(zhuǎn)換 String?s2(10);???//可以:調(diào)用explicit?String(int?n); String?s3?=?String(10);//可以:調(diào)用explicit?String(int?n);再調(diào)用默認(rèn)的復(fù)制構(gòu)造函數(shù) String?s4?=?"Brian";?//可以:隱式轉(zhuǎn)換調(diào)用String(const?char?*p);再調(diào)用默認(rèn)的復(fù)制構(gòu)造函數(shù) String?s5("Fawlty");?//可以:正常調(diào)用String(const?char?*p); void?f(String); String?g() { ????f(10);?//錯(cuò)誤:不能做隱式int->String轉(zhuǎn)換 ????f("Arthur");?//可以:隱式轉(zhuǎn)換,等價(jià)于f(String("Arthur")); ????return?10;?//同上 }
在實(shí)際代碼中的東西可不像這種故意造出的例子。
發(fā)生隱式轉(zhuǎn)換,除非有心利用,隱式轉(zhuǎn)換常常帶來(lái)程序邏輯的錯(cuò)誤,而且這種錯(cuò)誤一旦發(fā)生是很難察覺(jué)的。
原則上應(yīng)該在所有的構(gòu)造函數(shù)前加explicit關(guān)鍵字,當(dāng)你有心利用隱式轉(zhuǎn)換的時(shí)候再去解除explicit,這樣可以大大減少錯(cuò)誤的發(fā)生。
C++中的explicit關(guān)鍵字只能用于修飾只有一個(gè)參數(shù)的類(lèi)構(gòu)造函數(shù), 它的作用是表明該構(gòu)造函數(shù)是顯示的, 而非隱式的, 跟它相對(duì)應(yīng)的另一個(gè)關(guān)鍵字是implicit, 意思是隱藏的,類(lèi)構(gòu)造函數(shù)默認(rèn)情況下即聲明為implicit(隱式)。
但是, 也有一個(gè)例外, 就是當(dāng)除了第一個(gè)參數(shù)以外的其他參數(shù)都有默認(rèn)值的時(shí)候, explicit關(guān)鍵字依然有效, 此時(shí), 當(dāng)調(diào)用構(gòu)造函數(shù)時(shí)只傳入一個(gè)參數(shù), 等效于只有一個(gè)參數(shù)的類(lèi)構(gòu)造函數(shù)。