此条款核心的宗旨就是在需要返回一个对象的时候不要试图返回他的引用。尽管你可能会在成本之间纠结,但是最终的正确才是你要的结果。
下面用operator*来举例子说名这个问题。因为大家都直到oerator返回的是对象绝不是引用
1.有如下代码
class Rational
{
private:
int a, b;
public:
friend const Rational operator*(const Rational& s1, const Rational& s2);
};
这个版本的operator*以传值的方式返回其计算结果,现在来讨论一下用传值付出一系列代价好,还是使用reference好,因为使用引用就不用付出那么多的代价。
这里先终点强调一句话:所谓的引用只是一个名称,代表某个已经存在的对象,任何时候看到一个reference声明式,你都应该立刻问自己,他的另外一个名称是什么?因为他一定是某物的另外一个名称。
加入operator返回了一个引用
friend const Rational& operator*(const Rational& s1, const Rational& s2);
这就意味着一定存在一个对象保存的是两个对象的计算结果,在operator*调用之前提前存在几乎是不可能的事情,所以就需要我们自己在函数中创造一个这样的对象了,
friend const Rational& operator*(const Rational& s1, const Rational& s2)
{
Rational result(s1.a*s2.a + s1.b*s2.b);
return result;
}
就像上面这样的写法,注意这是及其不可取的,首先我们返回引用就是为了避免有多余的代价产生,然而这里会产生我们一直在避免的多余的代价(构造函数的调用),这还不是最严重的问题,更严重的是,这个函数返回一个引用指向一个局部对象,这个局部对象在函数退出前一定会被销毁,所以这个函数返回的引用指向的是一个被销毁的对象,只要调用着对这个返回值做一点点的运用,立马坠入“无定义行为”的恶地。没错事实就是这样的,记住任何一个引用返回一个局部对象,都将一败涂地。
(当然函数返回一个指向一个局部对象效果也是一样的)
既然上面的这个返回引用的方式行不通那我们试试看new一个对象出来返回去
friend const Rational& operator*(const Rational& s1, const Rational& s2)
{
Rational *result=new Rational(s1.a*s2.a + s1.b*s2.b);
return *result;
}
这也是一个糟糕的做法因为,指望谁来delete这个对象呢?而且这也会产生多余的代价(构造函数的调用),加入调用者愿意帮你delete,那么看下面这个代码
Rational w, x, y, z;
w = x*y*z;
如果以这种方式调用的话,调用着想帮你delete也无能为力,因为一个语句调用了两次new,他如何delete内层的那个delete呢?所以说这必然会造成内存泄露。
既然new出来的也不行,这个时候或许你会想到用局部static对象返回去
friend const Rational& operator*(const Rational& s1, const Rational& s2)
{
static Rational result;
result = s1*s2;
return result;
}
其实这个也不行,假如我们这么调用
Rational a, b, c, d;
if ((a*b) == (c*d))
{
//执行某个任何;
}
else
{
...
}
这估计永远也不会进入到else里面吧,因为if里面永远都是true,置于为什是true这里就不用我多解释了吧
。。。还有。。。你就别想了。。不存在的!
所以当必须返回一个对象的时候就不要怕有多余的麻烦产生,果断的选择返回对象。
还有就是1.不要返回一个指针或者引用指向局部对象
2.不要返回引用指向new出来的对象
3.返回指针或者引用指向局部static对象,因为这样存在多个对象的话,很容易出问题