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