C++ 隱式類類型轉換

《C++ Primer》中提到:

“可以用 單個形參來調用 的構造函數定義了從 形參類型 到 該類類型 的一個隱式轉換。”

這裏應該注意的是, “可以用單個形參進行調用” 並不是指構造函數只能有一個形參,而是它可以有多個形參,但那些形參都是有默認實參的。

那麼,什麼是“隱式轉換”呢? 上面這句話也說了,是從 構造函數形參類型 到 該類類型 的一個編譯器的自動轉換。
C++ 隱式類類型轉換
下面通過代碼來看一看:

#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函數。

C++ 隱式類類型轉換

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

  我們可以通過explicit聲明來抑制這種轉換:

explicit BOOK(string ISBN,float price=0.0f):_bookISBN(ISBN),_price(price){}
explicit關鍵字只能用於類內部的構造函數聲明上.這樣一來,BOOK類構造函數就不能用於隱式地創造對象了,編譯上面的代碼會出現這樣的提示:

C++ 隱式類類型轉換
現在用戶只能進行顯示類型轉換,顯式地創建臨時對象。

C++ 隱式類類型轉換

總結一下:

  可以使用一個實參進行調用,不是指構造函數只能有一個形參。
  隱式類類型轉換容易引起錯誤,除非你有明確理由使用隱式類類型轉換,否則,將可以用一個實參進行調用的構造函數都聲明爲explicit。
explicit只能用於類內部構造函數的聲明。它雖然能避免隱式類型轉換帶來的問題,但需要用戶能夠顯式創建臨時對象(對用戶提出了要求)。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章