1、好不要使用引用返回值

  有同学在传递的参数的时候使用引用方式传递,避免了临时对象的创建,提高了效率,那么在返回值的时候能不能使用引用呢?

  看如下代码


class Rational{
public:
    Raional( int numerator = 0, int denominator =1);
    ...
private:
    int d, d;
    friend Rational operator* (const Rational& lhs, const Raional& rhs) ;
};
Rational Rational::operator* (const Rational& lhs,const Raionl&rhs)
{
        return Rational  result(lhs.n*rhs.n,lhs.d*rhs.d);
   }
}


  这个类是我们前面所介绍的有理数类。这里想想会发生一次类的构造与类的析构,那么如果使用引用可以避免这个问题吗?达到提高效率吗?

  函数创建新对象有两种方法,一个是在栈(statck)中创建,一个是在堆(heep)中创建。


People p(a,b)                  //栈中创建
People *p = new People(a,b)   //堆中创建


  现在首先考虑在栈中创建,但是这个创建的变量是一个局部变量,会在退出函数之前销毁。


const Rational& operator* (const Rational& lhs, const Rational & rhs)
{
      Rational  result(lhs.n*rhs.n,lhs.d*rhs.d);
      return result;
}


  在函数内以stack方式空间创建对象是局部对象,任何函数如果返回一个引用指向某个局部对象,都会发生错误。因为局部对象在函数退出之前被销毁了,意味着reference所指的对象不存在。

  于是考虑在堆中创建


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;


  这里同时一个语句调用了两次operator*,意味着new了两次,也需要delete两次。但是这里没有合理的办法让opertaor*使用者进行那些delete调用,因为无法让使用者获取返回的指针,这将导致资源泄漏。

  于是考虑返回一个引用,其指向定义于函数内部的static Rational对象。


const Rational & operator*(const Rational& lhs,const Rational & rhs)
{
    static Rational result;
    result = ...;
    return result;
}


  那么显而易见是多线程,在多线程环境下,这样写安全吗?好如果说不关多线程。那么如下代码会发生什么?


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

...

Raional a,b,c,d;
if((a*b) == (c*d)
{
     ...
}


  上述if语句表达式无论a,b,c,d为何值都是true,因为它们都指向同一个静态值。