条款21：必须返回对象时，别妄想返回其reference

const Rational & operator* (const Rational & lhs, const Rational & rhs);

{

        Rational result (lhs.n * rhs.n , lhs.d * rhs.d);

        return result;

}

如果定义一个本地变量，就是在stack空间创建对象。

问题是：这个函数返回一个reference指向result，但result是个local对象，而local对象在函数退出前被销毁了，因此这个oprator * 并未返回reference指向某个Rational；

于是，让我们考虑在堆内构造一个对象，并返回reference指向它。对象由new创建

const Rational operator * （const Rational & lhs, const Rational & rhs）

{

     Rational * result = new Rational（lhs.n * rhs.n ,lhs .d * rhs .d);

     return * result ;

}

但是问题是谁该对你的new对象进行delete？

而且 就算有有意识去防止内存泄漏，但是还是很难避免。

Rational w, x, y, z；

w= x*y *z;

这里调用两次operatior * ,因为无法跟踪后两次new的对象，所以会造成内存泄漏。

 

如果你一心想去避免构造函数和析构函数，可能会想到用static Rational对象：

const Rational & operator * (const Rational & lhs， const Rational & rhs）；

{

         static Rational result;

          result = .....;

         return result ;

}

bool operator ==(const Rational & lhs , const Raional & rhs);

Rational  a, b, c, d;

...

if((a*b) == (c*d))

{

        相等时，做什么动作

}else

{           

           不相等时，做什么动作

}
问题是：两个operator都会起作用，但是最后一次得operator的调用会覆盖前面的，所以一直相等，所以一直为true;

所以最佳的做法：

inline const Rational operator * (const Raional & lhs , cosnt Ratioanl & rhs )

{

        return Rational ( lhs.n * rhs .n, lhs.d * rhs .d);

}

当你必须返回一个reference和返回一个对象时之间抉择时，你的工作即使挑出行为正确的那个，而不是考虑成本的问题！