大家知道對(duì)于內(nèi)置類型的數(shù)據(jù)我們可以通過(guò)強(qiáng)制轉(zhuǎn)換符的使用來(lái)轉(zhuǎn)換數(shù)據(jù),例如(int)2.1f;自定義類也是類型,那么自定義類的對(duì)象在很多情況下也需要支持此操作,C++提供了轉(zhuǎn)換運(yùn)算符重載函數(shù),它使得自定義類對(duì)象的強(qiáng)轉(zhuǎn)換成為可能。
轉(zhuǎn)換運(yùn)算符的生命方式比較特別,方法如下:
operator 類名();
轉(zhuǎn)換運(yùn)算符的重載函數(shù)是沒(méi)有返回類型的,它和類的構(gòu)造函數(shù),析構(gòu)函數(shù)一樣是不遵循函數(shù)有返回類型的規(guī)定的,他們都沒(méi)有返回值。
下面我看一個(gè)例子,看看它是如何工作的:
//例1
//程序作者:管寧
//站點(diǎn):www.cndev-lab.com
//所有稿件均有版權(quán),如要轉(zhuǎn)載,請(qǐng)務(wù)必著名出處和作者
#include <iostream>
using namespace std;
class Test
{
public:
Test(int a = 0)
{
cout<<this<<":"<<"載入構(gòu)造函數(shù)!"<<a<<endl;
Test::a = a;
}
Test(Test &temp)
{
cout<<"載入拷貝構(gòu)造函數(shù)!"<<endl;
Test::a = temp.a;
}
~Test()
{
cout<<this<<":"<<"載入析構(gòu)函數(shù)!"<<this->a<<endl;
cin.get();
}
operator int()//轉(zhuǎn)換運(yùn)算符
{
cout<<this<<":"<<"載入轉(zhuǎn)換運(yùn)算符函數(shù)!"<<this->a<<endl;
return Test::a;
}
public:
int a;
};
int main()
{
Test b(99);
cout<<"b的內(nèi)存地址"<<&b<<endl;
cout<<(int)b<<endl;//強(qiáng)轉(zhuǎn)換
system("pause");
}
在例子中我們利用轉(zhuǎn)換運(yùn)算符將Test類的對(duì)象強(qiáng)轉(zhuǎn)換成了int類型并輸出,注意觀察轉(zhuǎn)換運(yùn)算符函數(shù)的運(yùn)行狀態(tài),發(fā)現(xiàn)并沒(méi)有產(chǎn)生臨時(shí)對(duì)象,證明了它與普通函數(shù)并不相同,雖然它帶有return語(yǔ)句。
在很多情況下,類的強(qiáng)轉(zhuǎn)換運(yùn)算符還可以作為類對(duì)象加運(yùn)算重載函數(shù)使用,盡管他們的意義并不相同,下面的例子,就是利用轉(zhuǎn)換運(yùn)算符,將兩個(gè)類對(duì)象轉(zhuǎn)換成int后,相加并創(chuàng)建臨時(shí)類對(duì)象,后再賦給另一個(gè)對(duì)象。
代碼如下:
//例2
//程序作者:管寧
//站點(diǎn):www.cndev-lab.com
//所有稿件均有版權(quán),如要轉(zhuǎn)載,請(qǐng)務(wù)必著名出處和作者
#include <iostream>
using namespace std;
class Test
{
public:
Test(int a = 0)
{
cout<<this<<":"<<"載入構(gòu)造函數(shù)!"<<a<<endl;
Test::a = a;
}
Test(Test &temp)
{
cout<<"載入拷貝構(gòu)造函數(shù)!"<<endl;
Test::a = temp.a;
}
~Test()
{
cout<<this<<":"<<"載入析構(gòu)函數(shù)!"<<this->a<<endl;
cin.get();
}
operator int()
{
cout<<this<<":"<<"載入轉(zhuǎn)換運(yùn)算符函數(shù)的內(nèi)存地址:"<<this->a<<endl;
return Test::a;
}
public:
int a;
};
int main()
{
Test a(100),b(100),c;
cout<<"a的內(nèi)存地址"<<&a<<" | b的內(nèi)存地址"<<&b<<endl;
c=Test((int)a+(int)b);//顯示式轉(zhuǎn)換
//c=a+b;//隱式轉(zhuǎn)換
cout<<"c的內(nèi)存地址"<<&c<<endl;
cout<<c.a<<endl;
system("pause");
}
代碼中的c=a+b;屬于隱式轉(zhuǎn)換,它的實(shí)現(xiàn)過(guò)程與c=Test((int)a+(int)b);完全相同。
運(yùn)行結(jié)果如下圖示(注意觀察內(nèi)存地址,觀察構(gòu)造與析構(gòu)過(guò)程,執(zhí)行過(guò)程圖中有解釋):

當(dāng)一個(gè)類含有轉(zhuǎn)換運(yùn)算符重載函數(shù)的時(shí)候,有時(shí)候會(huì)破壞C++原有規(guī)則,導(dǎo)致運(yùn)算效率降低,這一點(diǎn)不得不注意。
示例如下:
//例3
//程序作者:管寧
//站點(diǎn):www.cndev-lab.com
//所有稿件均有版權(quán),如要轉(zhuǎn)載,請(qǐng)務(wù)必著名出處和作者
#include <iostream>
using namespace std;
class Test
{
public:
Test(int a = 0)
{
cout<<this<<":"<<"載入構(gòu)造函數(shù)!"<<a<<endl;
Test::a = a;
}
Test(Test &temp)
{
cout<<"載入拷貝構(gòu)造函數(shù)!"<<endl;
Test::a = temp.a;
}
~Test()
{
cout<<this<<":"<<"載入析構(gòu)函數(shù)!"<<this->a<<endl;
cin.get();
}
operator int()//轉(zhuǎn)換運(yùn)算符,去掉則不會(huì)調(diào)用
{
cout<<this<<":"<<"載入轉(zhuǎn)換運(yùn)算符函數(shù)的內(nèi)存地址:"<<this->a<<endl;
return Test::a;
}
public:
int a;
};
int main()
{
Test b=Test(99);//注意這里
cout<<"b的內(nèi)存地址"<<&b<<endl;
cout<<b.a<<endl;
system("pause");
}
按照C++對(duì)無(wú)名對(duì)象的約定,Test b=Test(99);C++是會(huì)按照Test b(99);來(lái)處理的,可是由于轉(zhuǎn)換運(yùn)算符的加入,導(dǎo)致這一規(guī)律被破壞,系統(tǒng)會(huì)“錯(cuò)誤的”認(rèn)為你是要給對(duì)象賦值,所以系統(tǒng)首先利用Test(99)創(chuàng)建一個(gè)臨時(shí)對(duì)象用于賦值過(guò)程使用,可是恰恰系統(tǒng)又沒(méi)有使用自動(dòng)提供的賦值運(yùn)算重載函數(shù)去處理,因?yàn)榘l(fā)現(xiàn)b對(duì)象并未構(gòu)造,轉(zhuǎn)而又不得不將開(kāi)始原本用于賦值而創(chuàng)建的臨時(shí)對(duì)象再次的強(qiáng)轉(zhuǎn)換為int類型,提供給b對(duì)象進(jìn)行構(gòu)造,可見(jiàn)中間的創(chuàng)建臨時(shí)對(duì)象和載入轉(zhuǎn)換運(yùn)算符函數(shù)的過(guò)程完全是多余,讀者對(duì)此例要認(rèn)真解讀,充分理解。
運(yùn)行結(jié)果如下圖所示(運(yùn)行過(guò)程的解釋見(jiàn)圖):

由于類的轉(zhuǎn)換運(yùn)算符與類的運(yùn)算符重載函數(shù),在某些地方上使用的時(shí)候,有功能相似的地方,如果兩者都存在于類中,那么雖然運(yùn)行結(jié)果正確,但其運(yùn)行過(guò)程會(huì)出現(xiàn)一些意向不到的步驟,導(dǎo)致程序運(yùn)行效率降低。
下面的例子就是這個(gè)情況,代碼如下:
//例4
//程序作者:管寧
//站點(diǎn):www.cndev-lab.com
//所有稿件均有版權(quán),如要轉(zhuǎn)載,請(qǐng)務(wù)必著名出處和作者
#include <iostream>
using namespace std;
class Test
{
public:
Test(int a = 0)
{
cout<<this<<":"<<"載入構(gòu)造函數(shù)!"<<a<<endl;
Test::a = a;
}
Test(Test &temp)
{
cout<<"載入拷貝構(gòu)造函數(shù)!"<<endl;
Test::a = temp.a;
}
~Test()
{
cout<<this<<":"<<"載入析構(gòu)函數(shù)!"<<this->a<<endl;
cin.get();
}
Test operator +(Test& temp2)
{
cout<<this<<"|"<<&temp2<<"載入加運(yùn)算符重載函數(shù)!"<<endl;
Test result(this->a+temp2.a);
return result;
}
operator int()
{
cout<<this<<":"<<"載入轉(zhuǎn)換運(yùn)算符函數(shù)的內(nèi)存地址:"<<this->a<<endl;
return Test::a;
}
public:
int a;
};
int main()
{
Test a(100),b(100);
cout<<"a的內(nèi)存地址:"<<&a<<" | b的內(nèi)存地址:"<<&b<<endl;
Test c=a+b;
cout<<"c的內(nèi)存地址:"<<&c<<endl;
cout<<c.a<<endl;
system("pause");
}
運(yùn)行過(guò)程見(jiàn)下圖。

從圖中我們可以清晰的看到,不必要的運(yùn)算過(guò)程被執(zhí)行,導(dǎo)致開(kāi)銷增大,讀者在理解此例的時(shí)候要格外小心!
現(xiàn)在總結(jié)一下轉(zhuǎn)換運(yùn)算符的優(yōu)點(diǎn)與缺點(diǎn):
優(yōu)點(diǎn):在不提供帶有類對(duì)象參數(shù)的運(yùn)算符重載函數(shù)的情況下,轉(zhuǎn)換運(yùn)算符重載函數(shù)可以將類對(duì)象轉(zhuǎn)換成需要的類型,然后進(jìn)行運(yùn)算,最后在構(gòu)造成類對(duì)象,這一點(diǎn)和類的運(yùn)算符重載函數(shù)有相同的功效。(例2就是這種情況)
缺點(diǎn):如果一個(gè)類只有轉(zhuǎn)換運(yùn)算符重載函數(shù),而沒(méi)有真正意義上運(yùn)算符重載函數(shù),當(dāng)用轉(zhuǎn)換運(yùn)算符重載函數(shù)替代運(yùn)算符重載函數(shù),進(jìn)行工作的時(shí)候,就會(huì)讓程序的可讀性降低,歪曲了運(yùn)算符操作的真正含義。(例2中的c=a+b;//隱式轉(zhuǎn)換,就是例子,事實(shí)上a+b的作用只是對(duì)返回的整型數(shù)據(jù)進(jìn)行了加運(yùn)算,而對(duì)象賦值的操作是系統(tǒng)隱式的幫大家轉(zhuǎn)換成了c=Test(a+b)。)
最后我們來(lái)說(shuō)一下,多路徑轉(zhuǎn)換的多義性問(wèn)題,多義性問(wèn)題一直是C++編程中容易忽視的問(wèn)題,但它的確是不容小視,當(dāng)問(wèn)題隱藏起來(lái)的時(shí)候你不會(huì)發(fā)覺(jué),一旦觸發(fā)麻煩就來(lái)了。
類的轉(zhuǎn)換構(gòu)造函數(shù)與類的轉(zhuǎn)換運(yùn)算符重載函數(shù)是互逆的。(例3中的Test(int a = 0)是將int類型的數(shù)據(jù)轉(zhuǎn)換構(gòu)造成Test類對(duì)象,而operator int()則是將Test類對(duì)象轉(zhuǎn)換成int類型數(shù)據(jù))
但是當(dāng)他們是出現(xiàn)在兩個(gè)不同的類中,對(duì)于一個(gè)類對(duì)象轉(zhuǎn)換來(lái)說(shuō),同時(shí)擁有兩種近似的轉(zhuǎn)換途徑的時(shí)候,多義性的問(wèn)題就暴露出來(lái),導(dǎo)致編譯出錯(cuò)。
下例就是這個(gè)狀態(tài):
//程序作者:管寧
//站點(diǎn):www.cndev-lab.com
//所有稿件均有版權(quán),如要轉(zhuǎn)載,請(qǐng)務(wù)必著名出處和作者
#include <iostream>
using namespace std;
class B;
class A
{
public:
A(B &);//轉(zhuǎn)換構(gòu)造函數(shù),他的作用是用B類對(duì)象構(gòu)造A類對(duì)象
void Edita(int temp)
{
A::a=temp;
}
public:
int a;
};
class B
{
public:
B(int a=0)
{
B::a=a;
}
int Ra()
{
return B::a;
}
operator A()//轉(zhuǎn)換運(yùn)算符重載函數(shù),他的作用則是將B類對(duì)象轉(zhuǎn)換成A類對(duì)象
{
return *this;
}
protected:
int a;
};
A::A(B &temp)
{
cout<<this<<"|"<<&temp<<endl;
A::a=temp.Ra();
}
void tp(A temp)
{
}
int main()
{
B bt(100);
A at=A(bt);
//tp(bt);//錯(cuò)誤,多義性問(wèn)題,系統(tǒng)不知道如何選擇,是選擇A(B &)轉(zhuǎn)化構(gòu)造好呢?還是選擇B::operator A()進(jìn)行轉(zhuǎn)換好呢?
tp(A::A(bt));//顯示的處理可以消除多義性問(wèn)題
system("pause");
}
代碼中的A at=A(bt);運(yùn)行正常,因?yàn)橄到y(tǒng)發(fā)現(xiàn)對(duì)象at還未構(gòu)造,所以優(yōu)先選取了A類的轉(zhuǎn)換構(gòu)造函數(shù)處理了,沒(méi)有產(chǎn)生二義性問(wèn)題。
但是代碼中的tp(bt);編譯錯(cuò)誤,這是因?yàn)楹瘮?shù)tp的參數(shù)要求的是一個(gè)A類對(duì)象,而我們給他的則是一個(gè)B類對(duì)象,而在A類與B類中都有一個(gè)類似的操作,可以將B類對(duì)象轉(zhuǎn)換成A類對(duì)象,系統(tǒng)不知道是選取A類的轉(zhuǎn)換構(gòu)造函數(shù)進(jìn)行構(gòu)造處理,還是選擇B類中的轉(zhuǎn)換運(yùn)算符號(hào)重載函數(shù)處理,系統(tǒng)拒絕從他們兩個(gè)中選一個(gè),所以編譯錯(cuò)誤。
我們修改tp(bt)為tp(A::A(bt));編譯正常,因?yàn)槲覀冿@式的明確的告訴系統(tǒng)應(yīng)該使用A類的轉(zhuǎn)換構(gòu)造函數(shù)處理,所以,顯式的告訴計(jì)算機(jī)應(yīng)該如何處理數(shù)據(jù),通常可以解決多義性問(wèn)題。