過載運算子的規則

不太熟悉的一些c++的運算子：

位運算子：^（按位異或） ~（按位取反）

條件運算子（？：）

求位元組數運算子（sizeof）

過載運算子的規則：

１.不允許創造新的運算子，只能對已有的ｃ＋＋運算子進行過載；

２.ｃ＋＋不能過載的運算子只有６個「?:」、「.」、「::」、「sizeof」、」.*」和「typeid

(物件型別操作符)」

，以及不能對它們進行過載的原因如下：

在具體講解各個運算子不能過載之前，先來說明下【過載】：過載的本意是讓操作符可以有新的語義，而不是更改語法——否則會引起混亂。

【注】過載的部分規則：運算子函式的引數至少有乙個必須是類的物件或者類的物件的引用。

(1).「?:」運算子，假如能夠過載，那麼問題來了，看下面的語句：

exp1?exp2:exp3

該運算子的本意是執行exp2和exp3中的乙個，可是過載後，你能保證只執行了乙個嗎？還是說兩個都能執行？亦或兩條都不能執行？「?:」運算子的跳轉性質就不復存在了，這就是「?:」運算子不能夠被過載的最主要原因。

(2).「.」運算子，假如能夠過載，那麼，問題來了，看下面的例子：

class y ;
class x 
void fun();
// ...
};void g(x& x)

「.」運算子的本意是引用物件成員的，然而被過載後就不能保證本意，從而帶來運算子意義的混淆，如果每個人都這麼過載，那更不容易學習c++語言了。

(3).「::」運算子，m::a，該運算子只是在編譯的時候域解析，而沒有運算的參與進來，由前面【注】重規則可知，如果過載之後，::運算子有了新的語義，那是不是會引起混淆呢？

(4).「sizeof」運算子，該運算子不能被過載的主要原因是內部許多指標都依賴它，舉例說明過載的後果：

a b[10];//a是類
a* p = &a[3];
a* q = &a[3];
p++;//執行後，p指向a[4]，記住是指向a[4]！根據c++規定，該操作等同於p+sizeof(a)，此時
    //p應該比q大a類所佔位元組的大小，事實上，p並不一定會比q大這麼多，因為你把sizeof()運算
    //符過載了啊！這時的sizeof(a)並不一定是該類占用的位元組大小！

(5)」.*」引用指向類成員的指標，下面是關於這個操作符的介紹：指向成員的指標運算子（.* 和 –>*）返回表示式左側上指定的物件的特定類成員的值。右側必須指定該類的成員。下面的示例演示如何使用這些運算子：需要注意的是雖然.*不能被過載，但是->*卻是可以被過載的。

由上面的程式可知，對於普通函式來說，函式名ｓｕｍ和＆ｓｕｍ是一樣的，都是函式的首位址；所以ｄ和ｓ裡面的位址值是一樣的；

其實對於成員函式來說也是一樣的，ｖｏｉｄ　（ｔｅｓｔｐｍ：：＊ｐ）（）＝＆ｔｅｓｔｐｍ：：＿ｆｕｎｃ１；和ｖｏｉｄ　（ｔｅｓｔｐｍ：：＊ｐ）（）＝ｔｅｓｔｐｍ：：＿ｆｕｎｃ１；這兩個程式的作用是一樣的，都是將函式的位址賦值給指標；

但是對於數值變數來說＆是必須的，比如上面的＿ｎｕｍ資料，就必須加＆才是取位址。

還有ｃ＋＋中如果想ｃｏｕｔ變數的位址，需要強制轉換變數名為數值型才可以、

３.　過載不能改變運算子運算物件（即運算元）的個數：唯一乙個三元運算子？：不能被過載

４.　過載不能改變運算子的優先級別

５.　過載不能改變運算子的結合性

６.　過載運算子的函式不能有預設的引數

７．過載運算子必須和使用者定義的自定義型別的物件一起使用，引數至少有乙個是類物件或其引用。

８.　過載運算子的功能應類似該運算子作用於標準型別資料時所實現的功能

對於上面的程式來說，對「+=」進行運算子過載時，之所以返回的物件是引用型別，是因為如果返回的是單純的complex型別的話，勢必會生成乙個新的物件，然後將當前已經被改變的物件複製給這個新的物件；但是如果用了引用型別，則不必生成新的物件，返回的直接就是當前已經被改變的物件。其實對於這個過載函式來說，即使返回值為void運算結果也是正確的，因為對於「+=」來說,比如a+=b，等價於a=a+b,因此這個運算子的最後運算結果就是a也就是當前物件，不需要生成乙個新的物件。

過載運算子的規則

過載運算子

過載運算子

過載運算子

相關推薦