假设有一个类如下:
class Integer {
private:
int i;
public:
Integer(int I):i(I){ }
const Integer operator+(const Integer &rhs) const;
friend ostream& operator<<(ostream& os, const Integer &integer);
};
const Integer Integer::operator +(const Integer &rhs) const{
return Integer(i + rhs.i);
}
ostream& operator<<(ostream& os, const Integer &rhs){
os << rhs.i;
return os;
}
在这个类中,重载了+号,如果我们写出这样的代码:
Integer integer1(5);
Integer integer2 = integer1 + 4; // 语句2
Integer integer3 = 7 + integer1; // 语句3 error
语句2是正确的,但是语句3无法通过编译。在语句2中,4相当于重载+定义中的rhs,编译器会自动调用Integer(int I)这个构造函数,并且将4作为参数传入,从而构造出一个Integer对象。语句2相当于Integer integer3 = integer1 + Integer(4); 而在语句3中,7相当于左操作数,编译器认为左操作数应该是Integer,而7不是,因此会提示不匹配。
但是语句2和语句4应该是符合逻辑的,程序应该同时支持的。可以将重载+定义为Integer类的友员,如下:
friend const Integer operator+(const Integer &lhs, const Integer &rhs) const;
这样,无论是语句2,还是语句3,或者这样的语句:Integer integer4 = 5 + 9;都能够经过编译器调用Integer构造函数,转换成Integer对象。
笔记 : 《C++编程思想》P195-P197