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为何值都是true，因为它们都指向同一个静态值。
