C++ 隱式類型別轉換

《C++ Primer》中提到：

“可以用 單個形參來呼叫 的建構函式定義了從 形參型別 到 該類型別 的一個隱式轉換。”

這裡應該注意的是， “可以用單個形參進行呼叫” 並不是指建構函式只能有一個形參，而是它可以有多個形參，但那些形參都是有預設實參的。

那麼，什麼是“隱式轉換”呢？ 上面這句話也說了，是從 建構函式形參型別 到 該類型別 的一個編譯器的自動轉換。

下面通過程式碼來看一看：

#include "stdafx.h"
#include <string>
#include <iostream>
using namespace std ;
class BOOK  //定義了一個書類
{
    private:
        string _bookISBN ;  //書的ISBN號
        float _price ;    //書的價格

    public:
        //定義了一個成員函式，這個函式即是那個“期待一個實參為類型別的函式”
        //這個函式用於比較兩本書的ISBN號是否相同
        bool isSameISBN(const BOOK & other ){
            return other._bookISBN==_bookISBN;
                }

        //類的建構函式，即那個“能夠用一個引數進行呼叫的建構函式”（雖然它有兩個形參，但其中一個有預設實參，只用一個引數也能進行呼叫）
        BOOK(string ISBN,float price=0.0f):_bookISBN(ISBN),_price(price){}
};

int main()
{
    BOOK A("A-A-A");
    BOOK B("B-B-B");

    cout<<A.isSameISBN(B)<<endl;   //正經地進行比較，無需發生轉換

    cout<<A.isSameISBN(string("A-A-A"))<<endl; //此處即發生一個隱式轉換：string型別-->BOOK型別，藉助BOOK的建構函式進行轉換，以滿足isSameISBN函式的引數期待。
    cout<<A.isSameISBN(BOOK("A-A-A"))<<endl;    //顯式建立臨時物件，也即是編譯器乾的事情。

    system("pause");
}

程式碼中可以看到，isSameISBN函式是期待一個BOOK類型別形參的，但我們卻傳遞了一個string型別的給它，這不是它想要的啊！還好，BOOK類中有個建構函式，它使用一個string型別實參進行呼叫，編譯器呼叫了這個建構函式，隱式地將stirng型別轉換為BOOK型別（構造了一個BOOK臨時物件），再傳遞給isSameISBN函式。

隱式類型別轉換還是會帶來風險的，正如上面標記，隱式轉換得到類的臨時變數，完成操作後就消失了，我們構造了一個完成測試後被丟棄的物件。

我們可以通過explicit宣告來抑制這種轉換:

explicit BOOK(string ISBN,float price=0.0f):_bookISBN(ISBN),_price(price){}

explicit關鍵字只能用於類內部的建構函式宣告上.這樣一來，BOOK類建構函式就不能用於隱式地創造物件了，編譯上面的程式碼會出現這樣的提示：

現在使用者只能進行顯示型別轉換，顯式地建立臨時物件。

總結一下：

1. 可以使用一個實參進行呼叫，不是指建構函式只能有一個形參。
2. 隱式類型別轉換容易引起錯誤，除非你有明確理由使用隱式類型別轉換，否則，將可以用一個實參進行呼叫的建構函式都宣告為explicit。
3. explicit只能用於類內部建構函式的宣告。它雖然能避免隱式型別轉換帶來的問題，但需要使用者能夠顯式建立臨時物件（對使用者提出了要求）。