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