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