1.瞭解

explicit用來防止由建構函式定義的隱式轉換。要明白它的作用，首先要了解隱式轉換：可以用單個實參來呼叫的建構函式定義了從形參型別到該類型別的一個隱式轉換。

#include <string>
#include <iostream>

using namespace std;

class Fruit               //定義一個類，名字叫Fruit
{
   public:
	
        Fruit(){}
		
		Fruit(const string &nst, const string &cst = "green"):name(nst),colour(cst){}  //建構函式
 
		bool isSame(const Fruit &otherFruit)   //期待的形參是另一個Fruit類物件，測試是否同名
		{
			return name == otherFruit.name;
		}
		
		void print()              //定義一個輸出名字的成員print()
		{
			cout<<colour<<" "<<name<<endl;
		}
    
	private:
		string name;     //定義一個name成員           
		string colour;   //定義一個colour成員

};

int main()
{
	Fruit apple("apple","green");
 	Fruit orange("orange","yellow");
	cout<<"apple = orange ?: "<<apple.isSame(orange)<<endl;  //沒有問題，肯定不同
	cout<<"apple = \"apple\" ?:"<<apple.isSame(string("apple"))<<endl; //用一個string做形參？ 
 
    return 0;
}
 

 用一個string型別作一個期待Fruit物件形參的函式的引數，結果竟然得出了是true（1），這就是隱式類型別轉換：“可以用單個實參來呼叫的建構函式定義了從形參型別到該型別的一個隱式轉換。”C++ Primer中提到：首先要單個實參，倘若你把建構函式colour的預設實參去掉，也就是定義一個物件必須要兩個引數的時候，此時，編譯將不能通過，然後滿足這個條件後，系統就知道怎麼轉換了，不過這裡比較嚴格：）以前我們構造物件的時候Fruit apple("apple")其實也已經有了一個轉換,從const char *的C風格字串轉換為string，在這裡，你再用apple.isSame("apple")的話，系統不懂得幫你轉換兩次，所以你必須要用string（）建構函式來先強制轉換，然後系統才知道幫你從string隱式轉換為Fruit。當然其實你自己也可以幫他完成，如cout<<"apple = \"apple\" ?:"<<apple.isSame(Fruit("apple"))<<endl;
   參考下例 ：Fruit apple = Fruit("apple"，"green");  //定義一個Fruit類物件apple。
   也就是這樣轉換的。不過這就叫顯式轉換了，我們不標出來，系統幫我們完成的，叫隱式的。這裡要說的是，假如你顯示轉換就可以不管有多少引數了，比如在前面提到的必須需要兩個引數的建構函式時的例子。

#include <string>
#include <iostream>

using namespace std;

class Fruit               //定義一個類，名字叫Fruit
{
   public:
	
        Fruit(){}
		
		Fruit(const string &nst, const string &cst):name(nst),colour(cst){}  //建構函式
 
		bool isSame(const Fruit &otherFruit)   //期待的形參是另一個Fruit類物件，測試是否同名
		{
			return name == otherFruit.name;
		}
		
		void print()              //定義一個輸出名字的成員print()
		{
			cout<<colour<<" "<<name<<endl;
		}
    
	private:
		string name;     //定義一個name成員           
		string colour;   //定義一個colour成員

};

int main()
{
	Fruit apple("apple","green");
 	Fruit orange("orange","yellow");
	cout<<"apple = orange ?: "<<apple.isSame(orange)<<endl;  //沒有問題，肯定不同
	cout<<"apple = \"apple\" ?:"<<apple.isSame(Fruit("apple","green"))<<endl; //顯示轉換 
 
    return 0;
}
 

2.C++ Primer總結

class Sales_item
{
public: 
    Sales_item(const std::string & book);
    Sales_item(std::istream & is);
};

bool same_isbn(Sales_item book)
{
}

std::string null_book = "9-999-99999-9";
item.same_isbn(null_book);
item.same_isbn(cin);

        使用一個string型別物件作為實參傳給same_isbn函式，編譯器使用接收一個string的Sales_item建構函式從null_book生成一個新的Sales_item物件，新生成的（臨時的）Sales_item被傳遞給same_isbn函式。
        將cin隱式轉換為Sales_item。這個轉換執行接收一個istream的Sales_item建構函式。該建構函式通過讀標準輸入來建立一個（臨時的）Sales_item物件。然後該物件被傳遞給same_isbn函式。
         通過將建構函式宣告為explicit，可以防止在需要隱式轉換的上下文中使用建構函式：

class Sales_item
{
public: 
    explicit Sales_item(const std::string & book);
    explicit Sales_item(std::istream & is);
};

// error: explicit只能用於類內部宣告上
explicit Sales_item::Sales_item(std::istream & is)
{
    is >> *this;
}

item.same_isbn(null_book); // error
item.same_isbn(cin); // error

3.總結

       C++ Primer中提到：通常，除非有明顯的理由想要定義隱式轉換，否則，但形參建構函式應該為explicit。將建構函式設定為explicit可以避免錯誤，而且當轉換有用時，使用者可以顯式地構造物件。
       

       google的c++規範中提到：explicit的優點是可以避免不合時宜的型別變換，缺點無。所以google約定所有單引數的建構函式都必須是顯示的，只有極少數情況下拷貝建構函式可以不宣告稱explicit。例如作為其他類的透明包裝器的類。

        effective c++中提到：被宣告為explicit的建構函式通常比其non-explicit兄弟更受歡迎。因為它們禁止編譯器執行非預期（往往也不被期望）的型別 轉換。除非我有一個好理由允許建構函式被用於隱式型別轉換，否則我會把它宣告為explicit。我鼓勵你遵循相同的政策。

4.參考文獻