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只能用於類內部構造函數的聲明。它雖然能避免隱式類型轉換帶來的問題，但需要用戶能夠顯式創建臨時對象（對用戶提出了要求）。