當(dāng)我們在函數(shù)聲明中型參類型與我們輸入的實參類型不一致時編譯器會依據(jù)怎樣的原則進(jìn)行處理呢。首先是將實參進(jìn)行類型轉(zhuǎn)換，若類型轉(zhuǎn)換失敗，則編譯器會進(jìn)行錯誤提示。進(jìn)行類型轉(zhuǎn)換時需要使用類型轉(zhuǎn)換函數(shù)，那根據(jù)怎么樣順序來找出合適的函數(shù)呢?這個順序的規(guī)則是非常復(fù)雜的，但并不是說因為復(fù)雜我們就無法判斷了。我們來讓代碼說話。
class A
{
public:
//該類擁有一個只有一個參數(shù)的構(gòu)造函數(shù)
A(int i)
{
i_ = i;
j_ = 10;
}
//重載 == 運算符,為了簡就直接返回真了
bool operator==(const A& a)
{
return true;
}
private:
int i_ ;
int j_;
};
int main()
{
A a(10);
B b(20);
if(a == b[1])
return 0;
else
return 1;
}
程序不僅非常之短，而且簡單到不屑一看的地步。那程序輸出的結(jié)果是什么？等一下，能這樣比嗎 （if(a == b[1])）？是不是程序員寫錯了?根據(jù)我們常識要不是 if(a == b) 要不就是 if(a[2] == b[2]) ,不管它，先編譯一下試試。居然通過了！這個時候是不是會覺得編譯器有 BUG ，呵呵。
我們在A中重載了 == 運算符，那么此處的 == 就要去調(diào)用 A 的 == 函數(shù)。這一點是沒有錯的，編譯器也按照我們腦海中的線路走。但是參數(shù)類型不一樣，b[2] 返回的是 INT 類型，但是==函數(shù)需要的是const A& 類型，于是編譯器就“私自”進(jìn)行了（隱式）轉(zhuǎn)換,把 INT 轉(zhuǎn)換成 const A& 。此時巧了，A 正好有一個“只有一個參數(shù)”的構(gòu)造函數(shù)，于是轉(zhuǎn)換成功了，編譯也通過了。其實寫成if(a == b[2])有可能只是我們的一個筆誤，但是編譯器卻理解成了另外一種意思表達(dá)出來就是 if(a == static_cast<A>(b[2])) 。我們的這個例子代碼太簡單了所以看不出這樣做的危害來，如果類 A 中還有其他成員變量，構(gòu)造函數(shù)中還有其它操作的話，那麻煩可就大了。至于效率上，每次轉(zhuǎn)換的時候都要生成并銷毀一個臨時的 A 對象，如果構(gòu)造A的構(gòu)造函數(shù)比較復(fù)雜在如果這個條件判斷實在一個循環(huán)中... ... 呵呵，效率也就可想而知了。
當(dāng)一個類有一個“只有一個參數(shù)”的構(gòu)造函數(shù)時就有可能會出現(xiàn)此種情況，而且這種錯誤在一個大的項目中并不容易找出來。所以我們可以盡量避免“只有一個參數(shù)”的構(gòu)造函數(shù)，“避免”并不等于“絕對”，這就需要我們靠豐富的實戰(zhàn)經(jīng)驗來把握這個度了。了解這么一個“規(guī)則”之后，相信大家在寫代碼、找 BUG 中應(yīng)該會多了一種方案和思路了。
當(dāng)然，比我們“牛”的人大有人在！牛人們早就想到這一點了，于是在 C++ 中有了這么一個關(guān)鍵字 explicit 。把構(gòu)造函數(shù) A(int i) 寫成 explicit A(int i) 就 OK 了，是不是真的很“牛”。