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





