什么是操作符重載?
一看到重載,很容易就讓人聯(lián)想到成員函數(shù)重載,函數(shù)重載可以使名稱相同的函數(shù)具有不同的實(shí)際功能,只要賦給這些同名函數(shù)不同的參數(shù)就可以了,操作符重載也是基于這一機(jī)制的。系統(tǒng)為我們提供了許多操作符,比如“+”,“[ ]”等,這些操作符都有一些默認(rèn)的功能,而操作符重載機(jī)制允許我們給這些操作符賦予不同的功能,并能夠按照普通操作符的使用格式來使用自己定義功能的操作符(即重載的操作符)。
定義之后,我們就可以按照平常使用操作符的格式來使用我們自己的重載操作符了。
操作符重載一般在類內(nèi)部定義,就像成員函數(shù)一樣定義,這叫做類成員重載操作符。當(dāng)然也可以在類外定義,即非類成員操作符重載。
為什么要使用操作符重載?
舉例說明,比如類String,該類有這樣一個(gè)功能,可以將兩個(gè)字符串連接成一個(gè)字符串,為此,我們可以給類String定義一個(gè)成員函數(shù)實(shí)現(xiàn)此功能,可以給該函數(shù)取一個(gè)形象的名字,比如concatenate或append,但是相比較,這兩個(gè)名字都不如操作符“+=”形象直觀。在這種情況下,我們就可以定義操作符“+=”的重載,來實(shí)現(xiàn)此功能。
也就是說,如果要定義一個(gè)函數(shù),而這個(gè)函數(shù)的功能與操作符的功能比較類似時(shí),這個(gè)時(shí)候我們就可以定義重載操作符,而不使用通常的成員函數(shù)定義。這里所說的操作符重載,指的是與系統(tǒng)定義的操作符重載,而不是說定義兩個(gè)“+=”,這兩個(gè)重載,這一點(diǎn)需要清楚。
但是這四個(gè)操作符不能用于重載: :: ,*, ?, :
如何聲明操作符重載?
同普通函數(shù)類似,只不過它的名字包括關(guān)鍵字operator,以及緊隨其后的一個(gè)預(yù)定義操作符。例如:
String& operator+=(const String&);
String& operator+=(const char*);
注意:上面的括號表示形式參數(shù),即使操作符重載不需要參數(shù),也應(yīng)該寫上一個(gè)空的“( )”,而不是將其省略,這一點(diǎn)其實(shí)和普通函數(shù)的聲明是類似的。其實(shí),聲明的唯一區(qū)別就是名字不同而已。
怎樣使用操作符重載?
兩種操作符重載:類成員操作符重載和非類成員操作符重載。
1、類成員操作符重載
已知類String中聲明了兩個(gè)“==”操作符重載,分別是:
bool operator==(const char*) const;
bool operator==(const String&) const;
其中第一個(gè)重載的操作符允許我們比較一個(gè)String類對象是否等于一個(gè)C風(fēng)格字符串,第二個(gè)允許我們比較兩個(gè)String類對象是否相等。
示例代碼
:
#include<String.h>
int main()
{
String flower;
If(flower==”lily”) //正確:調(diào)用bool operator==(const char*) const;
……
else
if(“tulip”==flower) //錯(cuò)誤
…….
}
關(guān)鍵看一下,為什么第二個(gè)重載操作符的使用是錯(cuò)誤的?
因?yàn)椋褐挥性谧蟛僮鲾?shù)是該類類型的對象時(shí),才會(huì)考慮使用作為類成員的重載操作符。
因?yàn)檫@里的”tulip”不是String類型對象,所以編譯器試圖找到一個(gè)內(nèi)置操作符,它可以有一個(gè)C風(fēng)格字符串的左操作數(shù),然而事實(shí)上并不存在這樣的操作符,所以編譯時(shí)產(chǎn)生錯(cuò)誤。
疑問:我們可以使用String類的構(gòu)造函數(shù)將一個(gè)C風(fēng)格字符串,轉(zhuǎn)換成一個(gè)String對象,為什么編譯器不能做以上轉(zhuǎn)換呢?即
if(String(“tulip”)==flower);//這樣就是正確的
答:為了效率和正確性
重載操作符并不要求兩個(gè)操作數(shù)的類型一定相同。可能有這樣一個(gè)類Text,這個(gè)類的構(gòu)造函數(shù)的參數(shù)及其成員重載操作符的參數(shù)都與String類一致,如果使編譯器能夠自動(dòng)將C風(fēng)格字符串轉(zhuǎn)換成某個(gè)類型的對象,那么編譯器首先會(huì)檢索所有的類定義,選擇能夠提供正確構(gòu)造函數(shù)和重載操作符的類進(jìn)行轉(zhuǎn)換,這無疑會(huì)增加程序的編譯時(shí)間,還有就是類String和類Text均合適,編譯器也不知道該將C風(fēng)格字符串轉(zhuǎn)換成String還是Text對象了。
對于類成員重載操作符,隱式的this指針被用作隱式的第一個(gè)參數(shù),對于成員操作符,flower==”lily”會(huì)被編譯器重寫為:flower.operator==(“lily”);
2、非類成員操作符重載
為了解決上面的問題,我們可以考慮使用非類成員操作符代替類成員操作符,這樣做的好處是左操作數(shù)不必非要是某個(gè)類的類型對象了,對于需要兩個(gè)操作數(shù)的操作符重載,我們就可以定義兩個(gè)參數(shù)了。比如:
bool operator==(const String&,const String&);
bool operator==(const String&,const char*);
可以看到,這兩個(gè)全局重載操作符比成員操作符多了一個(gè)參數(shù),這樣定義之后,還是上面的代碼,當(dāng)調(diào)用flower==”lily”時(shí),會(huì)調(diào)用上面的bool operator==(const String&,const char*);
然而“tulip”==flower會(huì)調(diào)用哪個(gè)操作符重載呢,我們并沒有定義bool operator==(const char*,const String&);,我們是不是必須定義這樣一個(gè)全局操作符重載呢?答案是否定的,因?yàn)楫?dāng)一個(gè)重載操作符是一個(gè)名字空間函數(shù)時(shí),對于操作符的第一個(gè)和第二個(gè)參數(shù),即等于操作符的左右兩個(gè)操作數(shù)都會(huì)考慮轉(zhuǎn)換,就像int vi=1; double vd=2.0; vi=vi+vd; 會(huì)先將vd轉(zhuǎn)換成int型,再做加法一樣這意味著,編譯器將解釋第二個(gè)用法如下:
bool operator==(String(“tulip”),flower)。這樣會(huì)增加系統(tǒng)轉(zhuǎn)換開銷。
因此,如果需要頻繁比較C風(fēng)格字符串和String對象,那么最好定義上面的操作符重載,如果不頻繁,我們只需定義下面一個(gè)就夠了:
bool operator==(const String&,const String&);
什么時(shí)候定義類成員操作符重載,什么時(shí)候定義非類成員操作符重載?
答:(1)如果一個(gè)重載操作符是類成員,那么只有當(dāng)跟它一起使用的左操作數(shù)是該類對象時(shí),它才會(huì)被調(diào)用,如果該操作符的左操作數(shù)必須是其他類型,那么重載操作符必須是非類成員操作符重載。
(2)C++要求,賦值(=),下標(biāo)([ ]),調(diào)用(())和成員訪問箭頭(->)操作符必須被指定為類成員操作符,否則錯(cuò)誤。