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

声明：

1. 文中内容收集整理自《Effective C++（中文版）第三版》，版权归原书所有。
2. 本内容在作者现有能力的基础上有所删减，另加入部分作者自己的理解，有纰漏之处敬请指正。

---

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

Don't try to return a reference when you must return an object.

直接进入正题。

考虑一个有理数class内含一个函数来计算两个有理数的乘积，通过by value方式返回其计算结果。

const Rational operator* (const Rational &lhs, const Rational &rhs); //返回value
const Rational& operator* (const Rational &lhs, const Rational &rhs); //返回reference

而如果可以改用传递reference，就不需要付出构造和析构的成本。但是要记住，所谓reference只是个名称，代表的是某个既有对象，任何时候看到一个reference声明式，都应该问一下，它指向的对象是什么。也就是说，如果返回一个reference，它一定指向某个既有的对象。对于operator*我们当然不希望Rational对象在调用operator*之前就存在。

Rational a(1,2);
Rational b(3,5);
Rational c = a*b; //返回reference，原本就存在一个值为3/10的Rational对象并不合理

如果我们定义一个local变量，即在stack空间中创建对象：

const Rational& operator* (const Rational& lhs, const Rational& rhs)
{
	Rational result(lhs.n*rhs.n + lhs.d*rhs.d); //n,d为分子和分母
    return result;
}

上面这个函数返回一个引用指向一个局部对象result，这个局部对象在函数退出前就被销毁了，所以这个函数返回的引用指向的是一个被销毁的对象，调用此函数会引发“未定义的行为”。

事实的真相是：当函数返回一个reference或者指针指向一个局部对象，都将一败涂地。

那么，我们考虑在heap内构建一个对象，于是代码像这样：

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*(operator*(x, y), z)相同

上面同一个语句调用了两次operator*，那么也就使用了两次new，也就需要两次delete，然而并没有合理的办法取得operator*返回的reference背后隐藏的那个指针。这也就必然导致内存泄漏。

基于on-the-stack和on-the-heap的做法，都是由于对operator*的返回结果调用了构造函数而受到惩罚。或许我们有一种办法可以避免任何构造函数被调用。可以想到让operator*返回的reference指向一个被定义于函数内部的static Rational对象。代码像这样子：
 

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

其实这个也有瑕疵，考虑以下代码：

Rational a, b, c, d;
...
if ((a*b) == (c*d))
{
    //执行某个操作；
}
else
{
	...
}

猜猜怎么着？表达式((a*b)==(c*d))永远被核算为true！！

在operator==调用之前，已有两个operator*调用起作用，每一个都要返回reference指向operator*内部定义的static Rational对象，operator==被要求将operator*内的static Rational对象值进行比较，结果不一样才怪呢！（注意两次operator*调用确实各自改变了static Rational对象值，但由于它们返回的都是reference，因此调用端看到的永远是static Rational对象的“现值”）

所以一个必须返回新对象的函数的正确写法是：就让那个函数返回一个新对象呗~，eg：

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

上面的讨论总结为：当你必须在返回一个reference和返回一个object之间进行抉择时，你的工作就是挑选出行为正确的那个。 

请记住：

绝不要返回一个指针或者引用指向local stack对象，或者返回reference指向一个heap-allocated对象，或者发挥pointer或reference指向一个local static对象而有可能同时需要多个这样的对象。