如果一個類既提供了轉換目标是算術類型的類型轉換,也提供了重載的運算符,則将會遇到重載運算符與内置運算符的二義性問題。
如果a是一種類型,表達式 a sym b 可能是:
//不能通過調用形式來區分目前調用的是成員函數還是非成員函數
a.operatorsym(b); //a有一個operatorsym 成員函數
operatorsym(a,b); //operatorsym 是一個普通函數
eg.
class SmallInt{
friend SmallInt operator + (const SmallInt&,const SmallInt&);
public:
SmallInt(int = 0);
operator int() const {return val;}
private:
std::size_t val;
};
SmallInt s1,s2;
SmallInt s3 = s1 + s2; //使用重載的 operator+
//二義性錯誤,可以把0轉換成 SmallInt,然使用 SmallInt 的 +;
//或者把 s3 轉換成 int,然後對于兩個 int 執行内置的加法。
int i = s3 + 0;
- 表達式中運算符的候選函數集既包括成員函數,也包括非成員函數。
- 當使用重載運算符作用于類類型的對象時,候選函數中包含了該運算符的普通非成員版本和内置版本。除此之外,如果左側運算對象是類類型,則定義在該類中的運算符的重載版本也包含在候選函數内。
【引用】
[1] 代碼classTypeExchange.h