C++隱式型別的轉換

釋懷發表於2015-05-04

《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類建構函式就不能用於隱式地創造物件了，編譯上面的程式碼會出現這樣的提示：

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

總結一下：

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

C++隱式型別的轉換

相關文章