C++ 隱式類型別轉換

melonstreet發表於2015-05-03

《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只能用於類內部建構函式的宣告。它雖然能避免隱式型別轉換帶來的問題,但需要使用者能夠顯式建立臨時物件(對使用者提出了要求)。

相關文章